R. Mayr
发表
Javier Esparza,
Antonín Kucera,
Richard Mayr,
2005,
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
J. Esparza,
A. Kucera,
R. Mayr,
2004,
LICS 2004.
D. Wojtczak,
R. Mayr,
M. Shirmohammadi,
2020
.
P. Abdulla,
S. Sandberg,
R. Mayr,
2013
.
Pavlos Petoumenos,
R. Mayr,
Richard Mayr,
2017
.
M. Rusinowitch,
R. Mayr,
1998
.
Uppsala,
P. Abdulla,
R. Mayr,
2013
.
P. Abdulla,
T. Vojnar,
R. Mayr,
2011
.
P. Abdulla,
R. Mayr,
Yu-Fang Chen,
2011
.
Javier Esparza,
Antonín Kucera,
Richard Mayr,
2004,
LICS.
R. Mayr,
L. Holík,
Ricardo Almeida,
2017
.
Parosh Aziz Abdulla,
Richard Mayr,
Yu-Fang Chen,
2010
.
D. Wojtczak,
R. Mayr,
M. Shirmohammadi,
2017
.
P. Abdulla,
T. Vojnar,
R. Mayr,
2010
.
R. Mayr,
M. Shirmohammadi,
S. Kiefer,
2022,
ArXiv.
S. Schewe,
D. Wojtczak,
R. Mayr,
2017
.
R. Mayr,
M. Shirmohammadi,
S. Kiefer,
2022,
ArXiv.
Parosh Aziz Abdulla,
Noomene Ben Henda,
Richard Mayr,
2007,
Log. Methods Comput. Sci..
Antonín Kucera,
Richard Mayr,
A. Kucera,
2010,
Inf. Comput..
Antonín Kucera,
Richard Mayr,
A. Kucera,
2018,
IFIP TCS.
Richard Mayr,
R. Mayr,
2004,
EXPRESS.
Richard Mayr,
Antonín Kučera,
Petr Jančar,
1998,
ICALP.
Tobias Nipkow,
Richard Mayr,
T. Nipkow,
1998,
Theor. Comput. Sci..
Jens Stoye,
Richard Mayr,
Steffen Heber,
2011,
Algorithmica.
Stefan Kiefer,
Richard Mayr,
Patrick Totzke,
2020,
CONCUR.
Stefan Kiefer,
Richard Mayr,
Patrick Totzke,
2020,
ICALP.
Stefan Kiefer,
Richard Mayr,
Dominik Wojtczak,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Antonín Kucera,
Richard Mayr,
A. Kucera,
2002,
CONCUR.
Lorenzo Clemente,
Richard Mayr,
R. Mayr,
2012,
POPL.
P. Abdulla,
J. Sproston,
R. Mayr,
2013,
CONCUR.
Parosh Aziz Abdulla,
Richard Mayr,
Pritha Mahata,
2006,
Log. Methods Comput. Sci..
Parosh Aziz Abdulla,
Lorenzo Clemente,
Yu-Fang Chen,
2011,
CONCUR.
Alain Finkel,
Javier Esparza,
Richard Mayr,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Parosh Aziz Abdulla,
Lorenzo Clemente,
Yu-Fang Chen,
2010,
CAV.
Ahmed Bouajjani,
Richard Mayr,
Peter Habermehl,
2003,
Theor. Comput. Sci..
Richard Mayr,
R. Mayr,
Richard Mayr,
2000,
Theor. Comput. Sci..
Richard Mayr,
R. Mayr,
1999,
EXPRESS.
Stefan Kiefer,
Richard Mayr,
Dominik Wojtczak,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Antonín Kucera,
Richard Mayr,
A. Kucera,
2002,
Inf. Comput..
Lorenzo Clemente,
Richard Mayr,
R. Mayr,
2017,
Log. Methods Comput. Sci..
Parosh Aziz Abdulla,
Yu-Fang Chen,
Lukás Holík,
2010,
TACAS.
Ahmed Bouajjani,
Richard Mayr,
A. Bouajjani,
1999,
STACS.
Parosh Aziz Abdulla,
Richard Mayr,
P. Abdulla,
2013,
Log. Methods Comput. Sci..
Parosh Aziz Abdulla,
Richard Mayr,
P. Abdulla,
2011,
2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Parosh Aziz Abdulla,
Sven Sandberg,
Noomene Ben Henda,
2008,
FoSSaCS.
Parosh Aziz Abdulla,
Noomene Ben Henda,
Richard Mayr,
2005,
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Parosh Aziz Abdulla,
Richard Mayr,
Pritha Mahata,
2004,
FSTTCS.
P. Abdulla,
S. Sandberg,
R. Mayr,
2016
.
Sven Schewe,
Richard Mayr,
Patrick Totzke,
2021,
FoSSaCS.
Parosh Aziz Abdulla,
Richard Mayr,
Jeremy Sproston,
2015,
FoSSaCS.