default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSanjiva Prasad
Person information
- affiliation: ERNET, India
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c30]Sanjiva Prasad:
Logical Synchrony Plus Functional Processes Entail Observable Determinacy. MEMOCODE 2024: 63-68- 2022
- [j8]Chandrika Bhardwaj
, Sanjiva Prasad:
Secure information flow connections. J. Log. Algebraic Methods Program. 127: 100761 (2022) - [i5]Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma:
Secure Information Flow Typing in LUSTRE. CoRR abs/2201.00184 (2022) - 2021
- [c29]Sanjiva Prasad, R. Madhukar Yerraguntla:
Normalising Lustre Preserves Security. ICTAC 2021: 275-292 - [i4]Sanjiva Prasad, R. Madhukar Yerraguntla:
Normalising Lustre Preserves Security. CoRR abs/2105.10687 (2021) - 2020
- [c28]Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma:
Security Types for Synchronous Data Flow Systems. MEMOCODE 2020: 1-12 - [i3]Chandrika Bhardwaj, Sanjiva Prasad:
Secure Information Flow Connections. CoRR abs/2011.03319 (2020)
2010 – 2019
- 2019
- [c27]Neetu Jindal, Sandeep Chandran, Preeti Ranjan Panda, Sanjiva Prasad, Abhay Mitra, Kunal Singhal, Shubham Gupta, Shikhar Tuli:
DHOOM: Reusing Design-for-Debug Hardware for Online Monitoring. DAC 2019: 99 - [c26]Chandrika Bhardwaj, Sanjiva Prasad:
Only Connect, Securely. FORTE 2019: 75-92 - [i2]Chandrika Bhardwaj, Sanjiva Prasad:
Only Connect, Securely. CoRR abs/1903.02835 (2019) - 2018
- [j7]Sanjiva Prasad:
Best-by-simulations: A framework for comparing efficiency of reconfigurable architectures on workloads with deadlines. J. Log. Algebraic Methods Program. 100: 1-15 (2018) - [c25]Jiawei Su, Danilo Vasconcellos Vargas, Sanjiva Prasad, Daniele Sgandurra, Yaokai Feng, Kouichi Sakurai:
Lightweight Classification of IoT Malware Based on Image Recognition. COMPSAC (2) 2018: 664-669 - [i1]Jiawei Su, Danilo Vasconcellos Vargas, Sanjiva Prasad, Daniele Sgandurra, Yaokai Feng, Kouichi Sakurai:
Lightweight Classification of IoT Malware based on Image Recognition. CoRR abs/1802.03714 (2018) - 2017
- [c24]Sanjiva Prasad:
Best-by-Simulations: A Framework for Comparing Efficiency of Reconfigurable Multicore Architectures on Workloads with Deadlines. PLACES@ETAPS 2017: 61-71 - [e4]Sujata Ghosh, Sanjiva Prasad:
Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings. Lecture Notes in Computer Science 10119, Springer 2017, ISBN 978-3-662-54068-8 [contents] - 2016
- [j6]Rajesh Kumar Pal, Ierum Shanaya, Kolin Paul, Sanjiva Prasad:
Dynamic core allocation for energy efficient video decoding in homogeneous and heterogeneous multicore architectures. Future Gener. Comput. Syst. 56: 247-261 (2016) - [j5]Chandrika Bhardwaj, Sanjiva Prasad:
Pravah: Parameterised Information Flow Control in e-Health. Scalable Comput. Pract. Exp. 17(3): 171-188 (2016) - [c23]Shalini Singh, Kolin Paul, Geeta Yadav, Sanjiva Prasad:
prasavGraph: Android based Labour Monitoring. HEALTHINF 2016: 458-466 - [c22]Sanjiva Prasad, Lenore D. Zuck:
Self-Similarity Breeds Resilience. EXPRESS/SOS 2016: 30-44 - [c21]Sanjiva Prasad:
Program Execution on Reconfigurable Multicore Architectures. PLACES 2016: 83-91 - [e3]Nikolaj S. Bjørner, Sanjiva Prasad, Laxmi Parida:
Distributed Computing and Internet Technology - 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings. Lecture Notes in Computer Science 9581, Springer 2016, ISBN 978-3-319-28033-2 [contents] - 2015
- [c20]Chandrika Bhardwaj, Sanjiva Prasad:
Parametric information flow control in ehealth. HealthCom 2015: 102-107 - [c19]Lenore D. Zuck, Sanjiva Prasad:
Limited Mobility, Eventual Stability. Haifa Verification Conference 2015: 139-154 - [c18]Sanjiva Prasad:
Designing for Scalability and Trustworthiness in mHealth Systems. ICDCIT 2015: 114-133 - [c17]Lenore D. Zuck, Sanjiva Prasad:
A Switch, in Time. TGC 2015: 131-146 - 2014
- [j4]Rajesh Kumar Pal, Kolin Paul, Sanjiva Prasad:
ReKonf: Dynamically reconfigurable multiCore architecture. J. Parallel Distributed Comput. 74(11): 3071-3086 (2014) - [c16]Anju Kansal, Avval Gupta, Kolin Paul, Sanjiva Prasad:
mDROID - An Affordable Android based mHealth System. HEALTHINF 2014: 109-116 - [c15]Avval Gupta, Anju Kansal, Kolin Paul, Sanjiva Prasad:
A Modular Android-Based Multi-sensor mHealth System. BIOSTEC (Selected Papers) 2014: 360-377 - [c14]Rajesh Kumar Pal, Kolin Paul, Sanjiva Prasad:
Energy Efficient Dynamic Core Allocation for Video Decoding in Embedded Multicore Architectures. HPCC/CSS/ICESS 2014: 653-660 - 2012
- [c13]Rajesh Kumar Pal, Kolin Paul, Sanjiva Prasad:
ReKonf: A Reconfigurable Adaptive ManyCore Architecture. ISPA 2012: 182-191 - 2010
- [c12]Abhishek Prateek, Hridayesh Gupta, Sanjiva Prasad:
Universal rich presence framework for intelligent call management. ICUIMC 2010: 39 - [c11]Salil Joshi, Sanjiva Prasad:
An Operational Model for Multiprocessors with Caches. IFIP TCS 2010: 371-385
2000 – 2009
- 2007
- [c10]Martin Karsten, Srinivasan Keshav, Sanjiva Prasad, Mirza Omer Beg:
An axiomatic basis for communication. SIGCOMM 2007: 217-228 - [e2]Vikraman Arvind, Sanjiva Prasad:
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 [contents] - 2006
- [c9]Martin Karsten, Srinivasan Keshav, Sanjiva Prasad:
An Axiomatic Basis for Communication. HotNets 2006 - 2005
- [c8]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 - 2004
- [c7]Deepak Garg, Akash Lal, Sanjiva Prasad:
Effective Chemistry for Synchrony and Asynchrony. IFIP TCS 2004: 479-492 - 2002
- [p1]Sanjiva Prasad, S. Arun-Kumar:
Introduction to Operational Semantics. The Compiler Design Handbook 2002: 841-890 - 2000
- [j3]Roberto M. Amadio, Sanjiva Prasad:
Modelling IP Mobility. Formal Methods Syst. Des. 17(1): 61-99 (2000) - [c6]Kumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad, S. Arun-Kumar:
Reflecting BDDs in Coq. ASIAN 2000: 162-181 - [e1]Sanjiv Kapoor, Sanjiva Prasad:
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 [contents]
1990 – 1999
- 1999
- [c5]Roberto M. Amadio, Sanjiva Prasad:
The Game of the Name in Cryptographic Tables. ASIAN 1999: 15-26 - 1998
- [c4]Roberto M. Amadio, Sanjiva Prasad:
Modelling IP Mobility. CONCUR 1998: 301-316 - 1996
- [j2]Sanjiva Prasad:
Models for Mobile Computing Agents. ACM Comput. Surv. 28(4es): 53 (1996) - 1994
- [c3]Roberto M. Amadio, Sanjiva Prasad:
Localities and Failures (Extended Abstract). FSTTCS 1994: 205-216 - 1990
- [c2]Sanjiva Prasad, Alessandro Giacalone, Prateek Mishra:
Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming. ICALP 1990: 765-778
1980 – 1989
- 1989
- [j1]Alessandro Giacalone, Prateek Mishra, Sanjiva Prasad:
Facile: A symmetric integration of concurrent and functional programming. Int. J. Parallel Program. 18(2): 121-160 (1989) - [c1]Alessandro Giacalone, Prateek Mishra, Sanjiva Prasad:
FACILE: A Symmetric Integration of Concurrent and Functional Programming. TAPSOFT, Vol.2 1989: 184-209
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-30 01:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
