Get started
Author

Richard Mayr

Observed names: Mayr, Richard, Mayr, Richard 1848-, Mayr, Richard, 1848-, Mayr, Richard, 1848-1915., R MAYR, R. Mayr, R., Mayr, Richard M. Mayr
Observed institutions: Uppsala University, North Carolina State University, University of Freiburg, University of Oxford, Laboratoire d'Informatique Algorithmique: Fondements et Applications, Max Planck Institute for Software Systems, Technical University of Munich, University of Edinburgh
ORCID: 0009-0003-2164-9933
Observed ORCID: 0009-0003-2164-9933
OpenAlex ID: A5082358544
Stochastic Games with Lossy Channels
2008 · Parosh Aziz Abdulla, Noomene Ben Henda, et al. · Lecture notes in computer science · 563
PDF
On the verification of broadcast protocols
2003 · J. Esparza, A. Finkel, et al. · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 277
Process Rewrite Systems
1997 · Richard Mayr · Electronic Notes in Theoretical Computer Science · 172
PDF
Higher-order rewrite systems and their confluence
1998 · Richard Mayr, Tobias Nipkow · Theoretical Computer Science · 169
PDF
Model checking probabilistic pushdown automata
2004 · Javier Esparza, Antonı́n Kučera, et al. · 124
Advanced Ramsey-Based Büchi Automata Inclusion Testing
2011 · Parosh Aziz Abdulla, Yu-Fang Chen, et al. · Lecture notes in computer science · 122
PDF
Undecidable problems in unreliable computations
2003 · Richard Mayr · Theoretical Computer Science · 119
PDF
When Simulation Meets Antichains
2010 · Parosh Aziz Abdulla, Yu-Fang Chen, et al. · Lecture notes in computer science · 115
PDF
Model Checking Lossy Vector Addition Systems
1999 · Ahmed Bouajjani, Richard Mayr · Lecture notes in computer science · 67
Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances
2006 · J. Esparza, A. Kucera, et al. · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 64
Decisive Markov Chains
2007 · Parosh Aziz Abdulla, Noomene Ben Henda, et al. · Logical Methods in Computer Science · 60
PDF
Model checking probabilistic pushdown automata
2004 · J. Esparza, A. Kucera, et al. · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 60
Deciding bisimulation-like equivalences with finite-state processes
2001 · Petr Jančar, Antonı́n Kučera, et al. · Theoretical Computer Science · 57
Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing
2010 · Parosh Aziz Abdulla, Yu-Fang Chen, et al. · Lecture notes in computer science · 52
PDF
Model Checking Probabilistic Pushdown Automata
2006 · Javier Esparza, Antonin Kucera, et al. · Logical Methods in Computer Science · 45
PDF
Advanced automata minimization
2013 · Richard Mayr, Lorenzo Clemente · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 44
PDF
On the Computational Complexity of Verifying One-Counter Processes
2009 · Stefan Goller, Richard Mayr, et al. · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 39
Solving Parity Games on Integer Vectors
2013 · Parosh Aziz Abdulla, Richard Mayr, et al. · Lecture notes in computer science · 38
PDF
Efficient reduction of nondeterministic automata with application to language inclusion testing
2019 · Lorenzo Clemente, Richard Mayr · Logical Methods in Computer Science · 37
PDF
Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness
2007 · Parosh Abdulla, Pritha Mahata, et al. · Logical Methods in Computer Science · 32
PDF
Automatic Verification of Recursive Procedures with One Integer Parameter
2001 · Ahmed Bouajjani, Peter Habermehl, et al. · Lecture notes in computer science · 31
Undecidability of Weak Bisimulation Equivalence for 1-Counter Processes
2003 · Richard Mayr · Lecture notes in computer science · 30
Minimal Cost Reachability/Coverability in Priced Timed Petri Nets
2009 · Parosh Aziz Abdulla, Richard Mayr · Lecture notes in computer science · 29
PDF
Undecidable Problems in Unreliable Computations
2000 · Richard Mayr · Lecture notes in computer science · 28
On the Complexity of Semantic Equivalences for Pushdown Automata and BPA
2002 · Antonín Kučera, Richard Mayr · Lecture notes in computer science · 27
Works count: 156
Citation count: 3,194
H-index: 26
I10-index: 63
Year
Topic
Type