| Two variables and two successors A Manuel International Symposium on Mathematical Foundations of Computer Science, 513-524, 2010 | 25 | 2010 |
| Two-variable logic on 2-dimensional structures A Manuel, T Zeume Computer Science Logic 2013 (CSL 2013), 2013 | 22 | 2013 |
| Generalized data automata and fixpoint logic T Colcombet, A Manuel 34th International Conference on Foundation of Software Technology and …, 2014 | 17 | 2014 |
| Walking on data words A Manuel, A Muscholl, G Puppis Theory of Computing Systems 59 (2), 180-208, 2016 | 15 | 2016 |
| Automata over infinite alphabets A Manuel, R Ramanujam Modern applications of automata theory, 529-553, 2012 | 14 | 2012 |
| Two orders and two variables A Manuel MFCS 2010, 2010 | 11 | 2010 |
| Cost functions definable by min/max automata T Colcombet, D Kuperberg, A Manuel, S Toruńczyk 33rd International Symposium on Theoretical Aspects of Computer Science …, 2016 | 9 | 2016 |
| Class counting automata on datawords A Manuel, R Ramanujam International Journal of Foundations of Computer Science 22 (04), 863-882, 2011 | 9 | 2011 |
| Two-variable logic over countable linear orderings A Manuel, AV Sreejith 41st International Symposium on Mathematical Foundations of Computer Science …, 2016 | 8 | 2016 |
| A short note on two-variable logic with a linear order successor and a preorder successor A Manuel, T Schwentick, T Zeume arXiv preprint arXiv:1306.3418, 2013 | 7 | 2013 |
| Counting multiplicity over infinite alphabets A Manuel, R Ramanujam International Workshop on Reachability Problems, 141-153, 2009 | 6 | 2009 |
| Definability and transformations for cost logics and automatic structures M Lang, C Löding, A Manuel Mathematical Foundations of Computer Science 2014: 39th International …, 2014 | 4 | 2014 |
| Counter automata and classical logics for data words A Manuel Ph. D. thesis, Institute of Mathematical Sciences, Chennai, 2011 | 3 | 2011 |
| Two variable logic with a linear successor and a preorder A Manuel, T Zeume Under preparation, 2011 | 3 | 2011 |
| Reversible regular languages: Logical and algebraic characterisations P Gastin, A Manuel, R Govind Fundamenta Informaticae 180 (4), 333-350, 2021 | 2 | 2021 |
| Logics for reversible regular languages and semigroups with involution P Gastin, A Manuel, R Govind Developments in Language Theory: 23rd International Conference, DLT 2019 …, 2019 | 2 | 2019 |
| Combinatorial expressions and lower bounds T Colcombet, A Manuel 32nd International Symposium on Theoretical Aspects of Computer Science …, 2015 | 2 | 2015 |
| Fragments of fixpoint logic on data words T Colcombet, A Manuel 35th IARCS Annual Conference on Foundations of Software Technology and …, 2015 | 2 | 2015 |
| Logic and Its Applications MA Khan, A Manuel Springer Berlin Heidelberg, 2019 | 1 | 2019 |
| -calculus on data words T Colcolmbet, A Manuel arXiv preprint arXiv:1404.4827, 2014 | 1 | 2014 |
R. RamanujamInstitute of Mathematical SciencesVerified email at imsc.res.in
