| Publication | Date of Publication | Type |
|---|
| Languages and logical definability in concurrency monoids | 2024-06-21 | Paper |
| Undecidability of the universal support problem for weighted automata over zero-sum-free commutative semirings | 2024-06-03 | Paper |
| Weighted Linear Dynamic Logic | 2024-02-16 | Paper |
| Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata | 2023-10-13 | Paper |
| The Triple-Pair Construction for Weighted ω-Pushdown Automata | 2023-08-15 | Paper |
| Asynchronous cellular automata for pomsets without auto-concurrency | 2023-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875673 | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5092440 | 2022-07-21 | Paper |
| Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata | 2022-06-08 | Paper |
| Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids | 2022-05-10 | Paper |
| Semirings and Formal Power Series | 2022-04-28 | Paper |
| Weighted Automata and Weighted Logics | 2022-04-28 | Paper |
| Weighted automata | 2022-02-04 | Paper |
| Weighted operator precedence languages | 2022-01-06 | Paper |
| Logic for \(\omega\)-pushdown automata | 2022-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384166 | 2021-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5016362 | 2021-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015275 | 2021-12-07 | Paper |
| A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic. | 2021-08-04 | Paper |
| Crisp-determinization of weighted tree automata over additively locally finite and past-finite monotonic strong bimonoids is decidable | 2021-07-14 | Paper |
| On Ore’s Theorem and Universal Words for Permutations and Injections of Infinite Sets | 2020-07-14 | Paper |
| McCarthy-Kleene fuzzy automata and MSO logics | 2020-05-26 | Paper |
| Weighted Operator Precedence Languages | 2020-05-26 | Paper |
| A Nivat Theorem for Quantitative Automata on Unranked Trees | 2020-02-24 | Paper |
| Model checking of linear-time properties in multi-valued systems | 2020-01-07 | Paper |
| A Kleene theorem for weighted tree automata over tree valuation monoids | 2019-12-18 | Paper |
| Weighted automata with storage | 2019-12-18 | Paper |
| A Nivat theorem for weighted picture automata and weighted MSO logics | 2019-06-25 | Paper |
| Weighted simple reset pushdown automata | 2019-06-18 | Paper |
| A kleene theorem for recognizable languages over concurrency monoids | 2019-04-29 | Paper |
| From domains to automata with concurrency | 2019-03-29 | Paper |
| Weighted register automata and weighted logic on data words | 2018-09-24 | Paper |
| On recognizable and rational formal power series in partially commuting variables | 2018-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4637683 | 2018-04-25 | Paper |
| Dependence orders for computations of concurrent automata | 2017-12-04 | Paper |
| A Kleene Theorem for Weighted ω-Pushdown Automata | 2017-08-25 | Paper |
| Zoltán Ésik (1951 - 2016) - In Memoriam. | 2017-06-13 | Paper |
| Weighted automata and logics for infinite nested words | 2017-03-16 | Paper |
| Multi-weighted automata and MSO logic | 2017-01-18 | Paper |
| Weighted Register Automata and Weighted Logic on Data Words | 2016-12-21 | Paper |
| The supports of weighted unranked tree automata | 2016-05-11 | Paper |
| A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem | 2016-04-13 | Paper |
| A Kleene Theorem for Weighted Tree Automata over Tree Valuation Monoids | 2016-04-13 | Paper |
| A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic | 2016-04-08 | Paper |
| A Logical Characterization of Timed Pushdown Languages | 2015-10-20 | Paper |
| Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics | 2015-09-22 | Paper |
| Logics for Weighted Timed Pushdown Automata | 2015-09-22 | Paper |
| Weighted Automata and Logics on Graphs | 2015-09-16 | Paper |
| Almost Every Domain is Universal | 2015-07-10 | Paper |
| RECOGNIZABLE AND LOGICALLY DEFINABLE LANGUAGES OF INFINITE COMPUTATIONS IN CONCURRENT AUTOMATA | 2015-04-29 | Paper |
| THE CHOMSKY-SCHÜTZENBERGER THEOREM FOR QUANTITATIVE CONTEXT-FREE LANGUAGES | 2015-04-23 | Paper |
| Weighted nested word automata and logics over strong bimonoids | 2014-11-14 | Paper |
| Conway and iteration hemirings. II. | 2014-08-19 | Paper |
| Conway and iteration hemirings. I. | 2014-08-19 | Paper |
| A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic | 2014-07-01 | Paper |
| Weighted automata and logics for infinite nested words | 2014-03-31 | Paper |
| Weighted finite automata over hemirings | 2014-01-07 | Paper |
| The normal subsemigroups of the monoid of injective maps. | 2013-11-22 | Paper |
| The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages | 2013-06-28 | Paper |
| Multi-weighted automata and MSO logic | 2013-06-14 | Paper |
| Weighted automata and weighted MSO logics for average and long-time behaviors | 2013-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3144538 | 2012-12-08 | Paper |
| Weighted Nested Word Automata and Logics over Strong Bimonoids | 2012-09-20 | Paper |
| WEIGHTED AUTOMATA AND REGULAR EXPRESSIONS OVER VALUATION MONOIDS | 2012-03-13 | Paper |
| Weighted automata and multi-valued logics over arbitrary bounded lattices | 2012-03-13 | Paper |
| The uncountable cofinality of the automorphism group of the countable universal distributive lattice | 2011-12-01 | Paper |
| Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics | 2011-11-11 | Paper |
| Countable random 𝑝-groups with prescribed Ulm-invariants | 2011-10-11 | Paper |
| A Cascade Decomposition of Weighted Finite Transition Systems | 2011-07-29 | Paper |
| Automorphism groups of totally ordered sets: A retrospective survey | 2011-07-15 | Paper |
| Weighted logics for unranked tree automata | 2011-04-01 | Paper |
| A Kleene-Schützenberger theorem for weighted timed automata | 2011-03-14 | Paper |
| Regular Expressions on Average and in the Long Run | 2011-02-11 | Paper |
| On extension of coverings | 2011-01-10 | Paper |
| Determinization of weighted finite automata over strong bimonoids | 2010-09-08 | Paper |
| Describing Average- and Longtime-Behavior by Weighted MSO Logics | 2010-09-03 | Paper |
| Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices | 2010-08-31 | Paper |
| Stabilizers of direct composition series. | 2010-08-13 | Paper |
| Uncountable cofinalities of automorphism groups of linear and partial orders | 2010-06-16 | Paper |
| Weighted automata with discounting | 2010-04-19 | Paper |
| Weighted automata and weighted logics on infinite words | 2010-02-05 | Paper |
| Weighted finite automata over strong bimonoids | 2010-01-28 | Paper |
| Weighted automata and weighted logics with discounting | 2009-09-14 | Paper |
| Construction of some uncountable 2-arc-transitive bipartite graphs | 2009-04-24 | Paper |
| Weighted Automata and Weighted Logics on Infinite Words | 2009-03-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3536079 | 2008-11-17 | Paper |
| On full groups of measure-preserving and ergodic transformations with uncountable cofinalities | 2008-06-11 | Paper |
| Weighted Automata and Weighted Logics with Discounting | 2008-06-10 | Paper |
| On aperiodic and star-free formal power series in partially commuting variables | 2008-06-06 | Paper |
| A Kleene-Schützenberger Theorem for Weighted Timed Automata | 2008-04-11 | Paper |
| Absolute graphs with prescribed endomorphism monoid | 2008-04-09 | Paper |
| Normal subgroups of \(\text B_{u}\text {Aut}(\Omega )\) | 2007-08-17 | Paper |
| Weighted automata and weighted logics | 2007-07-16 | Paper |
| ON WEIGHTED BÜCHI AUTOMATA WITH ORDER-COMPLETE WEIGHTS | 2007-07-13 | Paper |
| Universal homogeneous causal sets | 2007-05-16 | Paper |
| Weighted tree automata and weighted logics | 2007-01-09 | Paper |
| Skew and infinitary formal power series | 2007-01-09 | Paper |
| On representing words in the automorphism group of the random graph | 2007-01-05 | Paper |
| Observations on the smoothness properties of real functions computed by weighted finite automata | 2006-11-21 | Paper |
| Trace languages definable with modular quantifiers | 2006-09-06 | Paper |
| Automata, Languages and Programming | 2006-01-10 | Paper |
| Generating automorphism groups of chains | 2005-09-28 | Paper |
| UNCOUNTABLE COFINALITIES OF PERMUTATION GROUPS | 2005-05-23 | Paper |
| A Kleene theorem for weighted tree automata | 2005-02-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449193 | 2004-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4431388 | 2003-10-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4421731 | 2003-09-01 | Paper |
| On random relational structures | 2003-07-01 | Paper |
| The automorphism group of the universal distributive lattice | 2003-04-23 | Paper |
| The Kleene-Schützenberger theorem for formal power series in partially commuting variables. | 2003-01-14 | Paper |
| Uncountable Homogeneous Partial Orders | 2003-01-08 | Paper |
| ON THE HOMEOMORPHISM GROUPS OF CANTOR'S DISCONTINUUM AND THE SPACES OF RATIONAL AND IRRATIONAL NUMBERS | 2002-10-22 | Paper |
| ALL GROUPS ARE OUTER AUTOMORPHISM GROUPS OF SIMPLE GROUPS | 2002-10-22 | Paper |
| From Petri nets to automata with concurrency | 2002-08-19 | Paper |
| Recognizable languages in divisibility monoids | 2002-06-05 | Paper |
| Outer automorphism groups of ordered permutation groups | 2002-06-05 | Paper |
| Universal homogeneous graph-like structures and domains | 2002-01-01 | Paper |
| Complementary closed relational clones are not always Krasner clones | 2001-12-16 | Paper |
| Rigid chains admitting many embeddings | 2001-03-20 | Paper |
| Asynchronous cellular automata for pomsets | 2000-10-26 | Paper |
| On homogeneous semilattices and their automorphism groups | 2000-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4502531 | 2000-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938538 | 2000-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934333 | 2000-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4268488 | 1999-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4227569 | 1999-06-15 | Paper |
| Representation of computations in concurrent automata by dependence orders | 1998-10-22 | Paper |
| Set-homogeneous graphs and embeddings of total orders | 1997-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4336222 | 1997-10-29 | Paper |
| Recognizable languages in concurrency monoids | 1997-02-28 | Paper |
| Aperiodic languages in concurrency monoids | 1996-12-12 | Paper |
| McLain groups over arbitrary rings and orderings | 1996-06-10 | Paper |
| Periodic ordered permutation groups and cyclic orderings | 1995-07-02 | Paper |
| Labelled domains and automata with concurrency | 1995-04-06 | Paper |
| Representations of free lattice-ordered groups | 1995-01-03 | Paper |
| Set-homogeneous graphs | 1994-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4288284 | 1994-04-19 | Paper |
| Universal domains and the amalgamation property | 1994-02-16 | Paper |
| On stable domains | 1993-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4038692 | 1993-05-18 | Paper |
| CONCURRENT AUTOMATA AND DOMAINS | 1993-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4026893 | 1993-02-21 | Paper |
| Automorphism Groups of Homogeneous Semilinear Orders: Normal Subgroups and Commutators | 1992-09-27 | Paper |
| Finite Axiomatizations for Universal Domains | 1992-09-27 | Paper |
| Universal homogeneous event structures and domains | 1992-06-25 | Paper |
| Commutators in groups of order-preserving permutations | 1992-06-25 | Paper |
| On k-homogeneous posets and graphs | 1991-01-01 | Paper |
| SUBGROUPS OF SMALL INDEX IN ORDERED PERMUTATION GROUPS | 1991-01-01 | Paper |
| UNIVERSAL INFORMATION SYSTEMS | 1990-01-01 | Paper |
| Non-deterministic information systems and their domains | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5758372 | 1990-01-01 | Paper |
| Automorphism Groups of Infinite Semilinear Orders (I) | 1989-01-01 | Paper |
| Automorphism Groups of Infinite Semilinear Orders (II) | 1989-01-01 | Paper |
| Event structures and domains | 1989-01-01 | Paper |
| Recursive domain equations for concrete data structure | 1989-01-01 | Paper |
| The root system of prime subgroups of a free lattice-ordered group (without G.C.H.) | 1989-01-01 | Paper |
| k - HOMOGENEOUS RELATIONS AND TOURNAMENTS | 1989-01-01 | Paper |
| The existence of rigid measurable spaces | 1989-01-01 | Paper |
| Embeddings into Simple Lattice-ordered Groups with Different First Order Theories | 1989-01-01 | Paper |
| Normal subgroups and elementary theories of lattice-ordered groups | 1988-01-01 | Paper |
| Super-Rigid Families of Strongly Blackwell Spaces | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3797248 | 1988-01-01 | Paper |
| Squares of Conjugacy Classes in the Infinite Symmetric Groups | 1987-01-01 | Paper |
| Ordinal scales in the theory of measurement | 1987-01-01 | Paper |
| On the universality of systems of words in permutation groups | 1987-01-01 | Paper |
| Completeness properties of certain normal subgroup lattices | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4726090 | 1987-01-01 | Paper |
| Partially Ordered Sets with Transitive Automorphism Groups | 1987-01-01 | Paper |
| Complete embeddings of linear orderings and embeddings of lattice-ordered groups | 1986-01-01 | Paper |
| On the Universality of Words for the Alternating Groups | 1986-01-01 | Paper |
| Cubes of Conjugacy Classes Covering the Infinite Symmetric Group | 1985-01-01 | Paper |
| Structure of partially ordered sets with transitive automorphism groups | 1985-01-01 | Paper |
| Normal Subgroups of Doubly Transitive Automorphism Groups of Chains | 1985-01-01 | Paper |
| Classes of universal words for the infinite symmetric groups | 1985-01-01 | Paper |
| The normal subgroup lattice of 2-transitive automorphism groups of linearly ordered sets | 1985-01-01 | Paper |
| A construction of all normal subgroup lattices of 2-transitive automorphism groups of linearly ordered sets | 1985-01-01 | Paper |
| On an extendability problem for measures | 1984-01-01 | Paper |
| Products of conjugacy classes of the infinite symmetric groups | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3665315 | 1982-01-01 | Paper |
| Products of conjugate permutations | 1981-01-01 | Paper |
| Über k-homogene unendliche Permutationsgruppen | 1980-01-01 | Paper |
| On a theorem of Baer, Schreier, and Ulam for permutations | 1979-01-01 | Paper |
| Logical Characterizations of Weighted Complexity Classes | N/A | Paper |
