George Rahonis

From MaRDI portal
Person:551197

Available identifiers

zbMath Open rahonis.georgeMaRDI QIDQ551197

List of research outcomes





PublicationDate of PublicationType
Weighted Linear Dynamic Logic2024-02-16Paper
Modelling Uncertainty in Architectures of Parametric Component-Based Systems2023-10-13Paper
Weighted Context-Free Grammars Over Bimonoids2022-07-19Paper
Fuzzy Languages2022-04-28Paper
https://portal.mardi4nfdi.de/entity/Q50284482022-02-09Paper
Weighted propositional configuration logics: a specification language for architectures with quantitative features2022-01-06Paper
https://portal.mardi4nfdi.de/entity/Q33841662021-12-14Paper
https://portal.mardi4nfdi.de/entity/Q50152752021-12-07Paper
McCarthy-Kleene fuzzy automata and MSO logics2020-05-26Paper
Stochastic Semantics2017-11-10Paper
Weighted Recognizability over Infinite Alphabets2017-08-25Paper
Weighted first-order logics over semirings2016-05-03Paper
Weighted Variable Automata over Infinite Alphabets2014-09-26Paper
On weighted first-order logics with discounting2014-06-12Paper
Characterizations of Weighted First-Order Logics over Semirings2013-09-20Paper
Stochastic Equationality2013-09-20Paper
Equational weighted tree transformations2012-03-23Paper
Equational Weighted Tree Transformations with Discounting2011-11-11Paper
Equational tree transformations2011-07-14Paper
Variable Tree Automata over Infinite Ranked Alphabets2011-07-08Paper
https://portal.mardi4nfdi.de/entity/Q30771932011-02-22Paper
Weighted automata and weighted logics on infinite words2010-02-05Paper
Weighted automata and weighted logics with discounting2009-09-14Paper
Weighted Automata and Weighted Logics on Infinite Words2009-03-26Paper
https://portal.mardi4nfdi.de/entity/Q35360792008-11-17Paper
https://portal.mardi4nfdi.de/entity/Q35152232008-07-29Paper
Weighted Automata and Weighted Logics with Discounting2008-06-10Paper
https://portal.mardi4nfdi.de/entity/Q34314772007-04-10Paper
Fuzzy regular languages over finite and infinite words2006-06-16Paper
Infinite fuzzy computations2005-08-22Paper
https://portal.mardi4nfdi.de/entity/Q44532302004-03-07Paper
https://portal.mardi4nfdi.de/entity/Q44520812004-02-11Paper
Alphabetic and synchronized tree transducers2001-08-20Paper
https://portal.mardi4nfdi.de/entity/Q45207912001-02-27Paper
https://portal.mardi4nfdi.de/entity/Q42640991999-11-11Paper
On two families of forests1994-06-02Paper

Research outcomes over time

This page was built for person: George Rahonis