Kamal Lodaya
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
1987–2018
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | CSL | An Algebraic Decision Procedure for Two-Variable Logic with a Between Relation. | Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing |
| 2017 | DLT | Two-Variable First Order Logic with Counting Quantifiers: Complexity Results. | Kamal Lodaya, A. V. Sreejith |
| 2016 | LICS | Two-variable Logic with a Between Relation. | Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing |
| 2011 | CONCUR | Parameterized Complexity Results for 1-safe Petri Nets. | M. Praveen, Kamal Lodaya |
| 2010 | ATVA | LTL Can Be More Succinct. | Kamal Lodaya, A. V. Sreejith |
| 2010 | DLT | Around Dot Depth Two. | Kamal Lodaya, Paritosh K. Pandya, Simoni S. Shah |
| 2006 | SEFM | Product Automata and Process Algebra. | Kamal Lodaya |
| 1998 | STACS | Series-Parallel Posets: Algebra, Automata and Languages. | Kamal Lodaya, Pascal Weil |
| 1993 | ICALP | Decidability of a Partial Order Based Temporal Logic. | Kamal Lodaya, P. S. Thiagarajan |
| 1987 | ICALP | A Modal Logic for a Subclass of Event Structures. | Kamal Lodaya, P. S. Thiagarajan |