A
Amaldev Manuel
Researcher at Indian Institutes of Technology
Publications - 20
Citations - 133
Amaldev Manuel is an academic researcher from Indian Institutes of Technology. The author has contributed to research in topics: Decidability & First-order logic. The author has an hindex of 7, co-authored 19 publications receiving 124 citations. Previous affiliations of Amaldev Manuel include University of Bordeaux & University of Paris.
Papers
More filters
Book ChapterDOI
Two variables and two successors
TL;DR: In this paper, the authors considered the finite satisfiability problem of the two variable fragment of first order logic with the successors of two linear orders and proved that the logic with only the successors is decidable.
Proceedings ArticleDOI
Two-Variable Logic on 2-Dimensional Structures.
Amaldev Manuel,Thomas Zeume +1 more
TL;DR: It is obtained that finite satisfiability of FO^2 is decidable on structures with two linear order successors and a linear order corresponding to one of the successors on structures where the <=_p-equivalence classes are of bounded size.
Proceedings ArticleDOI
Generalized Data Automata and Fixpoint Logic
Thomas Colcombet,Amaldev Manuel +1 more
TL;DR: The fragment which is defined by limiting the number of alternations between future and past formulas is shown to be decidable, by first converting the formulas to equivalent alternating Buchi automata and then to Buchi GDA.
Automata over Infinite Alphabets.
TL;DR: It is suggested that an entire theoretical framework awaits development for verification of finite state automata, whose input alphabet is infinite, and some recent attempts in this direction are described.
Journal ArticleDOI
Walking on Data Words
TL;DR: It is proved that the class of deterministic Data Walking Automata is closed under all Boolean operations, and that theclass of non-deterministic Data walking Automata has decidable emptiness, universality, and containment problems.