×

zbMATH — the first resource for mathematics

Lodaya, Kamal

Compute Distance To:
Author ID: lodaya.kamal Recent zbMATH articles by "Lodaya, Kamal"
Published as: Lodaya, K.; Lodaya, Kamal
Documents Indexed: 36 Publications since 1985, including 4 Books

Publications by Year

Citations contained in zbMATH

22 Publications have been cited 120 times in 75 Documents Cited by Year
Series-parallel languages and the bounded-width property. Zbl 0939.68042
Lodaya, K.; Weil, P.
24
2000
Series-parallel posets: Algebra, automata and languages. Zbl 0892.68041
Lodaya, K.; Weil, P.
14
1998
Rationality in algebras with a series operation. Zbl 1005.68100
Lodaya, K.; Weil, P.
13
2001
A logical study of distributed transition systems. Zbl 0832.68075
Lodaya, Kamal; Parikh, Rohit; Ramanujam, R.; Thiagarajan, P. S.
12
1995
Sharpening the undecidability of interval temporal logic. Zbl 0987.03015
Lodaya, Kamal
11
2000
A Kleene iteration for parallelism. Zbl 0932.68060
Lodaya, Kamal; Weil, Pascal
8
1998
A modal logic for a subclass of event structures. Zbl 0643.68026
Lodaya, K.; Thiagarajan, P. S.
5
1987
Around dot depth two. Zbl 1250.68167
Lodaya, Kamal; Pandya, Paritosh K.; Shah, Simoni S.
4
2010
Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE. Zbl 1248.68356
Praveen, M.; Lodaya, Kamal
4
2009
Hierarchical structure of 1-safe Petri nets. Zbl 1215.68156
Lodaya, Kamal; Ranganayakulu, D.; Rangarajan, K.
4
2003
Temporal logics for communicating sequential agents. I. Zbl 0754.68085
Lodaya, Kamal; Ramanujam, R.; Thiagarajan, P. S.
4
1992
Models and logics for true concurrency. Zbl 1075.68604
Lodaya, Kamal; Mukund, Madhavan; Ramanujam, R.; Thiagarajan, P. S.
3
1992
Two-variable logic with a between relation. Zbl 1394.03011
Krebs, Andreas; Lodaya, Kamal; Pandya, Paritosh; Straubing, Howard
2
2016
Parameterized complexity results for 1-safe Petri nets. Zbl 1238.68103
Praveen, M.; Lodaya, Kamal
2
2011
Kleene theorems for product systems. Zbl 1341.68132
Lodaya, Kamal; Mukund, Madhavan; Phawade, Ramchandra
2
2011
LTL can be more succinct. Zbl 1305.68120
Lodaya, Kamal; Sreejith, A V
2
2010
Two-variable first order logic with counting quantifiers: complexity results. Zbl 06791082
Lodaya, Kamal; Sreejith, A. V.
1
2017
Analyzing reachability for some Petri nets with fast growing markings. Zbl 1337.68190
Praveen, M.; Lodaya, Kamal
1
2008
A dose of timed logic, in guarded measure. Zbl 1141.03310
Lodaya, Kamal; Pandya, Paritosh K.
1
2006
A regular viewpoint on processes and algebra. Zbl 1120.68078
Lodaya, Kamal
1
2006
FSTTCS 2004: Foundations of software technology and theoretical computer science. 24th international conference, Chennai, India, December 16–18, 2004. Proceedings. Zbl 1063.68008
Lodaya, Kamal (ed.); Mahajan, Meena (ed.)
1
2004
A logic for distributed transition systems. (Technical contribution). Zbl 0683.68053
Lodaya, K.; Ramanujam, R.; Thiagarajan, P. S.
1
1989
Two-variable first order logic with counting quantifiers: complexity results. Zbl 06791082
Lodaya, Kamal; Sreejith, A. V.
1
2017
Two-variable logic with a between relation. Zbl 1394.03011
Krebs, Andreas; Lodaya, Kamal; Pandya, Paritosh; Straubing, Howard
2
2016
Parameterized complexity results for 1-safe Petri nets. Zbl 1238.68103
Praveen, M.; Lodaya, Kamal
2
2011
Kleene theorems for product systems. Zbl 1341.68132
Lodaya, Kamal; Mukund, Madhavan; Phawade, Ramchandra
2
2011
Around dot depth two. Zbl 1250.68167
Lodaya, Kamal; Pandya, Paritosh K.; Shah, Simoni S.
4
2010
LTL can be more succinct. Zbl 1305.68120
Lodaya, Kamal; Sreejith, A V
2
2010
Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE. Zbl 1248.68356
Praveen, M.; Lodaya, Kamal
4
2009
Analyzing reachability for some Petri nets with fast growing markings. Zbl 1337.68190
Praveen, M.; Lodaya, Kamal
1
2008
A dose of timed logic, in guarded measure. Zbl 1141.03310
Lodaya, Kamal; Pandya, Paritosh K.
1
2006
A regular viewpoint on processes and algebra. Zbl 1120.68078
Lodaya, Kamal
1
2006
FSTTCS 2004: Foundations of software technology and theoretical computer science. 24th international conference, Chennai, India, December 16–18, 2004. Proceedings. Zbl 1063.68008
Lodaya, Kamal (ed.); Mahajan, Meena (ed.)
1
2004
Hierarchical structure of 1-safe Petri nets. Zbl 1215.68156
Lodaya, Kamal; Ranganayakulu, D.; Rangarajan, K.
4
2003
Rationality in algebras with a series operation. Zbl 1005.68100
Lodaya, K.; Weil, P.
13
2001
Series-parallel languages and the bounded-width property. Zbl 0939.68042
Lodaya, K.; Weil, P.
24
2000
Sharpening the undecidability of interval temporal logic. Zbl 0987.03015
Lodaya, Kamal
11
2000
Series-parallel posets: Algebra, automata and languages. Zbl 0892.68041
Lodaya, K.; Weil, P.
14
1998
A Kleene iteration for parallelism. Zbl 0932.68060
Lodaya, Kamal; Weil, Pascal
8
1998
A logical study of distributed transition systems. Zbl 0832.68075
Lodaya, Kamal; Parikh, Rohit; Ramanujam, R.; Thiagarajan, P. S.
12
1995
Temporal logics for communicating sequential agents. I. Zbl 0754.68085
Lodaya, Kamal; Ramanujam, R.; Thiagarajan, P. S.
4
1992
Models and logics for true concurrency. Zbl 1075.68604
Lodaya, Kamal; Mukund, Madhavan; Ramanujam, R.; Thiagarajan, P. S.
3
1992
A logic for distributed transition systems. (Technical contribution). Zbl 0683.68053
Lodaya, K.; Ramanujam, R.; Thiagarajan, P. S.
1
1989
A modal logic for a subclass of event structures. Zbl 0643.68026
Lodaya, K.; Thiagarajan, P. S.
5
1987
all top 5

Cited by 111 Authors

11 Montanari, Angelo
8 Lodaya, Kamal
6 Bresolin, Davide
6 Sala, Pietro
5 Bedon, Nicolas
5 Sciavicco, Guido
4 Della Monica, Dario
4 Mukund, Madhavan
4 Thiagarajan, Pazhamaneri Subramaniam
3 Ésik, Zoltán
3 Goranko, Valentin F.
3 Kuske, Dietrich
3 Molinari, Alberto
3 Peron, Adriano
3 Praveen, M.
3 Ramanujam, Ramaswamy
3 Weil, Pascal
2 Bozzelli, Laura
2 Brunet, Paul
2 Hashiguchi, Kosaburo
2 Jimbo, Shuji
2 Lucanu, Dorel
2 Murano, Aniello
2 Németh, Zoltán L.
2 Pandya, Paritosh K.
2 Phawade, Ramchandra
2 Walukiewicz, Igor
1 Alur, Rajeev
1 Ambroszkiewicz, Stanislaw
1 Amrane, Amazigh
1 Basin, David A.
1 Bednarczyk, Bartosz
1 Caleiro, Carlos
1 Charatonik, Witold
1 Cheng, Allan
1 Choffrut, Christian
1 Courcelle, Bruno
1 Dalmau, Víctor
1 Demri, Stéphane P.
1 Diekert, Volker
1 Dimitrova, Rayna
1 Ding, Zuohua
1 Dolinka, Igor
1 Droste, Manfred
1 Eppstein, David Arthur
1 Fanchon, Jean
1 Fernau, Henning
1 Fürer, Martin
1 Garavel, Hubert
1 Gastin, Paul
1 Gazdag, Zsolt
1 Ge, Qi-Wei
1 Heggernes, Pinar
1 Jipsen, Peter
1 Kappé, Tobias
1 Kasiviswanathan, Shiva Prasad
1 Kesten, Yonit
1 Kieroński, Emanuel
1 Konur, Savas
1 Kopecki, Steffen
1 Krebs, Andreas
1 Krishna, Shankara Narayanan
1 Krokhin, Andrei A.
1 Krötzsch, Markus
1 Kufleitner, Manfred
1 Kuusisto, Antti
1 Larose, Benoit
1 Laugerotte, Éric
1 Lauser, Alexander
1 Luque, Jean-Gabriel
1 Luttik, Bas
1 Madnani, Khushraj
1 Majumdar, Rupak
1 Masini, Andrea
1 Masopust, Tomáš
1 Mathissen, Christian
1 McMillan, Kenneth L.
1 Meinecke, Ingmar
1 Mignot, Ludovic
1 Morin, Rémi
1 Moshier, M. Andrew
1 Nicart, Florent
1 Parikh, Rohit
1 Pazzaglia, Marco
1 Peled, Doron A.
1 Penczek, Wojciech
1 Perelli, Giuseppe
1 Piterman, Nir
1 Pnueli, Amir
1 Pous, Damien
1 Puppis, Gabriele
1 Ramanujam, Ryan
1 Ramos, Jaime
1 Rispal, Chloé
1 Sakakibara, Naoto
1 Schettini, A. Maggiolo
1 Shen, Hui
1 Silva, Alexandra
1 Simons, Joseph A.
1 Sohoni, Milind A.
...and 11 more Authors

Citations by Year