# Amaldev Manuel

According to our database

^{1}, Amaldev Manuel## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2016

Walking on Data Words.

Theory Comput. Syst., 2016

Cost Functions Definable by Min/Max Automata.

Proceedings of the 33rd Symposium on Theoretical Aspects of Computer Science, 2016

Two-Variable Logic over Countable Linear Orderings.

Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016

2015

Combinatorial Expressions and Lower Bounds.

Proceedings of the 32nd International Symposium on Theoretical Aspects of Computer Science, 2015

Fragments of Fixpoint Logic on Data Words.

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

2014

$μ$-calculus on data words.

CoRR, 2014

Definability and Transformations for Cost Logics and Automatic Structures.

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

Generalized Data Automata and Fixpoint Logic.

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

2013

A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor.

CoRR, 2013

Walking on Data Words.

Proceedings of the Computer Science - Theory and Applications, 2013

Two-Variable Logic on 2-Dimensional Structures.

Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013

2012

Automata over Infinite Alphabets.

Modern Applications of Automata Theory, 2012

2011

Class Counting Automata on Datawords.

Int. J. Found. Comput. Sci., 2011

2010

Two Variables and Two Successors.

Proceedings of the Mathematical Foundations of Computer Science 2010, 2010

2009

Counting Multiplicity over Infinite Alphabets.

Proceedings of the Reachability Problems, 3rd International Workshop, 2009