Publications
Symeon Bozapalidis and George Rahonis, On two families of forests, Acta Informatica 31:235-260, 1994, doi:10.1007/BF01218405
Kai Salomaa and George Rahonis, Hierarchies of synchronized and algebraic forests, in: Proceedings of DLT 1997, Aristotle University of Thessaloniki, Thessaloniki 1997, pp. 447-460.
Kai Salomaa and George Rahonis, On the size of stack and synchronization alphabets of tree automata, Fundamenta Informaticae 36:57-69, 1998, doi:10.3233/FI-1998-3613
Symeon Bozapalidis and George Rahonis, H tree schemes with
finite and recognizable sets of rules, Romanian
Journal of Information Science and Technology 4:307-318, 1998.
George Rahonis, Splicing on trees: The
iterated case, Journal of Universal
Computer Science 5:599-609, 1999, doi:10.3217/jucs-005-09-0599
George Rahonis, Alphabetic and
synchronized tree transducers, Theoretical
Computer Science 255:377-399, 2001, doi:10.1016/S0304-3975(99)00296-0
George Rahonis, Alphabetic pushdown tree
transducers, in: Proceedings of DLT'03, Lecture Notes in
Computer Science 2710:423-436, 2003, doi:10.1007/3-540-45007-6_34
George Rahonis, DNA tree structures, in: Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, and Back (C. Martin-Vide and V. Mitrana eds.), Taylor and Francis, London, 2003, pp.413-422.
George Rahonis, Infinite fuzzy computations, Fuzzy Sets and Systems 153:275-288, 2005, doi:10.1016/j.fss.2004.12.003
Symeon Bozapalidis and George Rahonis,
Werner Kuich and George Rahonis, Fuzzy regular languages
over finite and infinite words, Fuzzy
Sets and Systems 157:1532-1549, 2006, doi:10.1016/j.fss.2006.02.004
Manfred Droste and George Rahonis, Weighted automata and weighted logics over infinite words, in: Proceedings of DLT 06, Lecture Notes in Computer Science 4036:49-58, 2006, doi:10.1007/11779148_6
George Rahonis, Weighted Muller tree automata and weighted logics, Journal of Automata Languages and Combinatorics 12:455-483, 2007, doi:10.25596/jalc-2007-455
Manfred Droste and George Rahonis, Weighted automata and weighted logics with discounting, in: Proceedings of CIAA 2007, Lecture Notes in Computer Science 4783:73-84, 2007, doi:10.1007/978-3-540-76336-9_9
Manfred Droste, Werner Kuich, and George Rahonis, Multi-valued MSO logics over words and trees, Fundamenta Informaticae 84:305-327, 2008.
George Rahonis, Fuzzy languages, in: Handbook of Weighted Automata (M. Droste, W. Kuich, and H. Vogler, eds.), EATCS Monographs in Theoretical Computer Science, Springer, 2009, pp.481-517, doi:10.1007/978-3-642-01492-5_12
Manfred Droste and George Rahonis, Weighted automata and weighted logics with discounting, Theoretical Computer Science 410:3481-3494, 2009, doi:10.1016/j.tcs.2009.03.029
George Rahonis, Weighted extended temporal logic with discounting, manuscript, presented at: Workshop on Quantitative Logics QUANTLOG 2009, Satellite event of the ICALP 2009.
Manfred Droste and George Rahonis, Weighted automata and weighted logics over infinite words, Russian Mathematics 54:26-45, 2010, and in Russian: Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika (Iz. VUZ) 1:34-58, 2010, doi:10.3103/S1066369X10010044
Symeon Bozapalidis, Zoltán Fülöp, and George Rahonis, Equational tree transformations, Theoretical Computer Science 412:3676-3692, 2011, doi:10.1016/j.tcs.2011.03.028
Irini-Eleftheria Mens and George Rahonis, Variable tree automata over infinite ranked alphabets, in: Proceedings of CAI 2011, Lecture Notes in Computer Science 6742:247-260, 2011, doi:10.1007/978-3-642-21493-6_16
Symeon Bozapalidis, Zoltán Fülöp, and George Rahonis, Equational weighted tree transformations, Acta Informatica 49:29-52, 2012, doi:10.1007/s00236-011-0148-5
Eleni Mandrali and George Rahonis, Characterizations of weighted first-order logics over semirings, in: Proceedings of CAI 2013, Lecture Notes in Computer Science 8080:247-259, 2013, doi:10.1007/978-3-642-40663-8_23.
Symeon Bozapalidis and George Rahonis, Stochastic equationality, in: Proceedings of CAI 2013, Lecture Notes in Computer Science 8080:173-185, 2013, doi:10.1007/978-3-642-40663-8_17
Eleni Mandrali and George Rahonis, On weighted first-order logics with discounting, Acta Informatica 51:61-106, 2014, doi:10.1007/s00236-013-0193-3
Maria Pittou and George Rahonis, Weighted variable automata over infinite alphabets, in: Proceedings of CIAA 2014, Lecture Notes in Computer Science 8587:304-317, 2014, doi:10.1007/978-3-319-08846-4_23
Eleni Mandrali and George Rahonis, Weighted first-order logics over semirings, Acta Cybernetica 22:435-483, 2015, doi:10.14232/actacyb.22.2.2015.13
Manfred Droste and George Rahonis, Weighted linear dynamic logic, in: Proceedings of GandALF 2016, Electronic Proceedings in Theoretical Computer Science 226:149-163, 2016, doi:10.4204/EPTCS.226.11.
Symeon Bozapalidis and George Rahonis, Stochastic semantics, Fundamenta Informaticae 150(2):143-177, 2017, doi:10.3233/FI-2017-1463
Maria Pittou and George Rahonis, Weighted recognizability over infinite alphabets, Acta Cybernetica, 23: 283-317, 2017, doi:10.14232/actacyb.23.1.2017.16
Paulina Paraponiari and George Rahonis, On weighted configuration logics, in: Proceedings of FACS 2017, Lecture Notes in Computer Science 10487:98-116, 2017, doi:10.1007/978-3-319-68034-7_6
Manfred Droste, Temur Kutsia, George Rahonis, and Wolfgang Schreiner, MK-fuzzy automata and MSO logics, in: Proceedings of GandALF 2017, Electronic Proceedings in Theoretical Computer Science 256:106-120, 2017, doi:10.4204/EPTCS.256.8
George Rahonis and Faidra Torpari, Weighted context-free grammars over bimonoids, Scientific Annals of Computer Science 29(1):59-80, 2019, doi:10.7561/SACS.2019.1.59
Manfred Droste, Temur Kutsia, George Rahonis, and Wolfgang Schreiner, MK-fuzzy automata and MSO logics, Information and Computation 272, 2019, doi:10.1016/j.ic.2019.104499
Maria Pittou and George Rahonis, Architecture modelling of parametric component-based systems, in: Proceedings of COORDINATION 2020, Lecture Notes in Computer Science 12134:281-300, 2020, doi:10.1007/978-3-030-50029-0_18
Maria Pittou and George Rahonis, Architecture modelling of parametric component-based systems: Qualitative and quantitative modelling, Logical Methods in Computer Science 17(4), 2021, 26:1-26:53, doi:10.46298/lmcs-17(4:26)2021
Paulina Paraponiari and George Rahonis, Weighted propositional configuration logics: A specification language for architectures with quantitative features, Information and Computation 282, 2022, doi:10.1016/j.ic.2020.104647
Maria Pittou and George Rahonis, Modelling uncertainty in architectures of parametric component-based systems, International Journal of Foundations of Computer Science 34(6):559-601, 2023, doi:10.1142/S0129054123450028