Amaldev Manuel
Publication Activity (10 Years)
Years Active: 2009-2023
Publications (10 Years): 11
Publications (10 Years): 11
Top Topics
Publications
- C. Aiswarya, Amaldev Manuel, Saina Sunny
- Amaldev Manuel, Dhruv Nevatia
- Amaldev Manuel, Dhruv Nevatia
- Paul Gastin, Amaldev Manuel, R. Govind
- Paul Gastin, Amaldev Manuel, R. Govind
- Paul Gastin, Amaldev Manuel, R. Govind
- Thomas Colcombet, Denis Kuperberg, Amaldev Manuel, Szymon Torunczyk
- Amaldev Manuel, Anca Muscholl, Gabriele Puppis
- Amaldev Manuel, A. V. Sreejith
- Thomas Colcombet, Amaldev Manuel
- Thomas Colcombet, Amaldev Manuel
- Thomas Colcombet, Amaldev Manuel
- Thomas Colcombet, Amaldev Manuel$μ$-calculus on data words. CoRR (2014)
- Amaldev Manuel, Anca Muscholl, Gabriele Puppis
- Amaldev Manuel, Thomas Zeume
- Amaldev Manuel, Ramaswamy Ramanujam
- Amaldev Manuel
- Amaldev Manuel, Ramaswamy Ramanujam