Follow
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
Two-variable logic on 2-dimensional structures
A Manuel, T Zeume
Computer Science Logic 2013 (CSL 2013), 2013
212013
Walking on data words
A Manuel, A Muscholl, G Puppis
Theory of Computing Systems 59 (2), 180-208, 2016
182016
Generalized data automata and fixpoint logic
T Colcombet, A Manuel
34th International Conference on Foundation of Software Technology and …, 2014
172014
Automata over infinite alphabets
A Manuel, R Ramanujam
Modern applications of automata theory, 529-553, 2012
152012
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
102016
Class counting automata on datawords
A Manuel, R Ramanujam
International Journal of Foundations of Computer Science 22 (04), 863-882, 2011
92011
Two-variable logic over countable linear orderings
A Manuel, AV Sreejith
41st International Symposium on Mathematical Foundations of Computer Science …, 2016
82016
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
Counting multiplicity over infinite alphabets
A Manuel, R Ramanujam
International Workshop on Reachability Problems, 141-153, 2009
62009
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
42014
Fragments of fixpoint logic on data words
T Colcombet, A Manuel
35th IARCS Annual Conference on Foundations of Software Technology and …, 2015
32015
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
Developments in Language Theory: 23rd International Conference, DLT 2019 …, 2019
22019
Combinatorial expressions and lower bounds
T Colcombet, A Manuel
32nd International Symposium on Theoretical Aspects of Computer Science …, 2015
22015
Deciding conjugacy of a rational relation
C Aiswarya, A Manuel, S Sunny
International Conference on Developments in Language Theory, 37-50, 2024
12024
Reversible regular languages: Logical and algebraic characterisations
P Gastin, A Manuel, R Govind
Fundamenta Informaticae 180 (4), 333-350, 2021
12021
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
12015
The system can't perform the operation now. Try again later.
Articles 1–20