Author:
Esparza J.,Kucera A.,Mayr R.
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
2. Structured Theorem for Quantum Programs and its Applications;ACM Transactions on Software Engineering and Methodology;2023-05-26
3. On continuation-passing transformations and expected cost analysis;Proceedings of the ACM on Programming Languages;2021-08-22
4. A modular cost analysis for probabilistic programs;Proceedings of the ACM on Programming Languages;2020-11-13
5. How Good Is a Strategy in a Game with Nature?;ACM Transactions on Computational Logic;2020-07-31