Sanjiva Prasad

Rajesh Kumar Pal, Kolin Paul, Sanjiva Prasad: ReKonf: A Reconfigurable Adaptive ManyCore Architecture. ISPA 2012: 182-191

Abhishek Prateek, Hridayesh Gupta, Sanjiva Prasad: Universal rich presence framework for intelligent call management. ICUIMC 2010: 39

Salil Joshi, Sanjiva Prasad: An Operational Model for Multiprocessors with Caches. IFIP TCS 2010: 371-385

Martin Karsten, S. Keshav, Sanjiva Prasad, Mirza Beg: An axiomatic basis for communication. SIGCOMM 2007: 217-228

Vikraman Arvind, Sanjiva Prasad (Eds.): FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings. Lecture Notes in Computer Science 4855, Springer 2007, isbn 978-3-540-77049-7

Rahul Agarwal, Mahender Bisht, S. N. Maheshwari, Sanjiva Prasad: Divide and Concur: Employing Chandra and Toueg's Consensus Algorithm in a Multi-level Setting. ICDCIT 2005: 172-183

Deepak Garg, Akash Lal, Sanjiva Prasad: Effective Chemistry for Synchrony and Asynchrony. IFIP TCS 2004: 479-492

Sanjiva Prasad, S. Arun-Kumar: Introduction to Operational Semantics. The Compiler Design Handbook 2002: 841-890

Roberto M. Amadio, Sanjiva Prasad: Modelling IP Mobility. Formal Methods in System Design 17(1): 61-99 (2000)

Kumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad, S. Arun-Kumar: Reflecting BDDs in Coq. ASIAN 2000: 162-181

Sanjiv Kapoor, Sanjiva Prasad (Eds.): Foundations of Software Technology and Theoretical Computer Science, 20th Conference, FST TCS 2000 New Delhi, India, December 13-15, 2000, Proceedings. Lecture Notes in Computer Science 1974, Springer 2000, isbn 3-540-41413-4

Roberto M. Amadio, Sanjiva Prasad: The Game of the Name in Cryptographic Tables. ASIAN 1999: 15-26

Roberto M. Amadio, Sanjiva Prasad: Modelling IP Mobility. CONCUR 1998: 301-316

Sanjiva Prasad: Models for Mobile Computing Agents. ACM Comput. Surv. 28(4es): 53 (1996)

Roberto M. Amadio, Sanjiva Prasad: Localities and Failures (Extended Abstract). FSTTCS 1994: 205-216

Sanjiva Prasad, Alessandro Giacalone, Prateek Mishra: Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming. ICALP 1990: 765-778

Alessandro Giacalone, Prateek Mishra, Sanjiva Prasad: Facile: A symmetric integration of concurrent and functional programming. International Journal of Parallel Programming 18(2): 121-160 (1989)

Alessandro Giacalone, Prateek Mishra, Sanjiva Prasad: FACILE: A Symmetric Integration of Concurrent and Functional Programming. TAPSOFT, Vol.2 1989: 184-209