George Rahonis

48 papers C 6Journal 30Unranked 8

Year	Rank	Type	Title / 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