Facile: A symmetric integration of concurrent and functional programming. - Alessandro Giacalone; Prateek Mishra; Sanjiva Prasad (Int. J. Parallel Program., 1989)

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

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

Models for Mobile Computing Agents. - Sanjiva Prasad (ACM Comput. Surv., 1996)

The Game of the Name in Cryptographic Tables. - Roberto M. Amadio; Sanjiva Prasad (ASIAN, 1999)

Reflecting BDDs in Coq. - Kumar Neeraj Verma; Jean Goubault-Larrecq; Sanjiva Prasad; S. Arun-Kumar (ASIAN, 2000)

Modelling IP Mobility. - Roberto M. Amadio; Sanjiva Prasad (Formal Methods Syst. Des., 2000)

Introduction to Operational Semantics. - Sanjiva Prasad; S. Arun-Kumar (The Compiler Design Handbook, 2002)

Effective Chemistry for Synchrony and Asynchrony. - Deepak Garg 001; Akash Lal; Sanjiva Prasad (IFIP TCS, 2004)

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

An Axiomatic Basis for Communication. - Martin Karsten; Srinivasan Keshav; Sanjiva Prasad (HotNets, 2006)

An axiomatic basis for communication. - Martin Karsten; Srinivasan Keshav; Sanjiva Prasad; Mirza Omer Beg (SIGCOMM, 2007)

Universal rich presence framework for intelligent call management. - Abhishek Prateek; Hridayesh Gupta; Sanjiva Prasad (ICUIMC, 2010)

An Operational Model for Multiprocessors with Caches. - Salil Joshi 002; Sanjiva Prasad (IFIP TCS, 2010)

ReKonf: A Reconfigurable Adaptive ManyCore Architecture. - Rajesh Kumar Pal; Kolin Paul; Sanjiva Prasad (ISPA, 2012)

A Modular Android-Based Multi-sensor mHealth System. - Avval Gupta; Anju Kansal; Kolin Paul; Sanjiva Prasad (BIOSTEC (Selected Papers), 2014)

mDROID - An Affordable Android based mHealth System. - Anju Kansal; Avval Gupta; Kolin Paul; Sanjiva Prasad (HEALTHINF, 2014)

Energy Efficient Dynamic Core Allocation for Video Decoding in Embedded Multicore Architectures. - Rajesh Kumar Pal; Kolin Paul; Sanjiva Prasad (HPCC/CSS/ICESS, 2014)

ReKonf: Dynamically reconfigurable multiCore architecture. - Rajesh Kumar Pal; Kolin Paul; Sanjiva Prasad (J. Parallel Distributed Comput., 2014)

Parametric information flow control in ehealth. - Chandrika Bhardwaj; Sanjiva Prasad (HealthCom, 2015)

Limited Mobility, Eventual Stability. - Lenore D. Zuck; Sanjiva Prasad (Haifa Verification Conference, 2015)

Designing for Scalability and Trustworthiness in mHealth Systems. - Sanjiva Prasad (ICDCIT, 2015)

A Switch, in Time. - Lenore D. Zuck; Sanjiva Prasad (TGC, 2015)

prasavGraph: Android based Labour Monitoring. - Shalini Singh; Kolin Paul; Geeta Yadav; Sanjiva Prasad (HEALTHINF, 2016)

Program Execution on Reconfigurable Multicore Architectures. - Sanjiva Prasad (PLACES, 2016)

Self-Similarity Breeds Resilience. - Sanjiva Prasad; Lenore D. Zuck (EXPRESS/SOS, 2016)

Dynamic core allocation for energy efficient video decoding in homogeneous and heterogeneous multicore architectures. - Rajesh Kumar Pal; Ierum Shanaya; Kolin Paul; Sanjiva Prasad (Future Gener. Comput. Syst., 2016)

Pravah: Parameterised Information Flow Control in e-Health. - Chandrika Bhardwaj; Sanjiva Prasad (Scalable Comput. Pract. Exp., 2016)

Best-by-Simulations: A Framework for Comparing Efficiency of Reconfigurable Multicore Architectures on Workloads with Deadlines. - Sanjiva Prasad (PLACES@ETAPS, 2017)

Lightweight Classification of IoT Malware Based on Image Recognition. - Jiawei Su; Danilo Vasconcellos Vargas; Sanjiva Prasad; Daniele Sgandurra; Yaokai Feng; Kouichi Sakurai (COMPSAC (2), 2018)

Best-by-simulations: A framework for comparing efficiency of reconfigurable architectures on workloads with deadlines. - Sanjiva Prasad (J. Log. Algebraic Methods Program., 2018)

DHOOM: Reusing Design-for-Debug Hardware for Online Monitoring. - Neetu Jindal; Sandeep Chandran; Preeti Ranjan Panda; Sanjiva Prasad; Abhay Mitra; Kunal Singhal; Shubham Gupta; Shikhar Tuli (DAC, 2019)

Only Connect, Securely. - Chandrika Bhardwaj; Sanjiva Prasad (FORTE, 2019)

Security Types for Synchronous Data Flow Systems. - Sanjiva Prasad; R. Madhukar Yerraguntla; Subodh Sharma 001 (MEMOCODE, 2020)

Normalising Lustre Preserves Security. - Sanjiva Prasad; R. Madhukar Yerraguntla (ICTAC, 2021)

Secure Information Flow Typing in LUSTRE. - Sanjiva Prasad; R. Madhukar Yerraguntla; Subodh Sharma 001 (CoRR, 2022)

Secure information flow connections. - Chandrika Bhardwaj; Sanjiva Prasad (J. Log. Algebraic Methods Program., 2022)

Logical Synchrony Plus Functional Processes Entail Observable Determinacy. - Sanjiva Prasad (MEMOCODE, 2024)