io-port 06013673 Kapoor, Kalpesh; Lodaya, Kamal; Reddy, Uday S.

J. Philos. Log. 40, No. 5, 583-632 (2011).

io-port 05945202 Praveen, M.; Lodaya, Kamal

Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 ‒ concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 358-372 (2011).

io-port 05934419 Lodaya, Kamal; Mukund, Madhavan; Phawade, Ramchandra

Holzer, Markus (ed.) et al., Descriptional complexity of formal systems. 13th international workshop, DCFS 2011, Gießen/Limburg, Germany, July 25‒27, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22599-4/pbk). Lecture Notes in Computer Science 6808, 235-247 (2011).

io-port 05928632 Praveen, M.; Lodaya, Kamal

Comput. Res. Repos. 2011, Article No. 1106.2122 (2011).

io-port 70005186 Praveen, M.; Lodaya, Kamal

CONCUR, 358-372 (2011).

io-port 70829384 Lodaya, Kamal; Mukund, Madhavan; Phawade, Ramchandra

DCFS, 235-247 (2011).

io-port 05895310 Lodaya, Kamal (ed.); Mahajan, Meena (ed.)

LIPICS ‒ Leibniz International Proceedings in Informatics 8. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-23-1). 516~p., electronic. (2010).

io-port 05795634 Lodaya, Kamal; Sreejith, A V

Bouajjani, Ahmed (ed.) et al., Automated technology for verification and analysis. 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15642-7/pbk). Lecture Notes in Computer Science 6252, 245-258 (2010).

io-port 05776432 Lodaya, Kamal; Pandya, Paritosh K.; Shah, Simoni S.

Gao, Yuan (ed.) et al., Developments in language theory. 14th international conference, DLT 2010, London, ON, Canada, August 17‒20, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14454-7/pbk). Lecture Notes in Computer Science 6224, 303-315 (2010).

io-port 70354923 Lodaya, Kamal; Sreejith, A. V.

ATVA, 245-258 (2010).

io-port 70552728 Lodaya, Kamal; Pandya, Paritosh K.; Shah, Simoni S.

Developments in Language Theory, 303-315 (2010).

io-port 70960750 Lodaya, Kamal; Mahajan, Meena

FSTTCS (2010).

io-port 20009128 Lodaya, Kamal (ed.); Mahajan, Meena (ed.)

LIPIcs: FSTTCS 8 (2010).

io-port 06098240 Praveen, M.; Lodaya, Kamal

Kannan, Ravi (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2009), December 15‒17, 2009, Kanpur, India. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-13-2). LIPICS ‒ Leibniz International Proceedings in Informatics 4, 347-358, electronic only (2009).

io-port 05587276 Lodaya, Kamal; Paul, Soumya

Lodaya, Kamal (ed.) et al., Perspectives in concurrency. A Festschrift for P. S. Thiagarajan. Hyderabad: Universities Press; Boca Raton, FL: CRC Press (ISBN 978-1-4398-0943-3/hbk). 317-333 (2009).

io-port 05555125 Lodaya, Kamal (ed.); Mukund, Madhavan (ed.); Ramanujan, R. (ed.)

Hyderabad: Universities Press; Boca Raton, FL: CRC Press (ISBN 978-1-4398-0943-3/hbk). vi, 506~p. \$~89.95 (2009).

io-port 70960654 Praveen, M.; Lodaya, Kamal

FSTTCS, 347-358 (2009).

io-port 05896741 Lodaya, Kamal

Chakraborty, Mihir K. (ed.) et al., Logic, Navya-Nyāya and applications. Homage to Bimal Krishna Matilal. Selected papers from the international conference on logic, Navya-Nyāya and applications, Kolkata, India, January 3‒7, 2007. London: College Publications (ISBN 978-1-904987-44-4/pbk). Studies in Logic (London) 15, 185-203 (2008).

io-port 05514548 Praveen, M.; Lodaya, Kamal

Electron. Notes Theor. Comput. Sci. 223, 215-237 (2008).

io-port 70563411 Lodaya, Kamal; Pandya, Paritosh K.; Shah, Simoni S.

IFIP TCS, 461-476 (2008).