| Publication | Date of Publication | Type |
|---|
| Timed systems through the lens of logic | 2024-12-19 | Paper |
| Efficient construction of reversible transducers from regular transducer expressions | 2024-12-06 | Paper |
| From non-punctuality to non-adjacency: a quest for decidability of timed temporal logics with quantifiers | 2024-09-25 | Paper |
| Resilience of Timed Systems | 2024-02-05 | Paper |
| Parameterized verification under TSO with data types | 2023-12-13 | Paper |
| Optimal repair for omega-regular properties | 2023-06-02 | Paper |
| Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers | 2023-04-21 | Paper |
| Revisiting Underapproximate Reachability for Multipushdown Systems | 2022-10-13 | Paper |
| The Reach-Avoid Problem for Constant-Rate Multi-mode Systems | 2022-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5094153 | 2022-08-02 | Paper |
| On Synthesis of Resynchronizers for Transducers | 2022-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5090941 | 2022-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089281 | 2022-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089310 | 2022-07-18 | Paper |
| Regular model checking with regular relations | 2022-05-20 | Paper |
| Regular transducer expressions for regular transformations | 2022-01-06 | Paper |
| One-way resynchronizability of word transducers | 2021-10-18 | Paper |
| The decidability of verification under PS 2.0 | 2021-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5009457 | 2021-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4995373 | 2021-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4992499 | 2021-06-09 | Paper |
| Regular transducer expressions for regular transformations | 2021-01-20 | Paper |
| Regular and First-Order List Functions | 2021-01-20 | Paper |
| Towards an Efficient Tree Automata based technique for Timed Systems | 2020-05-27 | Paper |
| Making Metric Temporal Logic Rational | 2020-05-26 | Paper |
| On timed scope-bounded context-sensitive languages | 2019-10-15 | Paper |
| Perfect timed communication is hard | 2018-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4643961 | 2018-05-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636594 | 2018-04-19 | Paper |
| FO-Definable Transformations of Infinite Strings | 2018-04-19 | Paper |
| Stochastic Timed Games Revisited | 2018-03-21 | Paper |
| Analyzing Timed Systems Using Tree Automata | 2018-03-21 | Paper |
| Further results on generalised communicating P systems | 2017-12-06 | Paper |
| Revisiting Robustness in Priced Timed Games | 2017-07-13 | Paper |
| What's decidable about recursive hybrid automata? | 2017-05-19 | Paper |
| Bounded-rate multi-mode systems based motion planning | 2017-05-19 | Paper |
| First-order definable string transformations | 2017-04-25 | Paper |
| A Perfect Class of Context-Sensitive Timed Languages | 2016-08-30 | Paper |
| Metric Temporal Logic with Counting | 2016-06-10 | Paper |
| A Logical Characterization for Dense-Time Visibly Pushdown Automata | 2016-04-13 | Paper |
| Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable | 2016-04-08 | Paper |
| On Pure Nash Equilibria in Stochastic Games | 2015-09-30 | Paper |
| Weak Singular Hybrid Automata | 2015-08-06 | Paper |
| On Unary Fragments of MTL and TPTL over Timed Words | 2015-01-13 | Paper |
| Adding Negative Prices to Priced Timed Games | 2014-09-15 | Paper |
| Some Classes of Generalised Communicating P Systems and Simple Kernel P Systems | 2013-08-05 | Paper |
| On the Computability Power of Membrane Systems with Controlled Mobility | 2012-08-14 | Paper |
| On Restricted Bio-Turing Machines | 2011-11-22 | Paper |
| On Construction of Safety Signal Automata for $MITL[\:\mathcal{U},\:\mathcal{S}]$ Using Temporal Projections | 2011-10-07 | Paper |
| Computability Power of Mobility in Enhanced Mobile Membranes | 2011-09-09 | Paper |
| A $\Sigma_2^P \cup \Pi_2^P$ Lower Bound Using Mobile Membranes | 2011-07-29 | Paper |
| Enhanced mobile membranes: computability results | 2011-05-23 | Paper |
| Model checking weighted integer reset timed automata | 2011-05-23 | Paper |
| Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata | 2009-12-01 | Paper |
| Communicating Distributed H Systems: Optimal Results with Efficient Ways of Communication | 2009-04-02 | Paper |
| Membrane computing with transport and embedded proteins | 2009-03-02 | Paper |
| Timed Automata with Integer Resets: Language Inclusion and Expressiveness | 2008-12-02 | Paper |
| The Expressiveness of Concentration Controlled P Systems | 2008-12-02 | Paper |
| On the Computational Power of Enhanced Mobile Membranes | 2008-06-19 | Paper |
| Updatable Timed Automata with Additive and Diagonal Constraints | 2008-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5431559 | 2007-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5431558 | 2007-12-11 | Paper |
| On Pure Catalytic P Systems | 2007-11-29 | Paper |
| On the Power of Bio-Turing Machines | 2007-11-29 | Paper |
| On the Computational Power of Flip-Flop Proteins on Membranes | 2007-11-13 | Paper |
| On Sampling Abstraction of Continuous Time Logic with Durations | 2007-09-03 | Paper |
| Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
| Universality results for P systems based on brane calculi operations | 2007-03-12 | Paper |
| FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science | 2006-11-14 | Paper |
| P systems with mobile membranes | 2006-06-12 | Paper |
| New Computational Paradigms | 2006-01-11 | Paper |
| Membrane Computing | 2005-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4681301 | 2005-06-23 | Paper |
| Results on catalytic and evolution-communication P systems | 2005-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737678 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4437099 | 2003-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413837 | 2003-07-21 | Paper |
| On Some Classes Of Contextual Grammars | 2003-07-13 | Paper |
| Breaking DES using P systems. | 2003-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4330727 | 2002-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329026 | 2002-04-29 | Paper |
| P systems with picture objects | 2002-02-13 | Paper |
| A note on parallel rewriting in P systems | 2001-07-18 | Paper |
| On power of p systems using sequential and parallel rewriting | 2001-01-29 | Paper |
| An efficient quantifier elimination procedure for Presburger arithmetic | N/A | Paper |
