Concepedia

Richard Mayr

RM

29

Publications

1.3K

Citations

18

H-Index

1998

Active since

Affiliations

University of Edinburgh(Current)

Uppsala University

North Carolina State University

Masaryk University

Technical University of Munich

Richard Mayr is an author at University of Edinburgh specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationAutomated ReasoningVerificationComputational ComplexitySystems EngineeringProbabilityDiscrete Mathematics

Publications per year

1998–2019

29

Publications

29

On the verification of broadcast protocols

Javier Esparza, Alain Finkel, Richard Mayr · 2003 · 246 citations

Engineering, Broadcast Protocol, Survivable System +17

Higher-order rewrite systems and their confluence

Richard Mayr, Tobias Nipkow · Theoretical Computer Science · 1998 · 155 citations

Engineering, Automated Reasoning, Regulated Rewriting +7

Model checking probabilistic pushdown automata

Javier Esparza, Antonı́n Kučera, Richard Mayr · arXiv (Cornell University) · 2004 · 124 citations · Full text

Stateless Ppda, Logic Pctl, Logical Automaton +14

Undecidable problems in unreliable computations

Richard Mayr · Theoretical Computer Science · 2003 · 113 citations

Computational Complexity Theory, Engineering, Automated Reasoning +7

Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances

Javier Esparza, Antonı́n Kučera, Richard Mayr · 2006 · 68 citations

Engineering, Verification, Pushdown Automaton +16

Rows per page

1–5 of 29