Amaldev Manuel

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