Kamal Lodaya

Publication Activity (10 Years)

Years Active: 1985-2023
Publications (10 Years): 11

Top Topics

First Order Logic

Satisfiability Problem

Abductive Reasoning

Top Venues

Bull. Symb. Log.

Trans. Petri Nets Other Model. Concurr.

Publications

Habeeb P, Nabarun Deka, Deepak D'Souza, Kamal Lodaya, Pavithra Prabhakar
Verification of Camera-Based Autonomous Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (10) (2023)
Shikha Singh, Kamal Lodaya, Deepak Khemani
Two Ways to Scare a Gruffalo. ICLA (2023)
Shikha Singh, Kamal Lodaya, Deepak Khemani
Agent-update Models. CoRR (2022)
Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing
Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership. Log. Methods Comput. Sci. 16 (3) (2020)
Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing
Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership. CoRR (2019)
Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing
An Algebraic Decision Procedure for Two-Variable Logic with a Between Relation. CSL (2018)
Kamal Lodaya
Stéphane Demri, Valentin Goranko, and Martin Lange, Temporal Logics in Computer Science: Finite-state Systems, Cambridge Tracts in Theoretical Computer Science, vol. 58, Cambridge University Press, Cambridge, 2016, viii + 744 pp. Bull. Symb. Log. 23 (2) (2017)
Kamal Lodaya, A. V. Sreejith
Two-Variable First Order Logic with Counting Quantifiers: Complexity Results. DLT (2017)
Kamal Lodaya, Paritosh K. Pandya
Deterministic Temporal Logics and Interval Constraints. M4M@ICLA (2017)
Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing
Two-variable Logic with a Between Relation. LICS (2016)
Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing
Two-variable Logic with a Between Predicate. CoRR (2016)
Ramchandra Phawade, Kamal Lodaya
Kleene Theorems for Synchronous Products with Matching. Trans. Petri Nets Other Model. Concurr. 10 (2015)
Ramchandra Phawade, Kamal Lodaya
Kleene Theorems for Labelled Free Choice Nets. PNSE @ Petri Nets (2014)
M. Praveen, Kamal Lodaya
Parameterized complexity results for 1-safe Petri nets CoRR (2011)
M. Praveen, Kamal Lodaya
Parameterized Complexity Results for 1-safe Petri Nets. CONCUR (2011)
Kamal Lodaya, Madhavan Mukund, Ramchandra Phawade
Kleene Theorems for Product Systems. DCFS (2011)
Kalpesh Kapoor, Kamal Lodaya, Uday S. Reddy
Fine-grained Concurrency with Separation Logic. J. Philos. Log. 40 (5) (2011)
Kamal Lodaya, Meena Mahajan
Frontmatter, Table of Contents, Preface, Conference Organization, Author Index. FSTTCS (2010)
Kamal Lodaya, Paritosh K. Pandya, Simoni S. Shah
Around Dot Depth Two. Developments in Language Theory (2010)
Kamal Lodaya, A. V. Sreejith
LTL Can Be More Succinct. ATVA (2010)
M. Praveen, Kamal Lodaya
Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE. FSTTCS (2009)
M. Praveen, Kamal Lodaya
Analyzing Reachability for Some Petri Nets With Fast Growing Markings. Electron. Notes Theor. Comput. Sci. 223 (2008)
Kamal Lodaya, Paritosh K. Pandya, Simoni S. Shah
Marking the chops: an unambiguous temporal logic. IFIP TCS (2008)
Kamal Lodaya
Petri Nets, Event Structures and Algebra. Formal Models, Languages and Applications (2007)
Kamal Lodaya, Paritosh K. Pandya
A Dose of Timed Logic, in Guarded Measure. FORMATS (2006)
Kamal Lodaya
A regular viewpoint on processes and algebra. Acta Cybern. 17 (4) (2006)
Kamal Lodaya
Product Automata and Process Algebra. SEFM (2006)
Kamal Lodaya, D. Ranganayakulu, K. Rangarajan
Hierarchical Structure of 1-Safe Petri Nets. ASIAN (2003)
Kamal Lodaya, Pascal Weil
Rationality in Algebras with a Series Operation. Inf. Comput. 171 (2) (2001)
Kamal Lodaya, Ramaswamy Ramanujam
An Automaton Model of User-Controlled Navigation on the Web. CIAA (2000)
Kamal Lodaya, Pascal Weil
Series-parallel languages and the bounded-width property. Theor. Comput. Sci. 237 (1-2) (2000)
Kamal Lodaya
Sharpening the Undecidability of Interval Temporal Logic. ASIAN (2000)
Kamal Lodaya, Pascal Weil
Series-Parallel Posets: Algebra, Automata and Languages. STACS (1998)
Kamal Lodaya, Pascal Weil
A Kleene Iteration for Parallelism. FSTTCS (1998)
Kamal Lodaya, Rohit Parikh, Ramaswamy Ramanujam, P. S. Thiagarajan
A Logical Study of Distributed Transition Systems Inf. Comput. 119 (1) (1995)
Kamal Lodaya, P. S. Thiagarajan
Decidability of a Partial Order Based Temporal Logic. ICALP (1993)
Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan
Temporal Logics for Communicating Sequential Agents: I. Int. J. Found. Comput. Sci. 3 (2) (1992)
Kamal Lodaya, Ramaswamy Ramanujam
Tense Logics for Local Reasoning in Distributed Systems. FSTTCS (1991)
Kamal Lodaya, R. K. Shyamasundar
Proof Theory for Exception Handling in a Tasking Environment. Acta Informatica 28 (1) (1990)
Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan
A logic for distributed transition systems. REX Workshop (1988)
Kamal Lodaya, P. S. Thiagarajan
A Modal Logic for a Subclass of Event Structures. ICALP (1987)
Ramaswamy Ramanujam, Kamal Lodaya
Proving Fairness of Schedulers. Logic of Programs (1985)