George Rahonis

48 papers C 6Journal 30Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
An automata-based approach for addressing erroneous behaviors and deadlocks in component-based systems.
Theor. Comput. Sci.
Maria Pittou, George Rahonis
2024 J jnl
Special Issue: Articles Dedicated to the Memory of Magnus Steinby - Preface.
Int. J. Found. Comput. Sci.
Zoltán Fülöp, George Rahonis, Kai Salomaa
2024 J jnl
Special issue: Selected papers of the 9th International Conference on Algebraic Informatics, CAI 2022.
Inf. Comput.
Dimitrios Poulakis, George Rahonis
2024 J jnl
Weighted Linear Dynamic Logic.
Int. J. Found. Comput. Sci.
Manfred Droste, Gustav Grabolle, George Rahonis
2023 J jnl
Dynamic reconfiguration of component-based systems described by propositional configuration logic.
CoRR
George Rahonis, Melpomeni Soula
2023 J jnl
Modelling Uncertainty in Architectures of Parametric Component-Based Systems.
Int. J. Found. Comput. Sci.
Maria Pittou, George Rahonis
2023 J jnl
Special Issue: International Colloquium: Recent Advances of Quantitative Models in Computer Science (RAQM 2021) - Preface.
Int. J. Found. Comput. Sci.
Manfred Droste, George Rahonis, Arto Salomaa
2022 — ed.
Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings
CAI
Dimitrios Poulakis, George Rahonis
2022 J jnl
Weighted propositional configuration logics: A specification language for architectures with quantitative features.
Inf. Comput.
Paulina Paraponiari, George Rahonis
2021 J jnl
Architectures in parametric component-based systems: Qualitative and quantitative modelling.
Log. Methods Comput. Sci.
Maria Pittou, George Rahonis
2020 C conf
Architecture Modelling of Parametric Component-Based Systems.
COORDINATION
Maria Pittou, George Rahonis
2020 J jnl
McCarthy-Kleene fuzzy automata and MSO logics.
Inf. Comput.
Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner
2019 J jnl
Architecture specification of parametric component-based systems.
CoRR
Maria Pittou, George Rahonis
2019 J jnl
Weighted Context-Free Grammars Over Bimonoids.
Sci. Ann. Comput. Sci.
George Rahonis, Faidra Torpari
2019 J jnl
Weighted parametric systems: Modelling and architecture.
CoRR
Maria Pittou, George Rahonis
2017 — conf
MK-fuzzy Automata and MSO Logics.
GandALF
Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner
2017 — conf
On Weighted Configuration Logics.
FACS
Paulina Paraponiari, George Rahonis
2017 J jnl
On weighted configuration logics.
CoRR
Paulina Paraponiari, George Rahonis
2017 J jnl
Stochastic Semantics.
Fundam. Informaticae
Symeon Bozapalidis, George Rahonis
2017 J jnl
Weighted Recognizability over Infinite Alphabets.
Acta Cybern.
Maria Pittou, George Rahonis
2016 — conf
Weighted Linear Dynamic Logic.
GandALF
Manfred Droste, George Rahonis
2015 J jnl
Weighted First-Order Logics over Semirings.
Acta Cybern.
Eleni Mandrali, George Rahonis
2014 J jnl
On weighted first-order logics with discounting.
Acta Informatica
Eleni Mandrali, George Rahonis
2014 C conf
Weighted Variable Automata over Infinite Alphabets.
CIAA
Maria Pittou, George Rahonis
2013 — conf
Characterizations of Weighted First-Order Logics over Semirings.
CAI
Eleni Mandrali, George Rahonis
2013 — conf
Stochastic Equationality.
CAI
Symeon Bozapalidis, George Rahonis
2012 J jnl
Equational weighted tree transformations.
Acta Informatica
Symeon Bozapalidis, Zoltán Fülöp, George Rahonis
2011 — ed.
Algebraic Foundations in Computer Science - Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
Algebraic Foundations in Computer Science
Werner Kuich, George Rahonis
2011 — conf
Equational Weighted Tree Transformations with Discounting.
Algebraic Foundations in Computer Science
Zoltán Fülöp, George Rahonis
2011 J jnl
Equational tree transformations.
Theor. Comput. Sci.
Symeon Bozapalidis, Zoltán Fülöp, George Rahonis
2011 — conf
Variable Tree Automata over Infinite Ranked Alphabets.
CAI
Irini-Eleftheria Mens, George Rahonis
2009 — ed.
Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings
CAI
Symeon Bozapalidis, George Rahonis
2009 J jnl
Recognizable Tree Series with Discounting.
Acta Cybern.
Eleni Mandrali, George Rahonis
2009 J jnl
Weighted automata and weighted logics with discounting.
Theor. Comput. Sci.
Manfred Droste, George Rahonis
2008 J jnl
Multi-Valued MSO Logics OverWords and Trees.
Fundam. Informaticae
Manfred Droste, Werner Kuich, George Rahonis
2007 — ed.
Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers
CAI
Symeon Bozapalidis, George Rahonis
2007 C conf
Weighted Automata and Weighted Logics with Discounting.
CIAA
Manfred Droste, George Rahonis
2007 J jnl
Weighted Muller Tree Automata and Weighted Logics.
J. Autom. Lang. Comb.
George Rahonis
2006 J jnl
Fuzzy regular languages over finite and infinite words.
Fuzzy Sets Syst.
Werner Kuich, George Rahonis
2006 C conf
Weighted Automata and Weighted Logics on Infinite Words.
Developments in Language Theory
Manfred Droste, George Rahonis
2005 J jnl
Infinite fuzzy computations.
Fuzzy Sets Syst.
George Rahonis
2003 C conf
Alphabetic Pushdown Tree Transducers.
Developments in Language Theory
George Rahonis
2003 — conf
DNA Tree Structures.
Grammars and Automata for String Processing
George Rahonis
2001 J jnl
Alphabetic and synchronized tree transducers.
Theor. Comput. Sci.
George Rahonis
1999 J jnl
Splicing on Trees: the Iterated Case.
J. Univers. Comput. Sci.
George Rahonis
1998 J jnl
On the Size of Stack and Synchronization Alphabets of Tree Automata.
Fundam. Informaticae
George Rahonis, Kai Salomaa
1997 C conf
Hierarchies of synchronized and algebraic forests.
Developments in Language Theory
George Rahonis, Kai Salomaa
1994 J jnl
On two Families of Forests.
Acta Informatica
Symeon Bozapalidis, George Rahonis