George Rahonis

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 19

Top Topics

Propositional Calculus

Top Venues

Int. J. Found. Comput. Sci.

Publications

Zoltán Fülöp, George Rahonis, Kai Salomaa
Special Issue: Articles Dedicated to the Memory of Magnus Steinby - Preface. Int. J. Found. Comput. Sci. 35 (1&2) (2024)
Dimitrios Poulakis, George Rahonis
Special issue: Selected papers of the 9th International Conference on Algebraic Informatics, CAI 2022. Inf. Comput. 299 (2024)
Manfred Droste, Gustav Grabolle, George Rahonis
Weighted Linear Dynamic Logic. Int. J. Found. Comput. Sci. 35 (1&2) (2024)
Maria Pittou, George Rahonis
Modelling Uncertainty in Architectures of Parametric Component-Based Systems. Int. J. Found. Comput. Sci. 34 (6) (2023)
Manfred Droste, George Rahonis, Arto Salomaa
Special Issue: International Colloquium: Recent Advances of Quantitative Models in Computer Science (RAQM 2021) - Preface. Int. J. Found. Comput. Sci. 34 (6) (2023)
George Rahonis, Melpomeni Soula
Dynamic reconfiguration of component-based systems described by propositional configuration logic. CoRR (2023)
Paulina Paraponiari, George Rahonis
Weighted propositional configuration logics: A specification language for architectures with quantitative features. Inf. Comput. 282 (2022)
Maria Pittou, George Rahonis
Architectures in parametric component-based systems: Qualitative and quantitative modelling. Log. Methods Comput. Sci. 17 (4) (2021)
Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner
McCarthy-Kleene fuzzy automata and MSO logics. Inf. Comput. 272 (2020)
Maria Pittou, George Rahonis
Architecture Modelling of Parametric Component-Based Systems. COORDINATION (2020)
George Rahonis, Faidra Torpari
Weighted Context-Free Grammars Over Bimonoids. Sci. Ann. Comput. Sci. 29 (1) (2019)
Maria Pittou, George Rahonis
Weighted parametric systems: Modelling and architecture. CoRR (2019)
Maria Pittou, George Rahonis
Architecture specification of parametric component-based systems. CoRR (2019)
Maria Pittou, George Rahonis
Weighted Recognizability over Infinite Alphabets. Acta Cybern. 23 (1) (2017)
Symeon Bozapalidis, George Rahonis
Stochastic Semantics. Fundam. Informaticae 150 (2) (2017)
Paulina Paraponiari, George Rahonis
On Weighted Configuration Logics. FACS (2017)
Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner
MK-fuzzy Automata and MSO Logics. GandALF (2017)
Paulina Paraponiari, George Rahonis
On weighted configuration logics. CoRR (2017)
Manfred Droste, George Rahonis
Weighted Linear Dynamic Logic. GandALF (2016)
Eleni Mandrali, George Rahonis
Weighted First-Order Logics over Semirings. Acta Cybern. 22 (2) (2015)
Eleni Mandrali, George Rahonis
On weighted first-order logics with discounting. Acta Informatica 51 (2) (2014)
Maria Pittou, George Rahonis
Weighted Variable Automata over Infinite Alphabets. CIAA (2014)
Eleni Mandrali, George Rahonis
Characterizations of Weighted First-Order Logics over Semirings. CAI (2013)
Symeon Bozapalidis, George Rahonis
Stochastic Equationality. CAI (2013)
Symeon Bozapalidis, Zoltán Fülöp, George Rahonis
Equational weighted tree transformations. Acta Informatica 49 (1) (2012)
Irini-Eleftheria Mens, George Rahonis
Variable Tree Automata over Infinite Ranked Alphabets. CAI (2011)
Symeon Bozapalidis, Zoltán Fülöp, George Rahonis
Equational tree transformations. Theor. Comput. Sci. 412 (29) (2011)
Zoltán Fülöp, George Rahonis
Equational Weighted Tree Transformations with Discounting. Algebraic Foundations in Computer Science (2011)
Eleni Mandrali, George Rahonis
Recognizable Tree Series with Discounting. Acta Cybern. 19 (2) (2009)
Manfred Droste, George Rahonis
Weighted automata and weighted logics with discounting. Theor. Comput. Sci. 410 (37) (2009)
Manfred Droste, Werner Kuich, George Rahonis
Multi-Valued MSO Logics OverWords and Trees. Fundam. Informaticae 84 (3-4) (2008)
George Rahonis
Weighted Muller Tree Automata and Weighted Logics. J. Autom. Lang. Comb. 12 (4) (2007)
Manfred Droste, George Rahonis
Weighted Automata and Weighted Logics with Discounting. CIAA (2007)
Manfred Droste, George Rahonis
Weighted Automata and Weighted Logics on Infinite Words. Developments in Language Theory (2006)
Werner Kuich, George Rahonis
Fuzzy regular languages over finite and infinite words. Fuzzy Sets Syst. 157 (11) (2006)
George Rahonis
Infinite fuzzy computations. Fuzzy Sets Syst. 153 (2) (2005)
George Rahonis
Alphabetic Pushdown Tree Transducers. Developments in Language Theory (2003)
George Rahonis
DNA Tree Structures. Grammars and Automata for String Processing (2003)
George Rahonis
Alphabetic and synchronized tree transducers. Theor. Comput. Sci. 255 (1-2) (2001)
George Rahonis
Splicing on Trees: the Iterated Case. J. Univers. Comput. Sci. 5 (9) (1999)
George Rahonis, Kai Salomaa
On the Size of Stack and Synchronization Alphabets of Tree Automata. Fundam. Informaticae 36 (1) (1998)
George Rahonis, Kai Salomaa
Hierarchies of synchronized and algebraic forests. Developments in Language Theory (1997)
Symeon Bozapalidis, George Rahonis
On two Families of Forests. Acta Informatica 31 (3) (1994)