# George Rahonis

According to our database

^{1}, George Rahonis## 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

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