| Publication | Date of Publication | Type |
|---|
| Program correctness and matricial iteration theories | 2023-08-16 | Paper |
| The Triple-Pair Construction for Weighted ω-Pushdown Automata | 2023-08-15 | Paper |
| Some quasi-varieties of iteration theories | 2023-04-28 | Paper |
| A GENERALIZATION OF KOZEN'S AXIOMATIZATION OF THE EQUATIONAL THEORY OF THE REGULAR SETS | 2022-12-06 | Paper |
| Nonfinite axiomatizability of shuffle inequalities | 2022-08-18 | Paper |
| Solving polynomial fixed point equations | 2022-08-18 | Paper |
| Free shuffle algebras in language varieties extended abstract | 2022-08-16 | Paper |
| Fixed Point Theory | 2022-04-28 | Paper |
| Finite Automata | 2022-04-28 | Paper |
| Equational theories for automata | 2022-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5016362 | 2021-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5014442 | 2021-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964012 | 2021-02-24 | Paper |
| A representation theorem for stratified complete lattices | 2020-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4972735 | 2019-11-26 | Paper |
| Equational properties of fixed-point operations in cartesian categories: An overview | 2019-05-27 | Paper |
| Nonfinite axiomatizability of the equational theory of shuffle | 2019-01-10 | Paper |
| Solving Fixed Point Equations over Complete Semirings | 2018-09-20 | Paper |
| Two equational theories of partial words | 2018-06-18 | Paper |
| Continuous Semiring-Semimodule Pairs and Mixed Algebraic Systems | 2017-08-25 | Paper |
| Commutative Positive Varieties of Languages | 2017-08-25 | Paper |
| An Algebraic Approach to Energy Problems I — *-Continuous Kleene ω-Algebras | 2017-08-25 | Paper |
| An Algebraic Approach to Energy Problems II — The Algebra of Energy Functions | 2017-08-25 | Paper |
| Equational axioms associated with finite automata for fixed point operations in cartesian categories | 2017-04-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5507058 | 2016-12-16 | Paper |
| An analysis of the equational properties of the well-founded fixed point | 2016-11-30 | Paper |
| MSO-definable Properties of Muller Context-Free Languages Are Decidable | 2016-11-09 | Paper |
| Ternary Equational Languages | 2016-11-09 | Paper |
| Multi-Linear Iterative K-Σ-Semialgebras | 2016-07-15 | Paper |
| A connection between concurrency and language theory | 2016-04-12 | Paper |
| *-Continuous Kleene $$\omega $$-Algebras | 2015-11-10 | Paper |
| Residuated Park theories | 2015-10-20 | Paper |
| Equational Properties of Stratified Least Fixed Points (Extended Abstract) | 2015-09-24 | Paper |
| Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview | 2015-09-16 | Paper |
| On Power Series over a Graded Monoid | 2015-09-08 | Paper |
| Cascade Products and Temporal Logics on Finite Trees | 2015-07-10 | Paper |
| OPERATIONAL CHARACTERIZATION OF SCATTERED MCFLs | 2015-04-23 | Paper |
| A fixed point theorem for non-monotonic functions | 2015-02-24 | Paper |
| Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars | 2015-01-13 | Paper |
| Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation | 2014-11-25 | Paper |
| Conway and iteration hemirings Part 1 | 2014-08-19 | Paper |
| Conway and iteration hemirings Part 2 | 2014-08-19 | Paper |
| ON CONTEXT-FREE LANGUAGES OF SCATTERED WORDS | 2014-08-04 | Paper |
| Kleene Algebras and Semimodules for Energy Problems | 2014-07-08 | Paper |
| Axiomatizing weighted synchronization trees and weighted bisimilarity | 2014-04-29 | Paper |
| Free inductive \(K\)-semialgebras | 2013-12-06 | Paper |
| Unique, guarded fixed points in an additive setting | 2013-08-16 | Paper |
| The FC-rank of a context-free language | 2013-06-28 | Paper |
| Operational Characterization of Scattered MCFLs | 2013-06-28 | Paper |
| LINEAR LANGUAGES OF FINITE AND INFINITE WORDS | 2013-06-03 | Paper |
| EXTENDED TEMPORAL LOGICS ON FINITE TREES | 2013-06-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4913486 | 2013-04-05 | Paper |
| An undecidable property of context-free linear orders | 2013-04-04 | Paper |
| On Context-Free Languages of Scattered Words | 2012-11-02 | Paper |
| Algebraic Synchronization Trees and Processes | 2012-11-01 | Paper |
| A Context-Free Linear Ordering with an Undecidable First-Order Theory | 2012-09-21 | Paper |
| ORDINAL AUTOMATA AND CANTOR NORMAL FORM | 2012-08-30 | Paper |
| Hausdorff Rank of Scattered Context-Free Linear Orders | 2012-06-29 | Paper |
| Free iterative and iteration \(K\)-semialgebras | 2012-05-03 | Paper |
| On Müller context-free grammars | 2012-03-13 | Paper |
| THE CATEGORY OF SIMULATIONS FOR WEIGHTED TREE AUTOMATA | 2012-03-13 | Paper |
| Stephen L. Bloom 1940–2010 | 2011-11-22 | Paper |
| Partial Conway and Iteration Semiring-Semimodule Pairs | 2011-11-11 | Paper |
| Kleene Theorem in Partial Conway Theories with Applications | 2011-11-11 | Paper |
| Dagger extension theorem | 2011-10-21 | Paper |
| Scattered Context-Free Linear Orderings | 2011-07-29 | Paper |
| A Unifying Kleene Theorem for Weighted Finite Automata | 2011-05-27 | Paper |
| Equational Axioms for Probabilistic Bisimilarity | 2011-05-06 | Paper |
| ALGEBRAIC LINEAR ORDERINGS | 2011-03-30 | Paper |
| Büchi context-free languages | 2011-02-21 | Paper |
| Simulations of Weighted Tree Automata | 2011-02-11 | Paper |
| Algebraic Ordinals | 2010-10-01 | Paper |
| On Müller Context-Free Grammars | 2010-08-31 | Paper |
| ALGEBRAIC CHARACTERIZATION OF LOGICALLY DEFINED TREE LANGUAGES | 2010-05-25 | Paper |
| Axiomatizing the equational theory of regular tree languages | 2010-02-05 | Paper |
| BOOLEAN FUZZY SETS | 2010-01-29 | Paper |
| A Mezei-Wright theorem for categorical algebras | 2009-12-15 | Paper |
| Cycle-Free Finite Automata in Partial Iterative Semirings | 2009-11-05 | Paper |
| Iteration Grove Theories with Applications | 2009-11-05 | Paper |
| Context-Free Languages of Countable Words | 2009-08-20 | Paper |
| Estimation of state complexity of combined operations | 2009-08-07 | Paper |
| FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science | 2009-08-06 | Paper |
| FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science | 2009-08-06 | Paper |
| Axiomatizing rational power series over natural numbers | 2009-07-15 | Paper |
| Regular and Algebraic Words and Ordinals | 2009-03-10 | Paper |
| Games for Temporal Logics on Trees | 2009-02-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5506336 | 2009-01-28 | Paper |
| Iteration Semirings | 2008-10-30 | Paper |
| Aperiodicity in Tree Automata | 2008-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3515222 | 2008-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5450111 | 2008-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5450112 | 2008-03-19 | Paper |
| On iteration semiring-semimodule pairs. | 2007-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5422232 | 2007-10-17 | Paper |
| Fuzzy tree automata | 2007-07-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3431478 | 2007-04-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3431479 | 2007-04-10 | Paper |
| Characterizing CTL-like logics on finite trees. | 2006-05-18 | Paper |
| Mathematical Foundations of Computer Science 2004 | 2005-08-22 | Paper |
| Algebraic recognizability of regular tree languages | 2005-08-01 | Paper |
| Algebraic and graph-theoretic properties of infiniten-posets | 2005-06-07 | Paper |
| The equational theory of regular words | 2005-05-12 | Paper |
| Algebraically complete semirings and Greibach normal form | 2005-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4662830 | 2005-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4654639 | 2005-03-08 | Paper |
| Theory Is Forever | 2005-01-18 | Paper |
| Axiomatizing omega and omega-op powers of words | 2004-10-28 | Paper |
| Inductive \(^{*}\)-semirings | 2004-10-01 | Paper |
| Hazard algebras | 2004-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737893 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737909 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4454841 | 2004-03-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4453869 | 2004-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4450438 | 2004-02-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449535 | 2004-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449537 | 2004-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4439449 | 2003-12-14 | Paper |
| A Fully Equational Proof of Parikh's Theorem | 2003-11-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4421596 | 2003-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412098 | 2003-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411820 | 2003-07-10 | Paper |
| Equational theories of tropical semirings | 2003-05-25 | Paper |
| The max-plus algebra of the natural numbers has no finite equational basis | 2003-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4793130 | 2003-02-18 | Paper |
| Continuous Additive Algebras and Injective Simulations of Synchronization Trees | 2003-01-30 | Paper |
| On equations for union-free regular languages | 2003-01-14 | Paper |
| Free De Morgan Bisemigroups and Bisemilattices | 2003-01-01 | Paper |
| THE POWER OF THE GROUP-IDENTITIES FOR ITERATION | 2002-12-15 | Paper |
| Locally closed semirings | 2002-12-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536370 | 2002-11-04 | Paper |
| A note on equations for commutative regular languages | 2002-09-16 | Paper |
| Axiomatizing the subsumption and subword preorders on finite and infinite partial words | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4531371 | 2002-05-29 | Paper |
| Iteration 2-theories | 2002-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2776605 | 2002-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2770673 | 2002-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769423 | 2002-02-05 | Paper |
| Modeling literal morphisms by shuffle | 2001-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753681 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2742602 | 2001-09-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4500367 | 2001-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501680 | 2001-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2707234 | 2001-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4508392 | 2001-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501538 | 2001-02-16 | Paper |
| A proof of the Krohn--Rhodes Decomposition Theorem | 2000-08-21 | Paper |
| The variety of Kleene algebras with conversion is not finitely based | 2000-06-04 | Paper |
| A Cayley Theorem for Ternary Algebras | 2000-05-10 | Paper |
| Group axioms for iteration | 1999-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222756 | 1998-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4381396 | 1998-11-02 | Paper |
| Varieties generated by languages with poset operations | 1998-09-08 | Paper |
| Nonfinite axiomatizability of the equational theory of shuffle | 1998-08-20 | Paper |
| Equational properties of iteration in algebraically complete categories | 1998-08-13 | Paper |
| Completeness of Park induction | 1998-07-23 | Paper |
| The equational logic of fixed points | 1998-07-22 | Paper |
| Axiomatizing shuffle and concatenation in languages | 1998-05-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4375811 | 1998-04-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4373552 | 1998-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4348001 | 1997-08-12 | Paper |
| Equational properties of Kleene algebras of relations with conversion | 1997-02-28 | Paper |
| Free shuffle algebras in language varieties | 1997-02-27 | Paper |
| Fixed-point operations on ccc's. I | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4896924 | 1996-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4884887 | 1996-07-08 | Paper |
| SOME EQUATIONAL LAWS OF INITIALITY IN 2CCC’S | 1995-12-03 | Paper |
| Notes on equational theories of relations | 1995-02-22 | Paper |
| Floyd-Hoare logic in iteration theories | 1994-11-13 | Paper |
| Equational axioms for regular sets | 1994-09-22 | Paper |
| Matrix and matricial iteration theories. I | 1993-08-18 | Paper |
| Matrix and matricial iteration theories. II | 1993-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5287508 | 1993-07-08 | Paper |
| ITERATION ALGEBRAS | 1993-06-29 | Paper |
| Iteration theories of synchronization trees | 1993-05-16 | Paper |
| Varieties of automata and transformation semigroups | 1993-04-01 | Paper |
| A Cayley Theorem for Boolean Algebras | 1992-06-27 | Paper |
| Results on homomorphic realization of automata by \(\alpha_ 0\)-products | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3974861 | 1992-06-26 | Paper |
| A note on isomorphic simulation of automata by networks of two-state automata | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3971256 | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3212308 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5203698 | 1990-01-01 | Paper |
| A decidability result for homomorphic representation of automata by \(\alpha _ 0\)-products | 1989-01-01 | Paper |
| Equational logic of circular data type specification | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3033342 | 1989-01-01 | Paper |
| Critical classes for the \(\alpha _ 0\)-product | 1988-01-01 | Paper |
| Independence of the equational axioms for iteration theories | 1988-01-01 | Paper |
| On cycles of directed graphs | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3468615 | 1988-01-01 | Paper |
| Varieties of Iteration Theories | 1988-01-01 | Paper |
| On a representation of tree automata | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3468616 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3774950 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3774951 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3774952 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3780442 | 1987-01-01 | Paper |
| Complete classes of automata for the \(\alpha _ 0\)-product | 1986-01-01 | Paper |
| On \(\alpha _ 0\)-products and \(\alpha _ 2\)-products | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3715170 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3740245 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3756530 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3758249 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3766859 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3773352 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3776630 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4721655 | 1986-01-01 | Paper |
| Axiomatizing schemes and their behaviors | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3702515 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3761702 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3675534 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3700859 | 1984-01-01 | Paper |
| Algebras of iteration theories | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3316600 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3316601 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3321479 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3321480 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3326869 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3347255 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3957911 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3929061 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3948597 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3948598 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3906457 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3919058 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3051406 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4164834 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4103042 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4137106 | 1973-01-01 | Paper |
