Amaldev Manuel

• 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