- Proceedings of the 16th International Symposium on Theoretical Aspects of Software Engineering, Cluj-Napoca, Romania, 08-10 July 2022
- Slides (PDF)
- Extended Report (PDF)
- Proceedings of the 14th International Colloquium on Theoretical Aspects of Computing - ICTAC 2017 LNCS 10580 Springer-Verlag 2017
- Slides (PDF)
- Paper (PDF)
- Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, Shanghai, China 17-19 July 2016
- Slides (PDF)
- Paper (PDF)
- Proceedings of the 9th India Software Engineering Conference, Goa, India 18-20 Feb 2016, pp 59-69.
- Slides (PDF)
- Paper (PDF)
- Proceedings 25th International Conference on Concurrency Theory, Rome, Italy, 1-6 September 2014, LNCS vol. 8704 (eds.) Paolo Baldan, Daniele Gorla, Springer-Verlag 2014.
- Slides (PDF)
- Paper (PDF)
- Proceedings 14th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2014), Marienstatt im Westerwald, Germany, 28 April - 1 May 2014, Springer LNCS vol. 8428, (eds.) P. Höfner, P. Jipsen, W. Kahl, M. E. Müller
- Paper (PDF)
- Slides (PDF)
- Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics (EXPRESS/SOS 2013), Buenos Aires, Argentina, 26th August, 2013, Electronic Proceedings in Theoretical Computer Science 120, pp. 47-62. Published: 26th July 2013, (eds.) Johannes Borgström and Bas Luttik.
- Slides (PDF)
- Paper (PDF)
- Contributed talk in Computability in Europe 2013, July 1-5, 2013, Milan, Italy.
- 5th IPM International Conference on. Fundamentals of Software Engineering (FSEN 2013), 24 - 26 April, 2013. Tehran, Iran. Lecture Notes in Computer Science 8161, (eds) F. Arbab and M. Sirjani.
- Paper (PDF)
- 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.
- PDF version
- 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
- Information and Computation, Volume 79, Issue 3, December 1988, Pages 210-256
- pdf version
- Proceedings FSTTCS 6, LNCS, Springer-Verlag 1986.
- Pdf scanned