Amaldev Manuel

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 12

Top Topics

Regular Languages

Top Venues

Publications

C. Aiswarya, Amaldev Manuel, Saina Sunny
Deciding Conjugacy of a Rational Relation - (Extended Abstract). DLT (2024)
C. Aiswarya, Amaldev Manuel, Saina Sunny
Edit Distance of Finite State Transducers. CoRR (2024)
C. Aiswarya, Amaldev Manuel, Saina Sunny
Edit Distance of Finite State Transducers. ICALP (2024)
C. Aiswarya, Amaldev Manuel, Saina Sunny
Deciding Conjugacy of a Rational Relation. CoRR (2023)
Amaldev Manuel, Dhruv Nevatia
An Algebraic Characterisation of First-Order Logic with Neighbour. LICS (2021)
Amaldev Manuel, Dhruv Nevatia
An Algebraic Characterisation of First-Order Logic with Neighbour. CoRR (2021)
Paul Gastin, Amaldev Manuel, R. Govind
Reversible Regular Languages: Logical and Algebraic Characterisations. Fundam. Informaticae 180 (4) (2021)
Paul Gastin, Amaldev Manuel, R. Govind
Logics for Reversible Regular Languages and Semigroups with Involution. CoRR (2019)
Paul Gastin, Amaldev Manuel, R. Govind
Logics for Reversible Regular Languages and Semigroups with Involution. DLT (2019)
Thomas Colcombet, Denis Kuperberg, Amaldev Manuel, Szymon Torunczyk
Cost Functions Definable by Min/Max Automata. STACS (2016)
Amaldev Manuel, Anca Muscholl, Gabriele Puppis
Walking on Data Words. Theory Comput. Syst. 59 (2) (2016)
Amaldev Manuel, A. V. Sreejith
Two-Variable Logic over Countable Linear Orderings. MFCS (2016)
Thomas Colcombet, Amaldev Manuel
Fragments of Fixpoint Logic on Data Words. FSTTCS (2015)
Thomas Colcombet, Amaldev Manuel
Combinatorial Expressions and Lower Bounds. STACS (2015)
Thomas Colcombet, Amaldev Manuel
Generalized Data Automata and Fixpoint Logic. FSTTCS (2014)
Martin Lang, Christof Löding, Amaldev Manuel
Definability and Transformations for Cost Logics and Automatic Structures. MFCS (1) (2014)
Thomas Colcombet, Amaldev Manuel
$μ$-calculus on data words. CoRR (2014)
Amaldev Manuel, Anca Muscholl, Gabriele Puppis
Walking on Data Words. CSR (2013)
Amaldev Manuel, Thomas Zeume
Two-Variable Logic on 2-Dimensional Structures. CSL (2013)
Amaldev Manuel, Thomas Schwentick, Thomas Zeume
A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor. CoRR (2013)
Amaldev Manuel, Ramaswamy Ramanujam
Class Counting Automata on Datawords. Int. J. Found. Comput. Sci. 22 (4) (2011)
Amaldev Manuel
Two Variables and Two Successors. MFCS (2010)
Amaldev Manuel, Ramaswamy Ramanujam
Counting Multiplicity over Infinite Alphabets. RP (2009)