Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mathuri Selvarajoo
Probabilistic Simple Sticker Systems
Related publications
Probabilistic Proof Systems
BRICS Report Series
Probabilistic Generation of Finite Simple Groups
Journal of Algebra
Number Theory
Algebra
Active Diagnosis for Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Logic for Intelligent Systems
Advances in Intelligent Systems and Computing
Control
Systems Engineering
Computer Science
Weak Bisimulation for Probabilistic Systems
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
Incremental Runtime Verification of Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Verification Techniques for Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model-Based Testing of Probabilistic Systems
Formal Aspects of Computing
Theoretical Computer Science
Software
