Kamal Lodaya - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 38 from 38

2023

Two Ways to Scare a GruffaloShikha Singh 0007, Kamal Lodaya, Deepak Khemani. icla 2023: 48-67 [doi]

Verification of Camera-Based Autonomous SystemsHabeeb P, Nabarun Deka, Deepak D'Souza, Kamal Lodaya, Pavithra Prabhakar. tcad, 42(10):3450-3463, October 2023. [doi]

2020

Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membershipAndreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing. lmcs, 16(3), 2020. [doi]

2018

An Algebraic Decision Procedure for Two-Variable Logic with a Between RelationAndreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing. csl 2018: [doi]

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 ppKamal Lodaya. bsl, 23(2):203-204, 2017. [doi]

Two-Variable First Order Logic with Counting Quantifiers: Complexity ResultsKamal Lodaya, A. V. Sreejith. dlt 2017: 260-271 [doi]

2016

Two-variable Logic with a Between RelationAndreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing. lics 2016: 106-115 [doi]

2015

Kleene Theorems for Synchronous Products with MatchingRamchandra Phawade, Kamal Lodaya. topnoc, 10:84-108, 2015. [doi]

2014

Kleene Theorems for Labelled Free Choice NetsRamchandra Phawade, Kamal Lodaya. apn 2014: 75-89 [doi]

2012

A Language-Theoretic View of VerificationKamal Lodaya. In Modern Applications of Automata Theory. pages 149-170, 2012. [doi]

2011

Fine-grained Concurrency with Separation LogicKalpesh Kapoor, Kamal Lodaya, Uday S. Reddy. jphil, 40(5):583-632, 2011. [doi]

Kleene Theorems for Product SystemsKamal Lodaya, Madhavan Mukund, Ramchandra Phawade. dcfs 2011: 235-247 [doi]

Parameterized Complexity Results for 1-safe Petri NetsM. Praveen, Kamal Lodaya. concur 2011: 358-372 [doi]

2010

Around Dot Depth TwoKamal Lodaya, Paritosh K. Pandya, Simoni S. Shah. dlt 2010: 303-315 [doi]

LTL Can Be More SuccinctKamal Lodaya, A. V. Sreejith. ATVA 2010: 245-258 [doi]

Frontmatter, Table of Contents, Preface, Conference Organization, Author IndexKamal Lodaya, Meena Mahajan. fsttcs 2010: [doi]

2009

Modelchecking counting properties of 1-safe nets with buffers in paraPSPACEM. Praveen, Kamal Lodaya. fsttcs 2009: 347-358 [doi]

2008

Marking the chops: an unambiguous temporal logicKamal Lodaya, Paritosh K. Pandya, Simoni S. Shah. ifipTCS 2008: 461-476 [doi]

Analyzing Reachability for Some Petri Nets With Fast Growing MarkingsM. Praveen, Kamal Lodaya. ENTCS, 223:215-237, 2008. [doi]

2007

Petri Nets, Event Structures and AlgebraKamal Lodaya. BIRTHDAY 2007: 246-259

2006

Product Automata and Process AlgebraKamal Lodaya. SEFM 2006: 128-136 [doi]

A regular viewpoint on processes and algebraKamal Lodaya. actaC, 17(4):751-763, 2006. [doi]

A Dose of Timed Logic, in Guarded MeasureKamal Lodaya, Paritosh K. Pandya. formats 2006: 260-273 [doi]

2003

Hierarchical Structure of 1-Safe Petri NetsKamal Lodaya, D. Ranganayakulu, K. Rangarajan. asian 2003: 173-187 [doi]

2001

Rationality in Algebras with a Series OperationKamal Lodaya, Pascal Weil. iandc, 171(2):269-293, 2001. [doi]

2000

An Automaton Model of User-Controlled Navigation on the WebKamal Lodaya, Ramaswamy Ramanujam. wia 2001: 208-216 [doi]

Sharpening the Undecidability of Interval Temporal LogicKamal Lodaya. asian 2000: 290-298 [doi]

Series-parallel languages and the bounded-width propertyKamal Lodaya, Pascal Weil. TCS, 237(1-2):347-380, 2000. [doi]

1998

A Kleene Iteration for ParallelismKamal Lodaya, Pascal Weil. fsttcs 1998: 355-366

Series-Parallel Posets: Algebra, Automata and LanguagesKamal Lodaya, Pascal Weil. STACS 1998: 555-565

1995

A Logical Study of Distributed Transition SystemsKamal Lodaya, Rohit Parikh, Ramaswamy Ramanujam, P. S. Thiagarajan. iandc, 119(1):91-118, May 1995.

1993

Decidability of a Partial Order Based Temporal LogicKamal Lodaya, P. S. Thiagarajan. icalp 1993: 582-592

1992

Temporal Logics for Communicating Sequential Agents: IKamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan. ijfcs, 3(2):117-159, 1992.

1991

Tense Logics for Local Reasoning in Distributed SystemsKamal Lodaya, Ramaswamy Ramanujam. fsttcs 1991: 71-88

1990

Proof Theory for Exception Handling in a Tasking EnvironmentKamal Lodaya, R. K. Shyamasundar. ACTA, 28(1):7-41, 1990.

1988

A logic for distributed transition sytemsKamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan. rex 1989: 508-522

1987

A Modal Logic for a Subclass of Event StructuresKamal Lodaya, P. S. Thiagarajan. icalp 1987: 290-303

1985

Proving Fairness of SchedulersRamaswamy Ramanujam, Kamal Lodaya. lop 1985: 284-301

Sign in or sign up to see more results.

runs on WebDSL