Amaldev Manuel
Associate Professor
School of Mathematics & Computer Science
Indian Institute of Technology Goa
GEC Campus, Farmagudi, Ponda, Goa 403401
amal@iitgoa.ac.in
I am interested in the mathematical foundations of Computer Science, more precisely the study of automata, logics, algebra and games.
Research
- Deciding Conjugacy of a Rational Relation
In DLT 2024
Joint work with C Aiswarya and Saina Sunny
Full version
- Edit Distance of Finite State Transducers
In ICALP 2024
Joint work with C Aiswarya and Saina Sunny
- An Algebraic Characterisation of First-Order Logic with Neighbour
In LICS 2021
Joint work with Dhruv Nevatia
- Logics for Reversible Regular Languages and Semigroups with Involution
In Fundamenta Informaticae, 2021
Joint work with Paul Gastin and Govind R
- Logics for Reversible Regular Languages and Semigroups with Involution
In DLT 2019
Joint work with Paul Gastin and Govind R
- Logic and Its Applications - 8th Indian Conference (2019), Proceedings
LNCS 11600
Edited with Md. Aquil Khan
- Two-variable logic over countable linear orderings
In MFCS 2016
Joint work with Sreejith A V - Cost Functions Definable by Min/Max Automata
In STACS 2016
Joint work with Thomas Colcombet, Denis Kuperberg and Szymon Toruńczyk - Walking on datawords
In Theory of Computing Systems, 2016
Joint work with Anca Muscholl and Gabriele Puppis - Uniformization Results on Regular Cost Functions
Manuscript 2015
Joint with Thomas Colcomber and Stefan Göller - Fragments of Fixpoint Logic on Data Words
In FSTTCS 2015
Joint work with Thomas Colcombet - Combinatorial Expressions and lowerbounds
In STACS 2015
Joint work with Thomas Colcombet - Generalized data automata and fixpoint logic
In FSTTCS 2014
Joint work with Thomas Colcombet - Definability and transformations for cost logics and automatic structures
In MFCS 2014
Joint work with Martin Lang and Christof Löding - Two variable logic on two dimensional structures
In CSL 2013
Joint work with Thomas Zeume - Walking on datawords
In CSR 2013
Joint work with Anca Muscholl and Gabriele Puppis - Counter automata and classical logics for datawords
Institute of Mathematical Sciences, Chennai 2012
Synopsis
Summary - Automata on infinite alphabets
In Modern Applications of Automata Theory 2012
Joint work with R. Ramanujam - Class counting automata on data words
, In IJFCS 2011
with R. Ramanujam - Two variables and two successors
In MFCS 2010 - Counting multiplicity over infinite alphabets
In RP 2009
Joint work with R. Ramanujam - LTL with a suborder
In ESSLLI 2009