| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6124927 | 2024-04-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6187054 | 2024-02-05 | Paper |
| Token Games and History-Deterministic Quantitative-Automata | 2024-01-23 | Paper |
| On the translation of automata to linear temporal logic | 2024-01-23 | Paper |
| Token Games and History-Deterministic Quantitative-Automata | 2024-01-16 | Paper |
| On the comparison of discounted-sum automata with multiple discount factors | 2023-11-24 | Paper |
| Quantitative vs. weighted automata | 2023-03-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875380 | 2023-02-03 | Paper |
| What is the Church-Turing Thesis? | 2022-12-13 | Paper |
| On the Way to Alternating Weak Automata | 2022-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089314 | 2022-07-18 | Paper |
| What's decidable about weighted automata? | 2022-01-06 | Paper |
| Automaton-Based Criteria for Membership in CTL | 2021-01-20 | Paper |
| Rabin vs. Streett Automata | 2020-11-25 | Paper |
| How Deterministic are Good-For-Games Automata? | 2020-11-25 | Paper |
| Honest Computability and Complexity | 2020-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5114824 | 2020-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111179 | 2020-05-26 | Paper |
| Inherent size blowup in \(\omega\)-automata | 2019-10-15 | Paper |
| Why These Automata Types? | 2019-07-04 | Paper |
| Formally Reasoning About Quality | 2018-08-02 | Paper |
| The Target Discounted-Sum Problem | 2018-04-23 | Paper |
| Families of DFAs as Acceptors of omega-Regular Languages | 2018-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4603446 | 2018-02-20 | Paper |
| Approximate Determinization of Quantitative Automata | 2017-01-26 | Paper |
| Translating to Co-Büchi Made Tight, Unified, and Useful | 2015-09-17 | Paper |
| Temporal Specifications with Accumulative Values | 2015-09-17 | Paper |
| Discounting in LTL | 2015-02-10 | Paper |
| Battery transition systems | 2014-04-10 | Paper |
| Exact and Approximate Determinization of Discounted-Sum Automata | 2014-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851702 | 2013-10-02 | Paper |
| Formalizing and Reasoning about Quality | 2013-08-07 | Paper |
| Nondeterminism in the Presence of a Diverse or Unknown Future | 2013-08-07 | Paper |
| Determinizing discounted-sum automata | 2012-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2908872 | 2012-08-29 | Paper |
| What’s Decidable about Weighted Automata? | 2011-10-07 | Paper |
| Co-Büching Them All | 2011-05-19 | Paper |
| Alternation Removal in Büchi Automata | 2010-09-07 | Paper |
| Three Paths to Effectiveness | 2010-09-03 | Paper |
| The Quest for a Tight Translation of Büchi to co-Büchi Automata | 2010-09-03 | Paper |
| The influence of domain interpretations on computational models | 2009-11-13 | Paper |
| The Church-Turing Thesis over Arbitrary Domains | 2008-03-25 | Paper |
| Comparing Computational Power | 2007-02-15 | Paper |
| A hypercomputational alien | 2006-08-04 | Paper |
| New Computational Paradigms | 2006-01-11 | Paper |
