Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Bow-Yaw Wang
Leveraging Weighted Automata in Compositional Reasoning About Concurrent Probabilistic Systems
ACM SIGPLAN Notices
Computer Science
Automated Assume-Guarantee Reasoning Through Implicit Learning
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Reasoning About the Past With Two-Way Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modular Reasoning About Separation of Concurrent Data Structures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Deciding Probabilistic Simulation Between Probabilistic Pushdown Automata and Finite-State Systems
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Probabilistic Model Checking of Regenerative Concurrent Systems
IEEE Transactions on Software Engineering
Software
Modular Reasoning About Differential Privacy in a Probabilistic Process Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Compositional Reasoning in Early Childhood
PLoS ONE
Multidisciplinary
Reasoning About Finite-State Switched Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Reasoning
Nested Weighted Automata
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
