Amaldev Manuel
About
Publications
Resources
Contact
Set Automata and Limits of Decidability of Two-Variable Logic on Data Words
ICALP 2026
Joint work with Shibashis Guha and Rishal S.P.
Deciding Conjugacy of a Rational Relation
DLT 2024
Joint work with C. Aiswarya and Saina Sunny
full version
Edit Distance of Finite State Transducers
ICALP 2024
Joint work with C. Aiswarya and Saina Sunny
An Algebraic Characterisation of First-Order Logic with Neighbour
LICS 2021
Joint work with Dhruv Nevatia
Logics for Reversible Regular Languages and Semigroups with Involution
Fundamenta Informaticae, 2021
Joint work with Paul Gastin and Govind R
Logics for Reversible Regular Languages and Semigroups with Involution
DLT 2019
Joint work with Paul Gastin and Govind R
Logic and Its Applications — 8th Indian Conference (Proceedings)
LNCS 11600, 2019
Edited with Md. Aquil Khan
Two-variable logic over countable linear orderings
MFCS 2016
Joint work with Sreejith A. V.
Cost Functions Definable by Min/Max Automata
STACS 2016
Joint work with Thomas Colcombet, Denis Kuperberg, and Szymon Toruńczyk
Walking on datawords
Theory of Computing Systems, 2016
Joint work with Anca Muscholl and Gabriele Puppis
Uniformization Results on Regular Cost Functions
Manuscript, 2015
Joint work with Thomas Colcombet and Stefan Göller
Fragments of Fixpoint Logic on Data Words
FSTTCS 2015
Joint work with Thomas Colcombet
Combinatorial Expressions and Lower Bounds
STACS 2015
Joint work with Thomas Colcombet
Generalized data automata and fixpoint logic
FSTTCS 2014
Joint work with Thomas Colcombet
Definability and transformations for cost logics and automatic structures
MFCS 2014
Joint work with Martin Lang and Christof Löding
Two variable logic on two dimensional structures
CSL 2013
Joint work with Thomas Zeume
Walking on datawords
CSR 2013
Joint work with Anca Muscholl and Gabriele Puppis
Counter automata and classical logics for datawords
PhD Thesis, IMSc Chennai, 2012
synopsis
|
summary
Automata on infinite alphabets
Modern Applications of Automata Theory, 2012
Joint work with R. Ramanujam
Class counting automata on data words
IJFCS 2011
Joint work with R. Ramanujam
Two variables and two successors
MFCS 2010
Counting multiplicity over infinite alphabets
RP 2009
Joint work with R. Ramanujam
LTL with a suborder
ESSLLI 2009