- 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012. Lecture Notes in Computer Science 7358 Springer 2012, ISBN 978-3-642-31423-0
- Paper (PDF)
- Slides (PDF)
- Perspectives in Concurrency Theory (eds. Lodaya K, Mukund M, Ramanujam R) , Universities Press 2009 (ISBN 978-81-7371-652-2).
- Paper (PDF)
- Proceedings 4th IEEE International Conference on Software Engineering and Formal Methods , Pune, India, IEEE Computer Society Press, 2006.
- Paper (PDF)
- Slides (PDF)
- Proceedings of the 2006 international workshop on Dynamic systems analysis, Shanghai, China, ACM Press, 2006
- Proceedings Formal Techniques for Networked and Distributed Systems - FORTE 2005, Taipei, Taiwan, October 2-5, 2005, LNCS 3731, Springer-Verlag 2005..
- Paper (PDF)
- Slides (PDF) presented at the Workshop on Formal Methods for Design and Analysis of Software, October 7-8, 2005, Microsoft Research India, Bangalore.
- Proceedings IPM International Workshop on Foundations of Software Engineering 2005, FSEN 2005, October 2005, Tehran, Iran.(PDF)
- Electronic Notes in Theoretical Computer Science, Vol. 159, pp. 23-39, May 2006.
- Paper (PDF).
- Slides (Postscript Gzipped))
- Proceedings Logic for Programming, Artificial Intelligence, and Reasoning, Montevideo, Uruguay, LNAI 3452, Springer-Verlag 2005.
- Postscript-Gzipped
- Slides (PDF))
- Proceedings First International Colloquium on THEORETICAL ASPECTS OF COMPUTING-ICTAC 2004, Guiyang, China, LNCS 3407, Springer-Verlag 2005.
- Paper (PDF)
- Slides (PDF)
- Proceedings Distributed Computing-IWDC 2004, Kolkata, India, LNCS 3326, Springer-Verlag 2004.
- Paper (PDF)
- Slides (Postscript-Gzipped))
- Slides. Postscript-gzipped
The IIT Delhi Concurrency Workbench |
| Slides (PDF) presented at the NWCV Workshop, Gandhinagar, May 2005 |
- Proceedings Asian 2000, Penang, Malaysia, LNCS vol. 1961, pp 162-181, Springer-Verlag 2000.
- Paper (Postscript-gzipped)
- Slitex slides (postscript-gzipped)
- HTML slides
- Chapter in The Compiler Design Handbook: Optimizations and Machine Code Generation (ed.) Y.N. Srikant & P. Sankar, CRC Press 2003.
- B. Tech. thesis. Postscript-gzipped
- Slides. Postscript-gzipped
- Slides: Workshop on Automata, Concurrency and Logic 2003, Chennai. Postscript-gzipped
- Technical Report.Postscript-gzipped
- Proceedings FST&TCS 16, LNCS, Springer-Verlag 1996.
- Minor revisions Postscript-gzipped
- Proceedings, Structures in Concurrency Theory, Springer Workshops in Computer Science Series, 1995.Postscript-gzipped
- Proceedings TACS '91, Sendai Japan, LNCS, Springer-Verlag 1991.
- Acta Informatica, Springer-Verlag 1992.
- Corrected, revised and extended version.Postscript-gzipped