George Rahonis

Available identifiers

zbMath Open rahonis.georgeMaRDI QIDQ551197

List of research outcomes

Publication	Date of Publication	Type
Weighted Linear Dynamic Logic	2024-02-16	Paper
Modelling Uncertainty in Architectures of Parametric Component-Based Systems	2023-10-13	Paper
Weighted context-free grammars over bimonoids	2022-07-19	Paper
Fuzzy languages	2022-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q5028448	2022-02-09	Paper
Weighted propositional configuration logics: a specification language for architectures with quantitative features	2022-01-06	Paper
MK-fuzzy automata and MSO logics	2021-12-14	Paper
Weighted linear dynamic logic	2021-12-07	Paper
McCarthy-Kleene fuzzy automata and MSO logics	2020-05-26	Paper
Stochastic semantics	2017-11-10	Paper
Weighted recognizability over infinite alphabets	2017-08-25	Paper
Weighted first-order logics over semirings	2016-05-03	Paper
Weighted variable automata over infinite alphabets	2014-09-26	Paper
On weighted first-order logics with discounting	2014-06-12	Paper
Characterizations of Weighted First-Order Logics over Semirings	2013-09-20	Paper
Stochastic equationality	2013-09-20	Paper
Equational weighted tree transformations	2012-03-23	Paper
Equational weighted tree transformations with discounting	2011-11-11	Paper
Equational tree transformations	2011-07-14	Paper
Variable tree automata over infinite ranked alphabets	2011-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q3077193	2011-02-22	Paper
Weighted automata and weighted logics on infinite words	2010-02-05	Paper
Weighted automata and weighted logics with discounting	2009-09-14	Paper
Weighted Automata and Weighted Logics on Infinite Words	2009-03-26	Paper
https://portal.mardi4nfdi.de/entity/Q3536079	2008-11-17	Paper
Weighted Muller tree automata and weighted logics	2008-07-29	Paper
Weighted Automata and Weighted Logics with Discounting	2008-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q3431477	2007-04-10	Paper
Fuzzy regular languages over finite and infinite words	2006-06-16	Paper
Infinite fuzzy computations	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4453230	2004-03-07	Paper
https://portal.mardi4nfdi.de/entity/Q4452081	2004-02-11	Paper
Alphabetic and synchronized tree transducers	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4520791	2001-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4264099	1999-11-11	Paper
On two families of forests	1994-06-02	Paper

Research outcomes over time

This page was built for person: George Rahonis