| 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
Theoretical Computer Science | 2024-06-03 | Paper |
Weighted Linear Dynamic Logic
International Journal of Foundations of Computer Science | 2024-02-16 | Paper |
Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata
International Journal of Foundations of Computer Science | 2023-10-13 | Paper |
The Triple-Pair Construction for Weighted ω-Pushdown Automata
International Journal of Foundations of Computer Science | 2023-08-15 | Paper |
Asynchronous cellular automata for pomsets without auto-concurrency
CONCUR '96: Concurrency Theory | 2023-06-28 | Paper |
| scientific article; zbMATH DE number 7650335 (Why is no real title available?) | 2023-02-03 | Paper |
scientific article; zbMATH DE number 7561720 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-21 | Paper |
Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata
Information and Computation | 2022-06-08 | Paper |
Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids
Theoretical Computer Science | 2022-05-10 | Paper |
Semirings and Formal Power Series
Monographs in Theoretical Computer Science. An EATCS Series | 2022-04-28 | Paper |
Weighted automata and weighted logics
Monographs in Theoretical Computer Science. An EATCS Series | 2022-04-28 | Paper |
| Weighted automata | 2022-02-04 | Paper |
Weighted operator precedence languages
Information and Computation | 2022-01-06 | Paper |
Weighted operator precedence languages
Information and Computation | 2022-01-06 | Paper |
Logic for \(\omega\)-pushdown automata
Information and Computation | 2022-01-06 | Paper |
| MK-fuzzy automata and MSO logics | 2021-12-14 | Paper |
| The triple-pair construction for weighted \(\omega\)-pushdown automata | 2021-12-13 | Paper |
The triple-pair construction for weighted \(\omega\)-pushdown automata
(available as arXiv preprint) | 2021-12-13 | Paper |
| Weighted linear dynamic logic | 2021-12-07 | Paper |
Weighted linear dynamic logic
(available as arXiv preprint) | 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
Groups, Modules, and Model Theory - Surveys and Recent Developments | 2020-07-14 | Paper |
| Weighted operator precedence languages | 2020-05-26 | Paper |
McCarthy-Kleene fuzzy automata and MSO logics
Information and Computation | 2020-05-26 | Paper |
A Nivat theorem for quantitative automata on unranked trees
Lecture Notes in Computer Science | 2020-02-24 | Paper |
Model checking of linear-time properties in multi-valued systems
Information Sciences | 2020-01-07 | Paper |
A Kleene theorem for weighted tree automata over tree valuation monoids
Information and Computation | 2019-12-18 | Paper |
Weighted automata with storage
Information and Computation | 2019-12-18 | Paper |
A Nivat theorem for weighted picture automata and weighted MSO logics
Journal of Computer and System Sciences | 2019-06-25 | Paper |
Weighted simple reset pushdown automata
Theoretical Computer Science | 2019-06-18 | Paper |
A kleene theorem for recognizable languages over concurrency monoids
Automata, Languages and Programming | 2019-04-29 | Paper |
From domains to automata with concurrency
Automata, Languages and Programming | 2019-03-29 | Paper |
Weighted register automata and weighted logic on data words
Theoretical Computer Science | 2018-09-24 | Paper |
On recognizable and rational formal power series in partially commuting variables
Automata, Languages and Programming | 2018-07-04 | Paper |
Weighted omega-restricted one counter automata
(available as arXiv preprint) | 2018-04-25 | Paper |
Dependence orders for computations of concurrent automata
STACS 95 | 2017-12-04 | Paper |
A Kleene theorem for weighted \(\omega\)-pushdown automata
Acta Cybernetica | 2017-08-25 | Paper |
| Zoltán Ésik (1951 - 2016) - In Memoriam. | 2017-06-13 | Paper |
Weighted automata and logics for infinite nested words
Information and Computation | 2017-03-16 | Paper |
Multi-weighted automata and MSO logic
Theory of Computing Systems | 2017-01-18 | Paper |
Weighted register automata and weighted logic on data words
Theoretical Aspects of Computing – ICTAC 2016 | 2016-12-21 | Paper |
The supports of weighted unranked tree automata
Fundamenta Informaticae | 2016-05-11 | Paper |
A weighted MSO logic with storage behaviour and its Büchi-Elgot-Trakhtenbrot theorem
Language and Automata Theory and Applications | 2016-04-13 | Paper |
A Kleene theorem for weighted tree automata over tree valuation monoids
Language and Automata Theory and Applications | 2016-04-13 | Paper |
A Nivat theorem for weighted picture automata and weighted MSO logic
Language and Automata Theory and Applications | 2016-04-08 | Paper |
A logical characterization of timed pushdown languages
Lecture Notes in Computer Science | 2015-10-20 | Paper |
Weighted unranked tree automata over tree valuation monoids and their characterization by weighted logics
Algebraic Informatics | 2015-09-22 | Paper |
Logics for weighted timed pushdown automata
Fields of Logic and Computation II | 2015-09-22 | Paper |
Weighted automata and logics on graphs
Mathematical Foundations of Computer Science 2015 | 2015-09-16 | Paper |
Almost every domain is universal
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
Recognizable and logically definable languages of infinite computations in concurrent automata
International Journal of Foundations of Computer Science | 2015-04-29 | Paper |
The Chomsky-Schützenberger theorem for quantitative context-free languages
International Journal of Foundations of Computer Science | 2015-04-23 | Paper |
Weighted nested word automata and logics over strong bimonoids
International Journal of Foundations of Computer Science | 2014-11-14 | Paper |
Conway and iteration hemirings. II.
International Journal of Algebra and Computation | 2014-08-19 | Paper |
Conway and iteration hemirings. I.
International Journal of Algebra and Computation | 2014-08-19 | Paper |
A Nivat theorem for weighted timed automata and weighted relative distance logic
Automata, Languages, and Programming | 2014-07-01 | Paper |
Weighted automata and logics for infinite nested words
Lecture Notes in Computer Science | 2014-03-31 | Paper |
Weighted finite automata over hemirings
Theoretical Computer Science | 2014-01-07 | Paper |
The normal subsemigroups of the monoid of injective maps.
Semigroup Forum | 2013-11-22 | Paper |
The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages
Developments in Language Theory | 2013-06-28 | Paper |
Multi-weighted automata and MSO logic
Lecture Notes in Computer Science | 2013-06-14 | Paper |
Weighted automata and weighted MSO logics for average and long-time behaviors
Information and Computation | 2013-01-17 | Paper |
| scientific article; zbMATH DE number 6114417 (Why is no real title available?) | 2012-12-08 | Paper |
Weighted nested word automata and logics over strong bimonoids
Implementation and Application of Automata | 2012-09-20 | Paper |
Weighted automata and regular expressions over valuation monoids
International Journal of Foundations of Computer Science | 2012-03-13 | Paper |
Weighted automata and multi-valued logics over arbitrary bounded lattices
Theoretical Computer Science | 2012-03-13 | Paper |
The uncountable cofinality of the automorphism group of the countable universal distributive lattice
Demonstratio Mathematica | 2011-12-01 | Paper |
Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics
Algebraic Foundations in Computer Science | 2011-11-11 | Paper |
Countable random 𝑝-groups with prescribed Ulm-invariants
Proceedings of the American Mathematical Society | 2011-10-11 | Paper |
A cascade decomposition of weighted finite transition systems
Developments in Language Theory | 2011-07-29 | Paper |
Automorphism groups of totally ordered sets: a retrospective survey
Mathematica Slovaca | 2011-07-15 | Paper |
Weighted logics for unranked tree automata
Theory of Computing Systems | 2011-04-01 | Paper |
A Kleene-Schützenberger theorem for weighted timed automata
Theoretical Computer Science | 2011-03-14 | Paper |
Regular Expressions on Average and in the Long Run
Implementation and Application of Automata | 2011-02-11 | Paper |
On extension of coverings
Bulletin of the London Mathematical Society | 2011-01-10 | Paper |
Determinization of weighted finite automata over strong bimonoids
Information Sciences | 2010-09-08 | Paper |
Describing average- and longtime-behavior by weighted MSO logics
Mathematical Foundations of Computer Science 2010 | 2010-09-03 | Paper |
Kleene and Büchi theorems for weighted automata and multi-valued logics over arbitrary bounded lattices
Developments in Language Theory | 2010-08-31 | Paper |
Stabilizers of direct composition series.
Algebra Universalis | 2010-08-13 | Paper |
Uncountable cofinalities of automorphism groups of linear and partial orders
Algebra Universalis | 2010-06-16 | Paper |
Weighted automata with discounting
Information Processing Letters | 2010-04-19 | Paper |
Weighted automata and weighted logics on infinite words
Russian Mathematics | 2010-02-05 | Paper |
Weighted finite automata over strong bimonoids
Information Sciences | 2010-01-28 | Paper |
Weighted automata and weighted logics with discounting
Theoretical Computer Science | 2009-09-14 | Paper |
Construction of some uncountable 2-arc-transitive bipartite graphs
Order | 2009-04-24 | Paper |
Weighted Automata and Weighted Logics on Infinite Words
Developments in Language Theory | 2009-03-26 | Paper |
| scientific article; zbMATH DE number 5366670 (Why is no real title available?) | 2008-11-17 | Paper |
On full groups of measure-preserving and ergodic transformations with uncountable cofinalities
Bulletin of the London Mathematical Society | 2008-06-11 | Paper |
Weighted Automata and Weighted Logics with Discounting
Implementation and Application of Automata | 2008-06-10 | Paper |
On aperiodic and star-free formal power series in partially commuting variables
Theory of Computing Systems | 2008-06-06 | Paper |
A Kleene-Schützenberger Theorem for Weighted Timed Automata
Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
Absolute graphs with prescribed endomorphism monoid
Semigroup Forum | 2008-04-09 | Paper |
Normal subgroups of \(\text B_{u}\text {Aut}(\Omega )\)
Applied Categorical Structures | 2007-08-17 | Paper |
Weighted automata and weighted logics
Theoretical Computer Science | 2007-07-16 | Paper |
ON WEIGHTED BÜCHI AUTOMATA WITH ORDER-COMPLETE WEIGHTS
International Journal of Algebra and Computation | 2007-07-13 | Paper |
Universal homogeneous causal sets
Journal of Mathematical Physics | 2007-05-16 | Paper |
Weighted tree automata and weighted logics
Theoretical Computer Science | 2007-01-09 | Paper |
Skew and infinitary formal power series
Theoretical Computer Science | 2007-01-09 | Paper |
On representing words in the automorphism group of the random graph
Journal of Group Theory | 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
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Generating automorphism groups of chains
Forum Mathematicum | 2005-09-28 | Paper |
UNCOUNTABLE COFINALITIES OF PERMUTATION GROUPS
Journal of the London Mathematical Society | 2005-05-23 | Paper |
A Kleene theorem for weighted tree automata
Theory of Computing Systems | 2005-02-24 | Paper |
| scientific article; zbMATH DE number 2038728 (Why is no real title available?) | 2004-02-08 | Paper |
| scientific article; zbMATH DE number 1995178 (Why is no real title available?) | 2003-10-21 | Paper |
| scientific article; zbMATH DE number 1973130 (Why is no real title available?) | 2003-09-01 | Paper |
On random relational structures
Journal of Combinatorial Theory. Series A | 2003-07-01 | Paper |
The automorphism group of the universal distributive lattice
Algebra Universalis | 2003-04-23 | Paper |
The Kleene-Schützenberger theorem for formal power series in partially commuting variables.
Information and Computation | 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
Bulletin of the London Mathematical Society | 2002-10-22 | Paper |
ALL GROUPS ARE OUTER AUTOMORPHISM GROUPS OF SIMPLE GROUPS
Journal of the London Mathematical Society | 2002-10-22 | Paper |
From Petri nets to automata with concurrency
Applied Categorical Structures | 2002-08-19 | Paper |
Outer automorphism groups of ordered permutation groups
Forum Mathematicum | 2002-06-05 | Paper |
Recognizable languages in divisibility monoids
Mathematical Structures in Computer Science | 2002-06-05 | Paper |
Universal homogeneous graph-like structures and domains
Mathematical Structures in Computer Science | 2002-01-01 | Paper |
Complementary closed relational clones are not always Krasner clones
Algebra Universalis | 2001-12-16 | Paper |
Rigid chains admitting many embeddings
Proceedings of the American Mathematical Society | 2001-03-20 | Paper |
Asynchronous cellular automata for pomsets
Theoretical Computer Science | 2000-10-26 | Paper |
On homogeneous semilattices and their automorphism groups
Order | 2000-10-08 | Paper |
| scientific article; zbMATH DE number 1504580 (Why is no real title available?) | 2000-09-12 | Paper |
| scientific article; zbMATH DE number 1405559 (Why is no real title available?) | 2000-02-23 | Paper |
| scientific article; zbMATH DE number 1390068 (Why is no real title available?) | 2000-01-17 | Paper |
| scientific article; zbMATH DE number 1354173 (Why is no real title available?) | 1999-10-28 | Paper |
| scientific article; zbMATH DE number 1254501 (Why is no real title available?) | 1999-06-15 | Paper |
Representation of computations in concurrent automata by dependence orders
Theoretical Computer Science | 1998-10-22 | Paper |
Set-homogeneous graphs and embeddings of total orders
Order | 1997-12-11 | Paper |
| scientific article; zbMATH DE number 1008468 (Why is no real title available?) | 1997-10-29 | Paper |
Recognizable languages in concurrency monoids
Theoretical Computer Science | 1997-02-28 | Paper |
Aperiodic languages in concurrency monoids
Information and Computation | 1996-12-12 | Paper |
McLain groups over arbitrary rings and orderings
Mathematical Proceedings of the Cambridge Philosophical Society | 1996-06-10 | Paper |
Periodic ordered permutation groups and cyclic orderings
Journal of Combinatorial Theory. Series B | 1995-07-02 | Paper |
Labelled domains and automata with concurrency
Theoretical Computer Science | 1995-04-06 | Paper |
Representations of free lattice-ordered groups
Order | 1995-01-03 | Paper |
Set-homogeneous graphs
Journal of Combinatorial Theory. Series B | 1994-09-13 | Paper |
| scientific article; zbMATH DE number 554482 (Why is no real title available?) | 1994-04-19 | Paper |
Universal domains and the amalgamation property
Mathematical Structures in Computer Science | 1994-02-16 | Paper |
On stable domains
Theoretical Computer Science | 1993-12-15 | Paper |
| scientific article; zbMATH DE number 177814 (Why is no real title available?) | 1993-05-18 | Paper |
CONCURRENT AUTOMATA AND DOMAINS
International Journal of Foundations of Computer Science | 1993-05-16 | Paper |
| scientific article; zbMATH DE number 125200 (Why is no real title available?) | 1993-02-21 | Paper |
Automorphism Groups of Homogeneous Semilinear Orders: Normal Subgroups and Commutators
Canadian Journal of Mathematics | 1992-09-27 | Paper |
Finite Axiomatizations for Universal Domains
Journal Of Logic And Computation | 1992-09-27 | Paper |
Commutators in groups of order-preserving permutations
Glasgow Mathematical Journal | 1992-06-25 | Paper |
Universal homogeneous event structures and domains
Information and Computation | 1992-06-25 | Paper |
SUBGROUPS OF SMALL INDEX IN ORDERED PERMUTATION GROUPS
The Quarterly Journal of Mathematics | 1991-01-01 | Paper |
On k-homogeneous posets and graphs
Journal of Combinatorial Theory. Series A | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4193975 (Why is no real title available?) | 1990-01-01 | Paper |
UNIVERSAL INFORMATION SYSTEMS
International Journal of Foundations of Computer Science | 1990-01-01 | Paper |
Non-deterministic information systems and their domains
Theoretical Computer Science | 1990-01-01 | Paper |
k - HOMOGENEOUS RELATIONS AND TOURNAMENTS
The Quarterly Journal of Mathematics | 1989-01-01 | Paper |
The existence of rigid measurable spaces
Topology and its Applications | 1989-01-01 | Paper |
Embeddings into Simple Lattice-ordered Groups with Different First Order Theories
Forum Mathematicum | 1989-01-01 | Paper |
Automorphism Groups of Infinite Semilinear Orders (I)
Proceedings of the London Mathematical Society | 1989-01-01 | Paper |
Automorphism Groups of Infinite Semilinear Orders (II)
Proceedings of the London Mathematical Society | 1989-01-01 | Paper |
Event structures and domains
Theoretical Computer Science | 1989-01-01 | Paper |
Recursive domain equations for concrete data structure
Information and Computation | 1989-01-01 | Paper |
The root system of prime subgroups of a free lattice-ordered group (without G.C.H.)
Order | 1989-01-01 | Paper |
Normal subgroups and elementary theories of lattice-ordered groups
Order | 1988-01-01 | Paper |
| Super-Rigid Families of Strongly Blackwell Spaces | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4063167 (Why is no real title available?) | 1988-01-01 | Paper |
Partially Ordered Sets with Transitive Automorphism Groups
Proceedings of the London Mathematical Society | 1987-01-01 | Paper |
| Squares of Conjugacy Classes in the Infinite Symmetric Groups | 1987-01-01 | Paper |
Ordinal scales in the theory of measurement
Journal of Mathematical Psychology | 1987-01-01 | Paper |
On the universality of systems of words in permutation groups
Pacific Journal of Mathematics | 1987-01-01 | Paper |
Completeness properties of certain normal subgroup lattices
European Journal of Combinatorics | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3999733 (Why is no real title available?) | 1987-01-01 | Paper |
Complete embeddings of linear orderings and embeddings of lattice-ordered groups
Israel Journal of Mathematics | 1986-01-01 | Paper |
| On the Universality of Words for the Alternating Groups | 1986-01-01 | Paper |
Classes of universal words for the infinite symmetric groups
Algebra Universalis | 1985-01-01 | Paper |
The normal subgroup lattice of 2-transitive automorphism groups of linearly ordered sets
Order | 1985-01-01 | Paper |
A construction of all normal subgroup lattices of 2-transitive automorphism groups of linearly ordered sets
Israel Journal of Mathematics | 1985-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
Memoirs of the American Mathematical Society | 1985-01-01 | Paper |
| Normal Subgroups of Doubly Transitive Automorphism Groups of Chains | 1985-01-01 | Paper |
On an extendability problem for measures
Manuscripta Mathematica | 1984-01-01 | Paper |
Products of conjugacy classes of the infinite symmetric groups
Discrete Mathematics | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3817979 (Why is no real title available?) | 1982-01-01 | Paper |
Products of conjugate permutations
Pacific Journal of Mathematics | 1981-01-01 | Paper |
Über k-homogene unendliche Permutationsgruppen
Archiv der Mathematik | 1980-01-01 | Paper |
On a theorem of Baer, Schreier, and Ulam for permutations
Journal of Algebra | 1979-01-01 | Paper |
Logical Characterizations of Weighted Complexity Classes
(available as arXiv preprint) | N/A | Paper |
