Amaldev Manuel

According to our database, Amaldev Manuel authored at least 18 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Deciding Conjugacy of a Rational Relation.

C. Aiswarya, Amaldev Manuel, Saina Sunny

CoRR, 2023

2021

Reversible Regular Languages: Logical and Algebraic Characterisations.

Paul Gastin, Amaldev Manuel, R. Govind

Fundam. Informaticae, 2021

An Algebraic Characterisation of First-Order Logic with Neighbour.

Amaldev Manuel, Dhruv Nevatia

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2019

Logics for Reversible Regular Languages and Semigroups with Involution.

Paul Gastin, Amaldev Manuel, R. Govind

Proceedings of the Developments in Language Theory - 23rd International Conference, 2019

2016

Walking on Data Words.

Amaldev Manuel, Anca Muscholl, Gabriele Puppis

Theory Comput. Syst., 2016

Cost Functions Definable by Min/Max Automata.

Thomas Colcombet, Denis Kuperberg, Amaldev Manuel, Szymon Torunczyk

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

Two-Variable Logic over Countable Linear Orderings.

Amaldev Manuel, A. V. Sreejith

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

2015

Combinatorial Expressions and Lower Bounds.

Thomas Colcombet, Amaldev Manuel

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

Fragments of Fixpoint Logic on Data Words.

Thomas Colcombet, Amaldev Manuel

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

2014

$μ$-calculus on data words.

Thomas Colcombet, Amaldev Manuel

CoRR, 2014

Definability and Transformations for Cost Logics and Automatic Structures.

Martin Lang, Christof Löding, Amaldev Manuel

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

Generalized Data Automata and Fixpoint Logic.

Thomas Colcombet, Amaldev Manuel

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.

Amaldev Manuel, Thomas Schwentick, Thomas Zeume

CoRR, 2013

Two-Variable Logic on 2-Dimensional Structures.

Amaldev Manuel, Thomas Zeume

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

2012

Automata over Infinite Alphabets.

Amaldev Manuel, Ramaswamy Ramanujam

Proceedings of the Modern Applications of Automata Theory., 2012

2011

Class Counting Automata on Datawords.

Amaldev Manuel, Ramaswamy Ramanujam

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

2010

Two Variables and Two Successors.

Amaldev Manuel

Proceedings of the Mathematical Foundations of Computer Science 2010, 2010

2009

Counting Multiplicity over Infinite Alphabets.

Amaldev Manuel, Ramaswamy Ramanujam

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