| Publication | Date of Publication | Type |
|---|
Undecidability of the universal support problem for weighted automata over zero-sum-free commutative semirings
Theoretical Computer Science | 2024-06-03 | Paper |
On the multiplicity equivalence problem for context-free grammars
Lecture Notes in Computer Science | 2024-01-29 | Paper |
The Triple-Pair Construction for Weighted ω-Pushdown Automata
International Journal of Foundations of Computer Science | 2023-08-15 | Paper |
| scientific article; zbMATH DE number 7650335 (Why is no real title available?) | 2023-02-03 | Paper |
A GENERALIZATION OF KOZEN'S AXIOMATIZATION OF THE EQUATIONAL THEORY OF THE REGULAR SETS
Words, Semigroups, and Transductions | 2022-12-06 | Paper |
Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata
Information and Computation | 2022-06-08 | Paper |
Semirings and Formal Power Series
Monographs in Theoretical Computer Science. An EATCS Series | 2022-04-28 | Paper |
Finite automata
Monographs in Theoretical Computer Science. An EATCS Series | 2022-04-28 | Paper |
Logic for \(\omega\)-pushdown automata
Information and Computation | 2022-01-06 | 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 simple reset pushdown automata
Theoretical Computer Science | 2019-06-18 | Paper |
The algebraic equivalent of AFL theory
Automata, Languages and Programming | 2019-01-10 | Paper |
Solving fixed point equations over complete semirings
The Role of Theory in Computer Science | 2018-09-20 | Paper |
Weighted omega-restricted one counter automata
(available as arXiv preprint) | 2018-04-25 | Paper |
Continuous semiring-semimodule pairs and mixed algebraic systems
Acta Cybernetica | 2017-08-25 | 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 |
Why we need semirings in automata theory (extended abstract)
Algebraic Informatics | 2015-09-22 | Paper |
On power series over a graded monoid
Computing with New Resources | 2015-09-08 | 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 |
Weighted finite automata over hemirings
Theoretical Computer Science | 2014-01-07 | Paper |
Free inductive \(K\)-semialgebras
The Journal of Logic and Algebraic Programming | 2013-12-06 | Paper |
Linear languages of finite and infinite words
Automata, Formal Languages and Algebraic Systems | 2013-06-03 | Paper |
Free iterative and iteration \(K\)-semialgebras
Algebra Universalis | 2012-05-03 | Paper |
Algebraic systems and pushdown automata
Algebraic Foundations in Computer Science | 2011-11-11 | Paper |
A unifying Kleene theorem for weighted finite automata
Lecture Notes in Computer Science | 2011-05-27 | Paper |
Fundamentals of Computation Theory
Lecture Notes in Computer Science | 2010-04-20 | Paper |
BOOLEAN FUZZY SETS
International Journal of Foundations of Computer Science | 2010-01-29 | Paper |
Cycle-Free Finite Automata in Partial Iterative Semirings
Algebraic Informatics | 2009-11-05 | Paper |
| scientific article; zbMATH DE number 5499328 (Why is no real title available?) | 2009-01-28 | Paper |
| scientific article; zbMATH DE number 5366670 (Why is no real title available?) | 2008-11-17 | Paper |
| A semiring-semimodule generalization of transducers and abstract \(\omega\)-families of power series | 2008-07-29 | Paper |
On iteration semiring-semimodule pairs.
Semigroup Forum | 2007-11-14 | Paper |
| Kleene theorems for skew formal power series | 2007-10-26 | Paper |
| Heyting algebras and formal languages | 2007-10-25 | Paper |
| Rationally additive semirings. | 2007-10-17 | Paper |
| scientific article; zbMATH DE number 5141497 (Why is no real title available?) | 2007-04-10 | Paper |
| scientific article; zbMATH DE number 5141498 (Why is no real title available?) | 2007-04-10 | Paper |
Fuzzy regular languages over finite and infinite words
Fuzzy Sets and Systems | 2006-06-16 | Paper |
Mathematical Foundations of Computer Science 2004
Lecture Notes in Computer Science | 2005-08-22 | Paper |
| scientific article; zbMATH DE number 2150281 (Why is no real title available?) | 2005-03-30 | Paper |
Theory Is Forever
Lecture Notes in Computer Science | 2005-01-18 | Paper |
Inductive \(^{*}\)-semirings
Theoretical Computer Science | 2004-10-01 | Paper |
| scientific article; zbMATH DE number 2040322 (Why is no real title available?) | 2004-02-11 | Paper |
| scientific article; zbMATH DE number 1870551 (Why is no real title available?) | 2003-02-18 | Paper |
Pushdown tree automata, algebraic tree systems, and algebraic tree series
Information and Computation | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1839445 (Why is no real title available?) | 2002-12-02 | Paper |
Locally closed semirings
Monatshefte für Mathematik | 2002-12-01 | Paper |
| scientific article; zbMATH DE number 1836428 (Why is no real title available?) | 2002-11-27 | Paper |
Formal series over sorted algebras
Discrete Mathematics | 2002-08-29 | Paper |
| scientific article; zbMATH DE number 1759435 (Why is no real title available?) | 2002-06-25 | Paper |
Atoms and partial orders of infinite languages
RAIRO - Theoretical Informatics and Applications | 2002-05-14 | Paper |
Atoms and partial orders of infinite languages
RAIRO - Theoretical Informatics and Applications | 2002-05-14 | Paper |
Atoms and partial orders of infinite languages
RAIRO - Theoretical Informatics and Applications | 2002-05-14 | Paper |
| Forty years of formal power series in automata theory | 2002-02-28 | Paper |
| scientific article; zbMATH DE number 1501607 (Why is no real title available?) | 2001-05-06 | Paper |
| scientific article; zbMATH DE number 1542829 (Why is no real title available?) | 2001-02-26 | Paper |
| scientific article; zbMATH DE number 1522661 (Why is no real title available?) | 2000-10-30 | Paper |
| scientific article; zbMATH DE number 1419226 (Why is no real title available?) | 2000-07-20 | Paper |
On certain closure operators defined by families of semiring morphisms
Journal of Algebra | 2000-05-25 | Paper |
| scientific article; zbMATH DE number 1361491 (Why is no real title available?) | 2000-03-21 | Paper |
| scientific article; zbMATH DE number 1408341 (Why is no real title available?) | 2000-02-29 | Paper |
| scientific article; zbMATH DE number 1354999 (Why is no real title available?) | 1999-10-31 | Paper |
| scientific article; zbMATH DE number 1222586 (Why is no real title available?) | 1999-08-03 | Paper |
CONES AND ABSTRACT FAMILIES OF ELEMENTS
Demonstratio Mathematica | 1998-12-10 | Paper |
On Lindenmayerian algebraic power series
Theoretical Computer Science | 1998-07-22 | Paper |
| scientific article; zbMATH DE number 1101592 (Why is no real title available?) | 1998-01-07 | Paper |
Representations and complete semiring morphisms
Information Processing Letters | 1997-02-28 | Paper |
| scientific article; zbMATH DE number 871241 (Why is no real title available?) | 1996-08-13 | Paper |
| scientific article; zbMATH DE number 19616 (Why is no real title available?) | 1992-06-26 | Paper |
Automata and languages generalized to \(\omega\)-continuous semirings
Theoretical Computer Science | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4100617 (Why is no real title available?) | 1989-01-01 | Paper |
Matrix systems and principal cones of algebraic power series
Theoretical Computer Science | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4187112 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4014944 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4094825 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4014050 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3932372 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4014049 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4016220 (Why is no real title available?) | 1985-01-01 | Paper |
Semitopological semirings and pushdown automata
Mathematical Systems Theory | 1984-01-01 | Paper |
Infinite linear systems and one counter languages
Theoretical Computer Science | 1983-01-01 | Paper |
An algebraic characterization of some principal regulated rational cones
Journal of Computer and System Sciences | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3733277 (Why is no real title available?) | 1981-01-01 | Paper |
The characterization of nonexpansive grammars by rational power series
Information and Control | 1981-01-01 | Paper |
The characterization of parallel ultralinear grammars by rational power series
Acta Informatica | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3716828 (Why is no real title available?) | 1981-01-01 | Paper |
Generating functions for derivation trees
Information and Control | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3688751 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3637299 (Why is no real title available?) | 1979-01-01 | Paper |
The structure generating function of some families of languages
Information and Control | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3392372 (Why is no real title available?) | 1972-01-01 | Paper |
The complexity of skewlinear tuple languages and o-regular languages
Information and Control | 1971-01-01 | Paper |
A contect-free language and enumeration problems on infinite trees and digraphs
Journal of Combinatorial Theory. Series B | 1971-01-01 | Paper |
On the inherent ambiguity of simple tuple languages
Computing | 1971-01-01 | Paper |
The structure generating function and entropy of tuple languages
Information and Control | 1971-01-01 | Paper |
On the entropy of context-free languages
Information and Control | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3321968 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3307588 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3356181 (Why is no real title available?) | 1970-01-01 | Paper |
On the convergence parameter of infinite non-negative matrices
Monatshefte für Mathematik | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3362978 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3273884 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3308122 (Why is no real title available?) | 1969-01-01 | Paper |
Quasi-block-stochastic matrices
Pacific Journal of Mathematics | 1968-01-01 | Paper |
Block-statistic matrices and associated finite-state languages
Computing | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3322658 (Why is no real title available?) | 1965-01-01 | Paper |
