Edit Profile Lodaya, Kamal Compute Distance To: Compute Author ID: lodaya.kamal Published as: Lodaya, K.; Lodaya, Kamal Documents Indexed: 36 Publications since 1985, including 4 Books all top 5 Co-Authors 6 single-authored 7 Ramanujam, Ramaswamy 6 Thiagarajan, Pazhamaneri Subramaniam 4 Pandya, Paritosh K. 4 Weil, Pascal 3 Mukund, Madhavan 3 Praveen, M. 2 Krebs, Andreas 2 Mahajan, Meena 2 Phawade, Ramchandra 2 Sreejith, A V 2 Straubing, Howard 1 Kapoor, Kalpesh 1 Parikh, Rohit 1 Paul, Soumya 1 Ramanujan, Ranga S. 1 Ranganayakulu, D. 1 Rangarajan, Krishnan 1 Reddy, Uday S. 1 Shah, Simoni S. 1 Shyamasundar, Rudrapatna Kallikote all top 5 Serials 2 Information and Computation 2 Lecture Notes in Computer Science 1 Acta Informatica 1 Acta Cybernetica 1 Journal of Philosophical Logic 1 Theoretical Computer Science 1 International Journal of Foundations of Computer Science 1 The Bulletin of Symbolic Logic 1 Sādhanā 1 Logical Methods in Computer Science 1 LIPIcs – Leibniz International Proceedings in Informatics Fields 32 Computer science (68-XX) 17 Mathematical logic and foundations (03-XX) 5 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications 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.68042Lodaya, K.; Weil, P. 24 2000 Series-parallel posets: Algebra, automata and languages. Zbl 0892.68041Lodaya, K.; Weil, P. 14 1998 Rationality in algebras with a series operation. Zbl 1005.68100Lodaya, K.; Weil, P. 13 2001 A logical study of distributed transition systems. Zbl 0832.68075Lodaya, Kamal; Parikh, Rohit; Ramanujam, R.; Thiagarajan, P. S. 12 1995 Sharpening the undecidability of interval temporal logic. Zbl 0987.03015Lodaya, Kamal 11 2000 A Kleene iteration for parallelism. Zbl 0932.68060Lodaya, Kamal; Weil, Pascal 8 1998 A modal logic for a subclass of event structures. Zbl 0643.68026Lodaya, K.; Thiagarajan, P. S. 5 1987 Around dot depth two. Zbl 1250.68167Lodaya, Kamal; Pandya, Paritosh K.; Shah, Simoni S. 4 2010 Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE. Zbl 1248.68356Praveen, M.; Lodaya, Kamal 4 2009 Hierarchical structure of 1-safe Petri nets. Zbl 1215.68156Lodaya, Kamal; Ranganayakulu, D.; Rangarajan, K. 4 2003 Temporal logics for communicating sequential agents. I. Zbl 0754.68085Lodaya, Kamal; Ramanujam, R.; Thiagarajan, P. S. 4 1992 Models and logics for true concurrency. Zbl 1075.68604Lodaya, Kamal; Mukund, Madhavan; Ramanujam, R.; Thiagarajan, P. S. 3 1992 Two-variable logic with a between relation. Zbl 1394.03011Krebs, Andreas; Lodaya, Kamal; Pandya, Paritosh; Straubing, Howard 2 2016 Parameterized complexity results for 1-safe Petri nets. Zbl 1238.68103Praveen, M.; Lodaya, Kamal 2 2011 Kleene theorems for product systems. Zbl 1341.68132Lodaya, Kamal; Mukund, Madhavan; Phawade, Ramchandra 2 2011 LTL can be more succinct. Zbl 1305.68120Lodaya, Kamal; Sreejith, A V 2 2010 Two-variable first order logic with counting quantifiers: complexity results. Zbl 06791082Lodaya, Kamal; Sreejith, A. V. 1 2017 Analyzing reachability for some Petri nets with fast growing markings. Zbl 1337.68190Praveen, M.; Lodaya, Kamal 1 2008 A dose of timed logic, in guarded measure. Zbl 1141.03310Lodaya, Kamal; Pandya, Paritosh K. 1 2006 A regular viewpoint on processes and algebra. Zbl 1120.68078Lodaya, 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.68008Lodaya, Kamal (ed.); Mahajan, Meena (ed.) 1 2004 A logic for distributed transition systems. (Technical contribution). Zbl 0683.68053Lodaya, K.; Ramanujam, R.; Thiagarajan, P. S. 1 1989 Two-variable first order logic with counting quantifiers: complexity results. Zbl 06791082Lodaya, Kamal; Sreejith, A. V. 1 2017 Two-variable logic with a between relation. Zbl 1394.03011Krebs, Andreas; Lodaya, Kamal; Pandya, Paritosh; Straubing, Howard 2 2016 Parameterized complexity results for 1-safe Petri nets. Zbl 1238.68103Praveen, M.; Lodaya, Kamal 2 2011 Kleene theorems for product systems. Zbl 1341.68132Lodaya, Kamal; Mukund, Madhavan; Phawade, Ramchandra 2 2011 Around dot depth two. Zbl 1250.68167Lodaya, Kamal; Pandya, Paritosh K.; Shah, Simoni S. 4 2010 LTL can be more succinct. Zbl 1305.68120Lodaya, Kamal; Sreejith, A V 2 2010 Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE. Zbl 1248.68356Praveen, M.; Lodaya, Kamal 4 2009 Analyzing reachability for some Petri nets with fast growing markings. Zbl 1337.68190Praveen, M.; Lodaya, Kamal 1 2008 A dose of timed logic, in guarded measure. Zbl 1141.03310Lodaya, Kamal; Pandya, Paritosh K. 1 2006 A regular viewpoint on processes and algebra. Zbl 1120.68078Lodaya, 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.68008Lodaya, Kamal (ed.); Mahajan, Meena (ed.) 1 2004 Hierarchical structure of 1-safe Petri nets. Zbl 1215.68156Lodaya, Kamal; Ranganayakulu, D.; Rangarajan, K. 4 2003 Rationality in algebras with a series operation. Zbl 1005.68100Lodaya, K.; Weil, P. 13 2001 Series-parallel languages and the bounded-width property. Zbl 0939.68042Lodaya, K.; Weil, P. 24 2000 Sharpening the undecidability of interval temporal logic. Zbl 0987.03015Lodaya, Kamal 11 2000 Series-parallel posets: Algebra, automata and languages. Zbl 0892.68041Lodaya, K.; Weil, P. 14 1998 A Kleene iteration for parallelism. Zbl 0932.68060Lodaya, Kamal; Weil, Pascal 8 1998 A logical study of distributed transition systems. Zbl 0832.68075Lodaya, Kamal; Parikh, Rohit; Ramanujam, R.; Thiagarajan, P. S. 12 1995 Temporal logics for communicating sequential agents. I. Zbl 0754.68085Lodaya, Kamal; Ramanujam, R.; Thiagarajan, P. S. 4 1992 Models and logics for true concurrency. Zbl 1075.68604Lodaya, Kamal; Mukund, Madhavan; Ramanujam, R.; Thiagarajan, P. S. 3 1992 A logic for distributed transition systems. (Technical contribution). Zbl 0683.68053Lodaya, K.; Ramanujam, R.; Thiagarajan, P. S. 1 1989 A modal logic for a subclass of event structures. Zbl 0643.68026Lodaya, K.; Thiagarajan, P. S. 5 1987 all cited Publications top 5 cited Publications 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 all top 5 Cited in 22 Serials 19 Theoretical Computer Science 5 Information and Computation 3 Journal of Computer and System Sciences 3 International Journal of Foundations of Computer Science 3 Journal of Logical and Algebraic Methods in Programming 2 Acta Informatica 2 Formal Methods in System Design 1 Discrete Mathematics 1 Linear and Multilinear Algebra 1 Information Sciences 1 Journal of Philosophical Logic 1 Annals of Pure and Applied Logic 1 Algorithmica 1 Journal of Automated Reasoning 1 Distributed Computing 1 RAIRO. Informatique Théorique et Applications 1 Combinatorics, Probability and Computing 1 Annals of Mathematics and Artificial Intelligence 1 RAIRO. Theoretical Informatics and Applications 1 Sādhanā 1 Logical Methods in Computer Science 1 Frontiers of Computer Science all top 5 Cited in 10 Fields 64 Computer science (68-XX) 34 Mathematical logic and foundations (03-XX) 5 Combinatorics (05-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 4 Group theory and generalizations (20-XX) 2 General algebraic systems (08-XX) 1 History and biography (01-XX) 1 Number theory (11-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year