| Two Variables and Two Successors. A Manuel MFCS 6281, 513-524, 2010 | 25 | 2010 |
| Two-variable logic on 2-dimensional structures A Manuel, T Zeume Computer Science Logic 2013 (CSL 2013), 2013 | 18 | 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 | 16 | 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 | 8 | 2011 |
| Two-variable logic over countable linear orderings A Manuel, AV Sreejith 41st International Symposium on Mathematical Foundations of Computer Science …, 2016 | 7 | 2016 |
| Counting multiplicity over infinite alphabets A Manuel, R Ramanujam Reachability Problems: 3rd International Workshop, RP 2009, Palaiseau …, 2009 | 7 | 2009 |
| 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 |
| 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 |
| 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 |
| An algebraic characterisation of first-order logic with neighbour A Manuel, D Nevatia 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021 | | 2021 |
| Reversible Regular Languages: Logical and Algebraic Characterisations P Gastin, A Manuel, R Govind Fundamenta Informaticae 180 (4), 333-350, 2021 | | 2021 |
R. RamanujamInstitute of Mathematical SciencesBestätigte E-Mail-Adresse bei imsc.res.in
