How long, O Bayesian network, will I sample thee?-Reference-Cited by-同舟云学术

How long, O Bayesian network, will I sample thee?

Published:2018 Issue: Volume: Page:186-213
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Batz Kevin,Kaminski Benjamin Lucien,Katoen Joost-Pieter,Matheja Christoph

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-89884-1_7

Reference50 articles.

1. Abramson, B., Brown, J., Edwards, W., Murphy, A., Winkler, R.L.: Hailfinder: a Bayesian system for forecasting severe weather. Int. J. Forecast. 12(1), 57–71 (1996)

2. Andreassen, S., Jensen, F.V., Andersen, S.K., Falck, B., Kjærulff, U., Woldbye, M., Sørensen, A., Rosenfalck, A., Jensen, F.: MUNIN: an expert EMG Assistant. In: Computer-Aided Electromyography and Expert Systems, pp. 255–277. Pergamon Press (1989)

3. Batz, K., Kaminski, B.L., Katoen, J., Matheja, C.: How long, O Bayesian network, will I sample thee? arXiv extended version (2018)

4. Bishop, C.: Pattern Recognition and Machine Learning. Springer, New York (2006)

5. Lecture Notes in Computer Science;O Bournez,2005

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Quantitative Bounds on Resource Usage of Probabilistic Programs;Proceedings of the ACM on Programming Languages;2024-04-29

2. Application of the Bayesian network theory in clinical trial data: Severity shift in spasticity numeric rating scale in patients with multiple sclerosis;Multiple Sclerosis and Related Disorders;2024-03

3. A Deductive Verification Infrastructure for Probabilistic Programs;Proceedings of the ACM on Programming Languages;2023-10-16

4. Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02

5. Slicing of probabilistic programs based on specifications;Science of Computer Programming;2022-08