Amaldev Manuel
111, New Building
Institute of Mathematical Sciences
C.I.T Campus, Taramani
Chennai, 600113
email :
Research Interests
Logic, Automata theoryp
Publications
Amaldev Manuel, R. Ramanujam. Counting multiplicity over infinite alphabets. RP 2009: 141-153. pdf
Amaldev Manuel, R. Ramanujam. Class counting automata on datawords. IJFCS, 2011, Volume 22(4): 863-882. (Journal version of the RP paper). pdf
Amaldev Manuel, LTL with a sub-order. ESSLLI 2009: 21-28. pdf
Amaldev Manuel, R. Ramanujam: Automata over infinite alphabets. Modern Applications of Automata Theory, World Scientific, 2011. pdf
Amaldev Manuel, Two variables and two successors. MFCS 2010: 513-524. pdf
Amaldev Manuel, Thomas Zeume: Two-Variable logic with a linear successor and a preorder. (in preparation) pdf [This is a preliminary version.]
Phone: +91-44-22-543-111
20-05-2011
