Kamal Lodaya

According to our database, Kamal Lodaya authored at least 41 papers between 1985 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., October, 2023

Two Ways to Scare a Gruffalo.

Shikha Singh, Kamal Lodaya, Deepak Khemani

Proceedings of the Logic and Its Applications - 10th Indian Conference, 2023

2022

Agent-update Models.

Shikha Singh, Kamal Lodaya, Deepak Khemani

CoRR, 2022

2020

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

2018

An Algebraic Decision Procedure for Two-Variable Logic with a Between Relation.

Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2017

Deterministic Temporal Logics and Interval Constraints.

Kamal Lodaya, Paritosh K. Pandya

Proceedings of the Ninth Workshop on Methods for Modalities, 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

Two-Variable First Order Logic with Counting Quantifiers: Complexity Results.

Kamal Lodaya, A. V. Sreejith

Proceedings of the Developments in Language Theory - 21st International Conference, 2017

2016

Two-variable Logic with a Between Predicate.

Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing

CoRR, 2016

Two-variable Logic with a Between Relation.

Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015

Kleene Theorems for Synchronous Products with Matching.

Ramchandra Phawade, Kamal Lodaya

Trans. Petri Nets Other Model. Concurr., 2015

2014

Kleene Theorems for Labelled Free Choice Nets.

Ramchandra Phawade, Kamal Lodaya

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2012

A Language-Theoretic View of Verification.

Kamal Lodaya

Proceedings of the Modern Applications of Automata Theory., 2012

2011

Fine-grained Concurrency with Separation Logic.

Kalpesh Kapoor, Kamal Lodaya, Uday S. Reddy

J. Philos. Log., 2011

Kleene Theorems for Product Systems.

Kamal Lodaya, Madhavan Mukund, Ramchandra Phawade

Proceedings of the Descriptional Complexity of Formal Systems, 2011

Parameterized Complexity Results for 1-safe Petri Nets.

M. Praveen, Kamal Lodaya

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010

Frontmatter, Table of Contents, Preface, Conference Organization, Author Index.

Kamal Lodaya, Meena Mahajan

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010

Around Dot Depth Two.

Kamal Lodaya, Paritosh K. Pandya, Simoni S. Shah

Proceedings of the Developments in Language Theory, 14th International Conference, 2010

LTL Can Be More Succinct.

Kamal Lodaya, A. V. Sreejith

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE.

M. Praveen, Kamal Lodaya

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2009

2008

Analyzing Reachability for Some Petri Nets With Fast Growing Markings.

M. Praveen, Kamal Lodaya

Proceedings of the Second Workshop on Reachability Problems in Computational Models, 2008

Marking the chops: an unambiguous temporal logic.

Kamal Lodaya, Paritosh K. Pandya, Simoni S. Shah

Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

2007

Petri Nets, Event Structures and Algebra.

Kamal Lodaya

Proceedings of the Formal Models, 2007

2006

A regular viewpoint on processes and algebra.

Kamal Lodaya

Acta Cybern., 2006

Product Automata and Process Algebra.

Kamal Lodaya

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

A Dose of Timed Logic, in Guarded Measure.

Kamal Lodaya, Paritosh K. Pandya

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

2003

Hierarchical Structure of 1-Safe Petri Nets.

Kamal Lodaya, D. Ranganayakulu, K. Rangarajan

Proceedings of the Advances in Computing Science, 2003

2001

Rationality in Algebras with a Series Operation.

Kamal Lodaya, Pascal Weil

Inf. Comput., 2001

2000

Series-parallel languages and the bounded-width property.

Kamal Lodaya, Pascal Weil

Theor. Comput. Sci., 2000

An Automaton Model of User-Controlled Navigation on the Web.

Kamal Lodaya, Ramaswamy Ramanujam

Proceedings of the Implementation and Application of Automata, 2000

Sharpening the Undecidability of Interval Temporal Logic.

Kamal Lodaya

Proceedings of the Advances in Computing Science, 2000

1998

Series-Parallel Posets: Algebra, Automata and Languages.

Kamal Lodaya, Pascal Weil

Proceedings of the STACS 98, 1998

A Kleene Iteration for Parallelism.

Kamal Lodaya, Pascal Weil

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

1995

A Logical Study of Distributed Transition Systems

Kamal Lodaya, Rohit Parikh, Ramaswamy Ramanujam, P. S. Thiagarajan

Inf. Comput., May, 1995

1993

Decidability of a Partial Order Based Temporal Logic.

Kamal Lodaya, P. S. Thiagarajan

Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993

1992

Temporal Logics for Communicating Sequential Agents: I.

Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan

Int. J. Found. Comput. Sci., 1992

1991

Tense Logics for Local Reasoning in Distributed Systems.

Kamal Lodaya, Ramaswamy Ramanujam

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1991

1990

Proof Theory for Exception Handling in a Tasking Environment.

Kamal Lodaya, R. K. Shyamasundar

Acta Informatica, 1990

1988

A logic for distributed transition systems.

Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan

Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988

1987

A Modal Logic for a Subclass of Event Structures.

Kamal Lodaya, P. S. Thiagarajan

Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987

1985

Proving Fairness of Schedulers.

Ramaswamy Ramanujam, Kamal Lodaya

Proceedings of the Logics of Programs, 1985