| 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 | 21 | 2013 |
| Walking on data words A Manuel, A Muscholl, G Puppis Theory of Computing Systems 59 (2), 180-208, 2016 | 18 | 2016 |
| Generalized data automata and fixpoint logic T Colcombet, A Manuel 34th International Conference on Foundation of Software Technology and …, 2014 | 17 | 2014 |
| Automata over infinite alphabets A Manuel, R Ramanujam Modern applications of automata theory, 529-553, 2012 | 15 | 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 | 10 | 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 | 6 | 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 |
| Fragments of fixpoint logic on data words T Colcombet, A Manuel 35th IARCS Annual Conference on Foundations of Software Technology and …, 2015 | 3 | 2015 |
| 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 |
| 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 |
| Deciding conjugacy of a rational relation C Aiswarya, A Manuel, S Sunny International Conference on Developments in Language Theory, 37-50, 2024 | 1 | 2024 |
| Reversible regular languages: Logical and algebraic characterisations P Gastin, A Manuel, R Govind Fundamenta Informaticae 180 (4), 333-350, 2021 | 1 | 2021 |
| 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015) MS Charikar, A Bouajjani, M Emmi, C Enea, J Hamza, J Worrell, B Barak, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2015 | 1 | 2015 |
R. RamanujamInstitute of Mathematical SciencesVerified email at imsc.res.in
