Amaldev Manuel

According to our database1, Amaldev Manuel
  • authored at least 15 papers between 2009 and 2016.
  • has a "Dijkstra number"2 of five.

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


  Loading...