Amaldev Manuel
Amaldev Manuel
Indian Institute of Technology Goa
Verified email at iitgoa.ac.in - Homepage
Title
Cited by
Cited by
Year
Two variables and two successors
A Manuel
International Symposium on Mathematical Foundations of Computer Science, 513-524, 2010
252010
Walking on data words
A Manuel, A Muscholl, G Puppis
Theory of Computing Systems 59 (2), 180-208, 2016
172016
Two-variable logic on 2-dimensional structures
A Manuel, T Zeume
Computer Science Logic 2013 (CSL 2013), 2013
172013
Generalized data automata and fixpoint logic
T Colcombet, A Manuel
34th International Conference on Foundation of Software Technology and …, 2014
152014
Automata over infinite alphabets
A Manuel, R Ramanujam
Modern applications of automata theory, 529-553, 2012
142012
Two orders and two variables
A Manuel
MFCS 2010, 2010
112010
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
82016
Class counting automata on datawords
A Manuel, R Ramanujam
International Journal of Foundations of Computer Science 22 (04), 863-882, 2011
82011
Counting multiplicity over infinite alphabets
A Manuel, R Ramanujam
International Workshop on Reachability Problems, 141-153, 2009
72009
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
62013
Two-variable logic over countable linear orderings
A Manuel, AV Sreejith
41st International Symposium on Mathematical Foundations of Computer Science …, 2016
52016
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
42014
Counter automata and classical logics for data words
A Manuel
Ph. D. thesis, Institute of Mathematical Sciences, Chennai, 2011
32011
Two variable logic with a linear successor and a preorder
A Manuel, T Zeume
Under preparation, 2011
32011
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
22019
Combinatorial expressions and lower bounds
T Colcombet, A Manuel
32nd International Symposium on Theoretical Aspects of Computer Science …, 2015
22015
Fragments of fixpoint logic on data words
T Colcombet, A Manuel
35th IARCS Annual Conference on Foundations of Software Technology and …, 2015
22015
Logic and its Applications
MA Khan, A Manuel
Springer Berlin Heidelberg, 2019
12019
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
The system can't perform the operation now. Try again later.
Articles 1–20