Two variables and two successors A Manuel International Symposium on Mathematical Foundations of Computer Science, 513-524, 2010 | 25 | 2010 |

Walking on data words A Manuel, A Muscholl, G Puppis Theory of Computing Systems 59 (2), 180-208, 2016 | 17 | 2016 |

Two-variable logic on 2-dimensional structures A Manuel, T Zeume Computer Science Logic 2013 (CSL 2013), 2013 | 17 | 2013 |

Generalized data automata and fixpoint logic T Colcombet, A Manuel 34th International Conference on Foundation of Software Technology and …, 2014 | 15 | 2014 |

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 | 8 | 2016 |

Class counting automata on datawords A Manuel, R Ramanujam International Journal of Foundations of Computer Science 22 (04), 863-882, 2011 | 8 | 2011 |

Counting multiplicity over infinite alphabets A Manuel, R Ramanujam International Workshop on Reachability Problems, 141-153, 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 |

Two-variable logic over countable linear orderings A Manuel, AV Sreejith 41st International Symposium on Mathematical Foundations of Computer Science …, 2016 | 5 | 2016 |

Definability and transformations for cost logics and automatic structures M Lang, C Löding, A Manuel International Symposium on Mathematical Foundations of Computer Science, 390-401, 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 International Conference on Developments in Language Theory, 182-191, 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 arXiv preprint arXiv:2105.09368, 2021 | | 2021 |

Reversible Regular Languages: Logical and Algebraic Characterisations P Gastin, A Manuel, R Govind Fundamenta Informaticae 180 (4), 333-350, 2021 | | 2021 |