On two Families of Forests. - Symeon Bozapalidis; George Rahonis (Acta Informatica, 1994)

Hierarchies of synchronized and algebraic forests. - George Rahonis; Kai Salomaa (Developments in Language Theory, 1997)

On the Size of Stack and Synchronization Alphabets of Tree Automata. - George Rahonis; Kai Salomaa (Fundam. Informaticae, 1998)

Splicing on Trees: the Iterated Case. - George Rahonis (J. Univers. Comput. Sci., 1999)

Alphabetic and synchronized tree transducers. - George Rahonis (Theor. Comput. Sci., 2001)

DNA Tree Structures. - George Rahonis (Grammars and Automata for String Processing, 2003)

Alphabetic Pushdown Tree Transducers. - George Rahonis (Developments in Language Theory, 2003)

Infinite fuzzy computations. - George Rahonis (Fuzzy Sets Syst., 2005)

Weighted Automata and Weighted Logics on Infinite Words. - Manfred Droste; George Rahonis (Developments in Language Theory, 2006)

Fuzzy regular languages over finite and infinite words. - Werner Kuich; George Rahonis (Fuzzy Sets Syst., 2006)

Weighted Muller Tree Automata and Weighted Logics. - George Rahonis (J. Autom. Lang. Comb., 2007)

Multi-Valued MSO Logics OverWords and Trees. - Manfred Droste; Werner Kuich; George Rahonis (Fundam. Informaticae, 2008)

Recognizable Tree Series with Discounting. - Eleni Mandrali; George Rahonis (Acta Cybern., 2009)

Weighted automata and weighted logics with discounting. - Manfred Droste; George Rahonis (Theor. Comput. Sci., 2009)

Equational Weighted Tree Transformations with Discounting. - Zoltán Fülöp 001; George Rahonis (Algebraic Foundations in Computer Science, 2011)

Variable Tree Automata over Infinite Ranked Alphabets. - Irini-Eleftheria Mens; George Rahonis (CAI, 2011)

Equational tree transformations. - Symeon Bozapalidis; Zoltán Fülöp 001; George Rahonis (Theor. Comput. Sci., 2011)

Equational weighted tree transformations. - Symeon Bozapalidis; Zoltán Fülöp 001; George Rahonis (Acta Informatica, 2012)

Stochastic Equationality. - Symeon Bozapalidis; George Rahonis (CAI, 2013)

Characterizations of Weighted First-Order Logics over Semirings. - Eleni Mandrali; George Rahonis (CAI, 2013)

Weighted Variable Automata over Infinite Alphabets. - Maria Pittou; George Rahonis (CIAA, 2014)

On weighted first-order logics with discounting. - Eleni Mandrali; George Rahonis (Acta Informatica, 2014)

Weighted First-Order Logics over Semirings. - Eleni Mandrali; George Rahonis (Acta Cybern., 2015)

Weighted Linear Dynamic Logic. - Manfred Droste; George Rahonis (GandALF, 2016)

On Weighted Configuration Logics. - Paulina Paraponiari; George Rahonis (FACS, 2017)

Weighted Recognizability over Infinite Alphabets. - Maria Pittou; George Rahonis (Acta Cybern., 2017)

MK-fuzzy Automata and MSO Logics. - Manfred Droste; Temur Kutsia; George Rahonis; Wolfgang Schreiner (GandALF, 2017)

Stochastic Semantics. - Symeon Bozapalidis; George Rahonis (Fundam. Informaticae, 2017)

Architecture specification of parametric component-based systems. - Maria Pittou; George Rahonis (CoRR, 2019)

Weighted parametric systems: Modelling and architecture. - Maria Pittou; George Rahonis (CoRR, 2019)

Weighted Context-Free Grammars Over Bimonoids. - George Rahonis; Faidra Torpari (Sci. Ann. Comput. Sci., 2019)

Architecture Modelling of Parametric Component-Based Systems. - Maria Pittou; George Rahonis (COORDINATION, 2020)

McCarthy-Kleene fuzzy automata and MSO logics. - Manfred Droste; Temur Kutsia; George Rahonis; Wolfgang Schreiner (Inf. Comput., 2020)

Architectures in parametric component-based systems: Qualitative and quantitative modelling. - Maria Pittou; George Rahonis (Log. Methods Comput. Sci., 2021)

Weighted propositional configuration logics: A specification language for architectures with quantitative features. - Paulina Paraponiari; George Rahonis (Inf. Comput., 2022)

Dynamic reconfiguration of component-based systems described by propositional configuration logic. - George Rahonis; Melpomeni Soula (CoRR, 2023)

Special Issue: International Colloquium: Recent Advances of Quantitative Models in Computer Science (RAQM 2021) - Preface. - Manfred Droste; George Rahonis; Arto Salomaa (Int. J. Found. Comput. Sci., 2023)

Modelling Uncertainty in Architectures of Parametric Component-Based Systems. - Maria Pittou; George Rahonis (Int. J. Found. Comput. Sci., 2023)

Special issue: Selected papers of the 9th International Conference on Algebraic Informatics, CAI 2022. - Dimitrios Poulakis; George Rahonis (Inf. Comput., 2024)

Weighted Linear Dynamic Logic. - Manfred Droste; Gustav Grabolle; George Rahonis (Int. J. Found. Comput. Sci., 2024)

Special Issue: Articles Dedicated to the Memory of Magnus Steinby - Preface. - Zoltán Fülöp 001; George Rahonis; Kai Salomaa (Int. J. Found. Comput. Sci., 2024)

An automata-based approach for addressing erroneous behaviors and deadlocks in component-based systems. - Maria Pittou; George Rahonis (Theor. Comput. Sci., 2025)