Artificial Intelligence
The complexity of elementary algebra and geometry
Journal of Computer and System Sciences
A decidable propositional dynamic logic with explicit probabilities
Information and Control
A probabilistic powerdomain of evaluations
Proceedings of the Fourth Annual Symposium on Logic in computer science
A logic for reasoning about probabilities
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Probabilistic non-determinism
Decidability and expressiveness for first-order logics of probability
Information and Computation
Artificial intelligence in perspective
Probabilistic predicate transformers
ACM Transactions on Programming Languages and Systems (TOPLAS)
An axiomatic basis for computer programming
Communications of the ACM
A Logic for Probabilities in Semantics
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
A Theory of Probabilistic Programs
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Quantitative Analysis and Model Checking
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
FOCS '00 Proceedings of the 41st Annual Symposium on Foundations of Computer Science
Logics for probabilistic programming (Extended Abstract)
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
Formalizing the analysis of algorithms.
Formalizing the analysis of algorithms.
Weakly complete axiomatization of exogenous quantum propositional logic
Information and Computation
Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics)
Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics)
Towards Model-Checking Quantum Security Protocols
ICQNM '07 Proceedings of the First International Conference on Quantum, Nano, and Micro Technologies
RETRACTED: Semantic Domains for Combining Probability and Non-Determinism
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning about states of probabilistic sequential programs
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Towards mechanized correctness proofs for cryptographic algorithms
Science of Computer Programming
Temporalization of Probabilistic Propositional Logic
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Studia Logica
Probabilistic Relational Reasoning for Differential Privacy
ACM Transactions on Programming Languages and Systems (TOPLAS)
Probabilistic relational verification for cryptographic implementations
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
| Hi-index | 5.23 |
A complete and decidable Hoare-style calculus for iteration-free probabilistic sequential programs is presented using a state logic with truth-functional propositional (not arithmetical) connectives.