Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Grohe, Martin
Lucien Kaminski, Benjamin
Katoen, Joost-Pieter
and
Lindner, Peter
2021.
Probabilistic Data with Continuous Distributions.
ACM SIGMOD Record,
Vol. 50,
Issue. 1,
p.
69.
Jacobs, Bart
2021.
From Multisets over Distributions to Distributions over Multisets.
p.
1.
Chen, Mingshuai
Katoen, Joost-Pieter
Klinkenberg, Lutz
and
Winkler, Tobias
2022.
Computer Aided Verification.
Vol. 13371,
Issue. ,
p.
79.
Moosbrugger, Marcel
Stankovič, Miroslav
Bartocci, Ezio
and
Kovács, Laura
2022.
This is the moment for probabilistic loops.
Proceedings of the ACM on Programming Languages,
Vol. 6,
Issue. OOPSLA2,
p.
1497.
Leutgeb, Lorenz
Moser, Georg
and
Zuleger, Florian
2022.
Computer Aided Verification.
Vol. 13372,
Issue. ,
p.
70.
Moosbrugger, Marcel
Bartocci, Ezio
Katoen, Joost-Pieter
and
Kovács, Laura
2022.
The probabilistic termination tool amber.
Formal Methods in System Design,
Vol. 61,
Issue. 1,
p.
90.
Rønneberg, Rasmus C.
Pardo, Raúl
and
Wąsowski, Andrzej
2023.
Software Engineering and Formal Methods.
Vol. 14323,
Issue. ,
p.
263.
Ruess, Harald
2023.
Formal Methods.
Vol. 14000,
Issue. ,
p.
10.
Schröer, Philipp
Batz, Kevin
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
and
Matheja, Christoph
2023.
A Deductive Verification Infrastructure for Probabilistic Programs.
Proceedings of the ACM on Programming Languages,
Vol. 7,
Issue. OOPSLA2,
p.
2052.
Moebus, Claus
2023.
Human-Automation Interaction.
Vol. 11,
Issue. ,
p.
19.
Affeldt, Reynald
Cohen, Cyril
and
Saito, Ayumu
2023.
Semantics of Probabilistic Programs using s-Finite Kernels in Coq.
p.
3.
Szekeres, Dániel
and
Majzik, István
2023.
Towards Abstraction-based Probabilistic Program Analysis.
Acta Cybernetica,
Voogd, Erik
Johnsen, Einar Broch
Silva, Alexandra
Susag, Zachary J.
and
Wąsowski, Andrzej
2023.
Quantitative Evaluation of Systems.
Vol. 14287,
Issue. ,
p.
329.
Saito, Ayumu
and
Affeldt, Reynald
2023.
Programming Languages and Systems.
Vol. 14405,
Issue. ,
p.
182.
Sedlár, Igor
2023.
Kleene Algebra With Tests for Weighted Programs.
p.
111.
Müllner, Julian
Moosbrugger, Marcel
and
Kovács, Laura
2024.
Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs.
Proceedings of the ACM on Programming Languages,
Vol. 8,
Issue. POPL,
p.
882.
Boreale, Michele
and
Collodi, Luisa
2024.
Verification, Model Checking, and Abstract Interpretation.
Vol. 14500,
Issue. ,
p.
141.
Moosbrugger, Marcel
Müllner, Julian
and
Kovács, Laura
2024.
iFM 2023.
Vol. 14300,
Issue. ,
p.
21.