Proving Fairness of Schedulers. - Ramaswamy Ramanujam; Kamal Lodaya (Logic of Programs, 1985)

A Modal Logic for a Subclass of Event Structures. - Kamal Lodaya; P. S. Thiagarajan (ICALP, 1987)

A logic for distributed transition systems. - Kamal Lodaya; Ramaswamy Ramanujam; P. S. Thiagarajan (REX Workshop, 1988)

Proof Theory for Exception Handling in a Tasking Environment. - Kamal Lodaya; R. K. Shyamasundar (Acta Informatica, 1990)

Tense Logics for Local Reasoning in Distributed Systems. - Kamal Lodaya; Ramaswamy Ramanujam (FSTTCS, 1991)

Temporal Logics for Communicating Sequential Agents: I. - Kamal Lodaya; Ramaswamy Ramanujam; P. S. Thiagarajan (Int. J. Found. Comput. Sci., 1992)

Decidability of a Partial Order Based Temporal Logic. - Kamal Lodaya; P. S. Thiagarajan (ICALP, 1993)

A Logical Study of Distributed Transition Systems - Kamal Lodaya; Rohit Parikh; Ramaswamy Ramanujam; P. S. Thiagarajan (Inf. Comput., 1995)

A Kleene Iteration for Parallelism. - Kamal Lodaya; Pascal Weil (FSTTCS, 1998)

Series-Parallel Posets: Algebra, Automata and Languages. - Kamal Lodaya; Pascal Weil (STACS, 1998)

Sharpening the Undecidability of Interval Temporal Logic. - Kamal Lodaya (ASIAN, 2000)

An Automaton Model of User-Controlled Navigation on the Web. - Kamal Lodaya; Ramaswamy Ramanujam (CIAA, 2000)

Series-parallel languages and the bounded-width property. - Kamal Lodaya; Pascal Weil (Theor. Comput. Sci., 2000)

Rationality in Algebras with a Series Operation. - Kamal Lodaya; Pascal Weil (Inf. Comput., 2001)

Hierarchical Structure of 1-Safe Petri Nets. - Kamal Lodaya; D. Ranganayakulu; K. Rangarajan (ASIAN, 2003)

A Dose of Timed Logic, in Guarded Measure. - Kamal Lodaya; Paritosh K. Pandya (FORMATS, 2006)

Product Automata and Process Algebra. - Kamal Lodaya (SEFM, 2006)

A regular viewpoint on processes and algebra. - Kamal Lodaya (Acta Cybern., 2006)

Petri Nets, Event Structures and Algebra. - Kamal Lodaya (Formal Models, Languages and Applications, 2007)

Marking the chops: an unambiguous temporal logic. - Kamal Lodaya; Paritosh K. Pandya; Simoni S. Shah (IFIP TCS, 2008)

Analyzing Reachability for Some Petri Nets With Fast Growing Markings. - M. Praveen; Kamal Lodaya (RP, 2008)

Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE. - M. Praveen; Kamal Lodaya (FSTTCS, 2009)

LTL Can Be More Succinct. - Kamal Lodaya; A. V. Sreejith (ATVA, 2010)

Around Dot Depth Two. - Kamal Lodaya; Paritosh K. Pandya; Simoni S. Shah (Developments in Language Theory, 2010)

Frontmatter, Table of Contents, Preface, Conference Organization, Author Index. - Kamal Lodaya; Meena Mahajan (FSTTCS, 2010)

Parameterized Complexity Results for 1-safe Petri Nets. - M. Praveen; Kamal Lodaya (CONCUR, 2011)

Kleene Theorems for Product Systems. - Kamal Lodaya; Madhavan Mukund; Ramchandra Phawade (DCFS, 2011)

Fine-grained Concurrency with Separation Logic. - Kalpesh Kapoor; Kamal Lodaya; Uday S. Reddy (J. Philos. Log., 2011)

A Language-Theoretic View of Verification. - Kamal Lodaya (Modern Applications of Automata Theory, 2012)

Kleene Theorems for Labelled Free Choice Nets. - Ramchandra Phawade; Kamal Lodaya (PNSE @ Petri Nets, 2014)

Kleene Theorems for Synchronous Products with Matching. - Ramchandra Phawade; Kamal Lodaya (Trans. Petri Nets Other Model. Concurr., 2015)

Two-variable Logic with a Between Relation. - Andreas Krebs; Kamal Lodaya; Paritosh K. Pandya; Howard Straubing (LICS, 2016)

Two-variable Logic with a Between Predicate. - Andreas Krebs; Kamal Lodaya; Paritosh K. Pandya; Howard Straubing (CoRR, 2016)

Two-Variable First Order Logic with Counting Quantifiers: Complexity Results. - Kamal Lodaya; A. V. Sreejith (DLT, 2017)

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. - Kamal Lodaya (Bull. Symb. Log., 2017)

Deterministic Temporal Logics and Interval Constraints. - Kamal Lodaya; Paritosh K. Pandya (M4M@ICLA, 2017)

An Algebraic Decision Procedure for Two-Variable Logic with a Between Relation. - Andreas Krebs; Kamal Lodaya; Paritosh K. Pandya; Howard Straubing (CSL, 2018)

Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership. - Andreas Krebs; Kamal Lodaya; Paritosh K. Pandya; Howard Straubing (Log. Methods Comput. Sci., 2020)

Agent-update Models. - Shikha Singh 007; Kamal Lodaya; Deepak Khemani (CoRR, 2022)

Two Ways to Scare a Gruffalo. - Shikha Singh 007; Kamal Lodaya; Deepak Khemani (ICLA, 2023)

Verification of Camera-Based Autonomous Systems. - Habeeb P; Nabarun Deka; Deepak D'Souza; Kamal Lodaya; Pavithra Prabhakar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Interval Image Abstraction for Verification of Camera-Based Autonomous Systems. - Habeeb P; Deepak D'Souza; Kamal Lodaya; Pavithra Prabhakar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)