George Rahonis

Orcid: 0000-0002-7481-992X

Affiliations:
  • Aristotle University of Thessaloniki, Department of Mathematics, Greece


According to our database1, George Rahonis authored at least 41 papers between 1994 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Special Issue: Articles Dedicated to the Memory of Magnus Steinby - Preface.
Int. J. Found. Comput. Sci., 2024

Weighted Linear Dynamic Logic.
Int. J. Found. Comput. Sci., 2024

Special issue: Selected papers of the 9th International Conference on Algebraic Informatics, CAI 2022.
Inf. Comput., 2024

2023
Modelling Uncertainty in Architectures of Parametric Component-Based Systems.
Int. J. Found. Comput. Sci., September, 2023

Special Issue: International Colloquium: Recent Advances of Quantitative Models in Computer Science (RAQM 2021) - Preface.
Int. J. Found. Comput. Sci., September, 2023

Dynamic reconfiguration of component-based systems described by propositional configuration logic.
CoRR, 2023

2022
Weighted propositional configuration logics: A specification language for architectures with quantitative features.
Inf. Comput., 2022

2021
Architectures in parametric component-based systems: Qualitative and quantitative modelling.
Log. Methods Comput. Sci., 2021

2020
McCarthy-Kleene fuzzy automata and MSO logics.
Inf. Comput., 2020

Architecture Modelling of Parametric Component-Based Systems.
Proceedings of the Coordination Models and Languages, 2020

2019
Weighted Context-Free Grammars Over Bimonoids.
Sci. Ann. Comput. Sci., 2019

Weighted parametric systems: Modelling and architecture.
CoRR, 2019

Architecture specification of parametric component-based systems.
CoRR, 2019

2017
Stochastic Semantics.
Fundam. Informaticae, 2017

MK-fuzzy Automata and MSO Logics.
Proceedings of the Proceedings Eighth International Symposium on Games, 2017

Weighted Recognizability over Infinite Alphabets.
Acta Cybern., 2017

On Weighted Configuration Logics.
Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

2016
Weighted Linear Dynamic Logic.
Proceedings of the Seventh International Symposium on Games, 2016

2015
Weighted First-Order Logics over Semirings.
Acta Cybern., 2015

2014
On weighted first-order logics with discounting.
Acta Informatica, 2014

Weighted Variable Automata over Infinite Alphabets.
Proceedings of the Implementation and Application of Automata, 2014

2013
Characterizations of Weighted First-Order Logics over Semirings.
Proceedings of the Algebraic Informatics - 5th International Conference, 2013

Stochastic Equationality.
Proceedings of the Algebraic Informatics - 5th International Conference, 2013

2012
Equational weighted tree transformations.
Acta Informatica, 2012

2011
Equational tree transformations.
Theor. Comput. Sci., 2011

Variable Tree Automata over Infinite Ranked Alphabets.
Proceedings of the Algebraic Informatics - 4th International Conference, 2011

Equational Weighted Tree Transformations with Discounting.
Proceedings of the Algebraic Foundations in Computer Science, 2011

2009
Weighted automata and weighted logics with discounting.
Theor. Comput. Sci., 2009

Recognizable Tree Series with Discounting.
Acta Cybern., 2009

2008
Multi-Valued MSO Logics OverWords and Trees.
Fundam. Informaticae, 2008

2007
Weighted Muller Tree Automata and Weighted Logics.
J. Autom. Lang. Comb., 2007

2006
Fuzzy regular languages over finite and infinite words.
Fuzzy Sets Syst., 2006

Weighted Automata and Weighted Logics on Infinite Words.
Proceedings of the Developments in Language Theory, 10th International Conference, 2006

2005
Infinite fuzzy computations.
Fuzzy Sets Syst., 2005

2003
Alphabetic Pushdown Tree Transducers.
Proceedings of the Developments in Language Theory, 7th International Conference, 2003

DNA Tree Structures.
Proceedings of the Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, 2003

2001
Alphabetic and synchronized tree transducers.
Theor. Comput. Sci., 2001

1999
Splicing on Trees: the Iterated Case.
J. Univers. Comput. Sci., 1999

1998
On the Size of Stack and Synchronization Alphabets of Tree Automata.
Fundam. Informaticae, 1998

1997
Hierarchies of synchronized and algebraic forests.
Proceedings of the 3rd International Conference Developments in Language Theory, 1997

1994
On two Families of Forests.
Acta Informatica, 1994


  Loading...