Publisher
Springer International Publishing
Reference20 articles.
1. Aarts, E., Korst, J.: Simulated Annealing and Boltzmann Machines. Wiley, Chichester (1989)
2. Di Pierro, A., Hankin, C., Wiklicky, H.: Continuous-time probabilistic KLAIM. In: SecCo 2004, ENTCS. Elsevier (2004)
3. Lecture Notes in Computer Science;A Di Pierro,2004
4. Lecture Notes in Computer Science;A Di Pierro,2007
5. Lecture Notes in Computer Science;A Di Pierro,2010
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Generating Functions for Probabilistic Programs;Logic-Based Program Synthesis and Transformation;2021
2. Conditioning in Probabilistic Programming;ACM Transactions on Programming Languages and Systems;2018-01-12