| Publication | Date of Publication | Type |
|---|
Weighted Linear Dynamic Logic
International Journal of Foundations of Computer Science | 2024-02-16 | Paper |
Modelling Uncertainty in Architectures of Parametric Component-Based Systems
International Journal of Foundations of Computer Science | 2023-10-13 | Paper |
Weighted context-free grammars over bimonoids
Scientific Annals of Computer Science | 2022-07-19 | Paper |
Fuzzy languages
Monographs in Theoretical Computer Science. An EATCS Series | 2022-04-28 | Paper |
scientific article; zbMATH DE number 7471686 (Why is no real title available?)
(available as arXiv preprint) | 2022-02-09 | Paper |
| scientific article; zbMATH DE number 7471686 (Why is no real title available?) | 2022-02-09 | Paper |
Weighted propositional configuration logics: a specification language for architectures with quantitative features
Information and Computation | 2022-01-06 | Paper |
| MK-fuzzy automata and MSO logics | 2021-12-14 | Paper |
| Weighted linear dynamic logic | 2021-12-07 | Paper |
Weighted linear dynamic logic
(available as arXiv preprint) | 2021-12-07 | Paper |
McCarthy-Kleene fuzzy automata and MSO logics
Information and Computation | 2020-05-26 | Paper |
Stochastic semantics
Fundamenta Informaticae | 2017-11-10 | Paper |
Weighted recognizability over infinite alphabets
Acta Cybernetica | 2017-08-25 | Paper |
Weighted first-order logics over semirings
Acta Cybernetica | 2016-05-03 | Paper |
Weighted variable automata over infinite alphabets
Implementation and Application of Automata | 2014-09-26 | Paper |
On weighted first-order logics with discounting
Acta Informatica | 2014-06-12 | Paper |
Characterizations of Weighted First-Order Logics over Semirings
Algebraic Informatics | 2013-09-20 | Paper |
Stochastic equationality
Algebraic Informatics | 2013-09-20 | Paper |
Equational weighted tree transformations
Acta Informatica | 2012-03-23 | Paper |
Equational weighted tree transformations with discounting
Algebraic Foundations in Computer Science | 2011-11-11 | Paper |
Equational tree transformations
Theoretical Computer Science | 2011-07-14 | Paper |
Variable tree automata over infinite ranked alphabets
Algebraic Informatics | 2011-07-08 | Paper |
| scientific article; zbMATH DE number 5854945 (Why is no real title available?) | 2011-02-22 | Paper |
Weighted automata and weighted logics on infinite words
Russian Mathematics | 2010-02-05 | Paper |
Weighted automata and weighted logics with discounting
Theoretical Computer Science | 2009-09-14 | 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 |
| Weighted Muller tree automata and weighted logics | 2008-07-29 | Paper |
Weighted Automata and Weighted Logics with Discounting
Implementation and Application of Automata | 2008-06-10 | Paper |
| scientific article; zbMATH DE number 5141496 (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 |
Infinite fuzzy computations
Fuzzy Sets and Systems | 2005-08-22 | Paper |
| scientific article; zbMATH DE number 2050955 (Why is no real title available?) | 2004-03-07 | Paper |
| scientific article; zbMATH DE number 2040925 (Why is no real title available?) | 2004-02-11 | Paper |
Alphabetic and synchronized tree transducers
Theoretical Computer Science | 2001-08-20 | Paper |
| scientific article; zbMATH DE number 1543320 (Why is no real title available?) | 2001-02-27 | Paper |
| scientific article; zbMATH DE number 1337729 (Why is no real title available?) | 1999-11-11 | Paper |
On two families of forests
Acta Informatica | 1994-06-02 | Paper |
