George Rahonis

According to our database1, George Rahonis
  • authored at least 29 papers between 1994 and 2017.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Stochastic Semantics.
Fundam. Inform., 2017

On weighted configuration logics.
CoRR, 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 Inf., 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 Inf., 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. Inform., 2008

2007
Weighted Muller Tree Automata and Weighted Logics.
Journal of Automata, Languages and Combinatorics, 2007

Weighted Automata and Weighted Logics with Discounting.
Proceedings of the Implementation and Application of Automata, 2007

2006
Fuzzy regular languages over finite and infinite words.
Fuzzy Sets and Systems, 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 and Systems, 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. UCS, 1999

1998
On the Size of Stack and Synchronization Alphabets of Tree Automata.
Fundam. Inform., 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 Inf., 1994


  Loading...