| 2026 | ICALP | Set Automata and Limits of Decidability of Two-Variable Logic on Data Words. | Shibashis Guha, Amaldev Manuel, S. P. Rishal |
| 2024 | DLT | Deciding Conjugacy of a Rational Relation - (Extended Abstract). | C. Aiswarya, Amaldev Manuel, Saina Sunny |
| 2024 | ICALP | Edit Distance of Finite State Transducers. | C. Aiswarya, Amaldev Manuel, Saina Sunny |
| 2021 | LICS | An Algebraic Characterisation of First-Order Logic with Neighbour. | Amaldev Manuel, Dhruv Nevatia |
| 2019 | DLT | Logics for Reversible Regular Languages and Semigroups with Involution. | Paul Gastin, Amaldev Manuel, R. Govind |
| 2016 | MFCS | Two-Variable Logic over Countable Linear Orderings. | Amaldev Manuel, A. V. Sreejith |
| 2016 | STACS | Cost Functions Definable by Min/Max Automata. | Thomas Colcombet, Denis Kuperberg, Amaldev Manuel, Szymon Torunczyk |
| 2015 | STACS | Combinatorial Expressions and Lower Bounds. | Thomas Colcombet, Amaldev Manuel |
| 2014 | MFCS | Definability and Transformations for Cost Logics and Automatic Structures. | Martin Lang, Christof Lding, Amaldev Manuel |
| 2013 | CSL | Two-Variable Logic on 2-Dimensional Structures. | Amaldev Manuel, Thomas Zeume |
| 2013 | CSR | Walking on Data Words. | Amaldev Manuel, Anca Muscholl, Gabriele Puppis |
| 2010 | MFCS | Two Variables and Two Successors. | Amaldev Manuel |