Author Search Results :: UTM Library Massive Scholar Tracking

Richard Mayr

''Richard Mayr im Kostüm des Ochs auf Lerchenau'' - A 1927 portrait of Mayr by [[Anton Faistauer

Richard Mayr (18 November 1877, in Henndorf – 1 December 1935, in Vienna) was an Austrian operatic bass-baritone who was particularly admired for his performances in works by Wolfgang Amadeus Mozart, Richard Wagner and Richard Strauss. He notably created the role of Barak, the Dyer in the world premiere of Strauss's ''Die Frau ohne Schatten''. Provided by Wikipedia

1

Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPs by Richard Mayr, Eric Munday

Published 2023-03-01

Get full text

Article
2

Efficient reduction of nondeterministic automata with application to language inclusion testing by Lorenzo Clemente, Richard Mayr

Published 2019-02-01

Get full text

Article
3

Petri Nets with Time and Cost by Parosh Aziz Abdulla, Richard Mayr

Published 2013-02-01

Get full text

Article
4

Model Checking Probabilistic Pushdown Automata by Javier Esparza, Antonin Kucera, Richard Mayr

Published 2006-03-01

Get full text

Article
5

Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness by Parosh Abdulla, Pritha Mahata, Richard Mayr

Published 2007-02-01

Get full text

Article
6

Decisive Markov Chains by Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr

Published 2007-11-01

Get full text

Article
7

Simulation Problems Over One-Counter Nets by Piotr Hofman, Slawomir Lasota, Richard Mayr, Patrick Totzke

Published 2016-03-01

Get full text

Article
8

Stochastic Parity Games on Lossy Channel Systems by Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, Sven Sandberg

Published 2015-01-01

Get full text

Article
9

Model Checking Flat Freeze LTL on One-Counter Automata by Antonia Lechner, Richard Mayr, Joël Ouaknine, Amaury Pouly, James Worrell

Published 2018-12-01

Get full text

Article