Kamal Lodaya

47 papers A* 3A 1B 4C 3Journal 16Unranked 16
YearRankTypeTitle / Venue / Authors
2024 J jnl
Interval Image Abstraction for Verification of Camera-Based Autonomous Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Habeeb P, Deepak D'Souza, Kamal Lodaya, Pavithra Prabhakar
2023 — conf
Two Ways to Scare a Gruffalo.
ICLA
Shikha Singh, Kamal Lodaya, Deepak Khemani
2023 J jnl
Verification of Camera-Based Autonomous Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Habeeb P, Nabarun Deka, Deepak D'Souza, Kamal Lodaya, Pavithra Prabhakar
2022 J jnl
Agent-update Models.
CoRR
Shikha Singh, Kamal Lodaya, Deepak Khemani
2020 J jnl
Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership.
Log. Methods Comput. Sci.
Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing
2019 J jnl
Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership.
CoRR
Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing
2018 B conf
An Algebraic Decision Procedure for Two-Variable Logic with a Between Relation.
CSL
Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing
2017 — conf
Deterministic Temporal Logics and Interval Constraints.
M4M@ICLA
Kamal Lodaya, Paritosh K. Pandya
2017 J jnl
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.
Kamal Lodaya
2017 C conf
Two-Variable First Order Logic with Counting Quantifiers: Complexity Results.
DLT
Kamal Lodaya, A. V. Sreejith
2016 J jnl
Two-variable Logic with a Between Predicate.
CoRR
Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing
2016 A* conf
Two-variable Logic with a Between Relation.
LICS
Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing
2015 J jnl
Kleene Theorems for Synchronous Products with Matching.
Trans. Petri Nets Other Model. Concurr.
Ramchandra Phawade, Kamal Lodaya
2014 — conf
Kleene Theorems for Labelled Free Choice Nets.
PNSE @ Petri Nets
Ramchandra Phawade, Kamal Lodaya
2013 — ed.
Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
ICLA
Kamal Lodaya
2012 — ch.
A Language-Theoretic View of Verification.
Modern Applications of Automata Theory
Kamal Lodaya
2011 J jnl
Fine-grained Concurrency with Separation Logic.
J. Philos. Log.
Kalpesh Kapoor, Kamal Lodaya, Uday S. Reddy
2011 — conf
Kleene Theorems for Product Systems.
DCFS
Kamal Lodaya, Madhavan Mukund, Ramchandra Phawade
2011 B conf
Parameterized Complexity Results for 1-safe Petri Nets.
CONCUR
M. Praveen, Kamal Lodaya
2011 J jnl
Parameterized complexity results for 1-safe Petri nets
CoRR
M. Praveen, Kamal Lodaya
2010 C conf
Around Dot Depth Two.
Developments in Language Theory
Kamal Lodaya, Paritosh K. Pandya, Simoni S. Shah
2010 — conf
Frontmatter, Table of Contents, Preface, Conference Organization, Author Index.
FSTTCS
Kamal Lodaya, Meena Mahajan
2010 — ed.
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, Chennai, India, December 15-18, 2010
FSTTCS
Kamal Lodaya, Meena Mahajan
2010 B conf
LTL Can Be More Succinct.
ATVA
Kamal Lodaya, A. V. Sreejith
2009 — conf
Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE.
FSTTCS
M. Praveen, Kamal Lodaya
2008 — conf
Analyzing Reachability for Some Petri Nets With Fast Growing Markings.
RP
M. Praveen, Kamal Lodaya
2008 — conf
Marking the chops: an unambiguous temporal logic.
IFIP TCS
Kamal Lodaya, Paritosh K. Pandya, Simoni S. Shah
2007 — conf
Petri Nets, Event Structures and Algebra.
Formal Models, Languages and Applications
Kamal Lodaya
2006 — conf
A Dose of Timed Logic, in Guarded Measure.
FORMATS
Kamal Lodaya, Paritosh K. Pandya
2006 J jnl
A regular viewpoint on processes and algebra.
Acta Cybern.
Kamal Lodaya
2006 B conf
Product Automata and Process Algebra.
SEFM
Kamal Lodaya
2004 — ed.
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings
FSTTCS
Kamal Lodaya, Meena Mahajan
2003 — conf
Hierarchical Structure of 1-Safe Petri Nets.
ASIAN
Kamal Lodaya, D. Ranganayakulu, K. Rangarajan
2001 J jnl
Rationality in Algebras with a Series Operation.
Inf. Comput.
Kamal Lodaya, Pascal Weil
2000 C conf
An Automaton Model of User-Controlled Navigation on the Web.
CIAA
Kamal Lodaya, Ramaswamy Ramanujam
2000 J jnl
Series-parallel languages and the bounded-width property.
Theor. Comput. Sci.
Kamal Lodaya, Pascal Weil
2000 — conf
Sharpening the Undecidability of Interval Temporal Logic.
ASIAN
Kamal Lodaya
1998 — conf
A Kleene Iteration for Parallelism.
FSTTCS
Kamal Lodaya, Pascal Weil
1998 A conf
Series-Parallel Posets: Algebra, Automata and Languages.
STACS
Kamal Lodaya, Pascal Weil
1995 J jnl
A Logical Study of Distributed Transition Systems
Inf. Comput.
Kamal Lodaya, Rohit Parikh, Ramaswamy Ramanujam, P. S. Thiagarajan
1993 A* conf
Decidability of a Partial Order Based Temporal Logic.
ICALP
Kamal Lodaya, P. S. Thiagarajan
1992 J jnl
Temporal Logics for Communicating Sequential Agents: I.
Int. J. Found. Comput. Sci.
Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan
1991 — conf
Tense Logics for Local Reasoning in Distributed Systems.
FSTTCS
Kamal Lodaya, Ramaswamy Ramanujam
1990 J jnl
Proof Theory for Exception Handling in a Tasking Environment.
Acta Informatica
Kamal Lodaya, R. K. Shyamasundar
1988 — conf
A logic for distributed transition systems.
REX Workshop
Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan
1987 A* conf
A Modal Logic for a Subclass of Event Structures.
ICALP
Kamal Lodaya, P. S. Thiagarajan
1985 — conf
Proving Fairness of Schedulers.
Logic of Programs
Ramaswamy Ramanujam, Kamal Lodaya