default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sanjiva Prasad
@article{DBLP:journals/jlap/BhardwajP22,
author = {Chandrika Bhardwaj and
Sanjiva Prasad},
title = {Secure information flow connections},
journal = {J. Log. Algebraic Methods Program.},
volume = {127},
pages = {100761},
year = {2022},
url = {https://doi.org/10.1016/j.jlamp.2022.100761},
doi = {10.1016/J.JLAMP.2022.100761},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/BhardwajP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-00184,
author = {Sanjiva Prasad and
R. Madhukar Yerraguntla and
Subodh Sharma},
title = {Secure Information Flow Typing in {LUSTRE}},
journal = {CoRR},
volume = {abs/2201.00184},
year = {2022},
url = {https://arxiv.org/abs/2201.00184},
eprinttype = {arXiv},
eprint = {2201.00184},
timestamp = {Mon, 10 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-00184.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/PrasadY21,
author = {Sanjiva Prasad and
R. Madhukar Yerraguntla},
editor = {Antonio Cerone and
Peter Csaba {\"{O}}lveczky},
title = {Normalising Lustre Preserves Security},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2021 - 18th International
Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12819},
pages = {275--292},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85315-0\_16},
doi = {10.1007/978-3-030-85315-0\_16},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/PrasadY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-10687,
author = {Sanjiva Prasad and
R. Madhukar Yerraguntla},
title = {Normalising Lustre Preserves Security},
journal = {CoRR},
volume = {abs/2105.10687},
year = {2021},
url = {https://arxiv.org/abs/2105.10687},
eprinttype = {arXiv},
eprint = {2105.10687},
timestamp = {Mon, 31 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-10687.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/PrasadYS20,
author = {Sanjiva Prasad and
R. Madhukar Yerraguntla and
Subodh Sharma},
title = {Security Types for Synchronous Data Flow Systems},
booktitle = {18th {ACM/IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2020, Jaipur, India, December 2-4, 2020},
pages = {1--12},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/MEMOCODE51338.2020.9315053},
doi = {10.1109/MEMOCODE51338.2020.9315053},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/PrasadYS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-03319,
author = {Chandrika Bhardwaj and
Sanjiva Prasad},
title = {Secure Information Flow Connections},
journal = {CoRR},
volume = {abs/2011.03319},
year = {2020},
url = {https://arxiv.org/abs/2011.03319},
eprinttype = {arXiv},
eprint = {2011.03319},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-03319.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/JindalCPPMSGT19,
author = {Neetu Jindal and
Sandeep Chandran and
Preeti Ranjan Panda and
Sanjiva Prasad and
Abhay Mitra and
Kunal Singhal and
Shubham Gupta and
Shikhar Tuli},
title = {{DHOOM:} Reusing Design-for-Debug Hardware for Online Monitoring},
booktitle = {Proceedings of the 56th Annual Design Automation Conference 2019,
{DAC} 2019, Las Vegas, NV, USA, June 02-06, 2019},
pages = {99},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3316781.3317799},
doi = {10.1145/3316781.3317799},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/JindalCPPMSGT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BhardwajP19,
author = {Chandrika Bhardwaj and
Sanjiva Prasad},
editor = {Jorge A. P{\'{e}}rez and
Nobuko Yoshida},
title = {Only Connect, Securely},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 39th {IFIP} {WG} 6.1 International Conference, {FORTE} 2019, Held
as Part of the 14th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June
17-21, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11535},
pages = {75--92},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21759-4\_5},
doi = {10.1007/978-3-030-21759-4\_5},
timestamp = {Wed, 02 Dec 2020 13:20:40 +0100},
biburl = {https://dblp.org/rec/conf/forte/BhardwajP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-02835,
author = {Chandrika Bhardwaj and
Sanjiva Prasad},
title = {Only Connect, Securely},
journal = {CoRR},
volume = {abs/1903.02835},
year = {2019},
url = {http://arxiv.org/abs/1903.02835},
eprinttype = {arXiv},
eprint = {1903.02835},
timestamp = {Sun, 31 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-02835.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Prasad18,
author = {Sanjiva Prasad},
title = {Best-by-simulations: {A} framework for comparing efficiency of reconfigurable
architectures on workloads with deadlines},
journal = {J. Log. Algebraic Methods Program.},
volume = {100},
pages = {1--15},
year = {2018},
url = {https://doi.org/10.1016/j.jlamp.2018.06.002},
doi = {10.1016/J.JLAMP.2018.06.002},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Prasad18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SuVPSFS18,
author = {Jiawei Su and
Danilo Vasconcellos Vargas and
Sanjiva Prasad and
Daniele Sgandurra and
Yaokai Feng and
Kouichi Sakurai},
editor = {Sorel Reisman and
Sheikh Iqbal Ahamed and
Claudio Demartini and
Thomas M. Conte and
Ling Liu and
William R. Claycomb and
Motonori Nakamura and
Edmundo Tovar and
Stelvio Cimato and
Chung{-}Horng Lung and
Hiroki Takakura and
Ji{-}Jiang Yang and
Toyokazu Akiyama and
Zhiyong Zhang and
Md. Kamrul Hasan},
title = {Lightweight Classification of IoT Malware Based on Image Recognition},
booktitle = {2018 {IEEE} 42nd Annual Computer Software and Applications Conference,
{COMPSAC} 2018, Tokyo, Japan, 23-27 July 2018, Volume 2},
pages = {664--669},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/COMPSAC.2018.10315},
doi = {10.1109/COMPSAC.2018.10315},
timestamp = {Mon, 19 Aug 2024 08:42:01 +0200},
biburl = {https://dblp.org/rec/conf/compsac/SuVPSFS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-03714,
author = {Jiawei Su and
Danilo Vasconcellos Vargas and
Sanjiva Prasad and
Daniele Sgandurra and
Yaokai Feng and
Kouichi Sakurai},
title = {Lightweight Classification of IoT Malware based on Image Recognition},
journal = {CoRR},
volume = {abs/1802.03714},
year = {2018},
url = {http://arxiv.org/abs/1802.03714},
eprinttype = {arXiv},
eprint = {1802.03714},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-03714.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Prasad17,
author = {Sanjiva Prasad},
editor = {Vasco T. Vasconcelos and
Philipp Haller},
title = {Best-by-Simulations: {A} Framework for Comparing Efficiency of Reconfigurable
Multicore Architectures on Workloads with Deadlines},
booktitle = {Proceedings Tenth Workshop on Programming Language Approaches to Concurrency-
and Communication-cEntric Software, PLACES@ETAPS 2017, Uppsala, Sweden,
29th April 2017},
series = {{EPTCS}},
volume = {246},
pages = {61--71},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.246.10},
doi = {10.4204/EPTCS.246.10},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/Prasad17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icla/2017,
editor = {Sujata Ghosh and
Sanjiva Prasad},
title = {Logic and Its Applications - 7th Indian Conference, {ICLA} 2017, Kanpur,
India, January 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10119},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54069-5},
doi = {10.1007/978-3-662-54069-5},
isbn = {978-3-662-54068-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/PalSPP16,
author = {Rajesh Kumar Pal and
Ierum Shanaya and
Kolin Paul and
Sanjiva Prasad},
title = {Dynamic core allocation for energy efficient video decoding in homogeneous
and heterogeneous multicore architectures},
journal = {Future Gener. Comput. Syst.},
volume = {56},
pages = {247--261},
year = {2016},
url = {https://doi.org/10.1016/j.future.2015.09.018},
doi = {10.1016/J.FUTURE.2015.09.018},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/PalSPP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/BhardwajP16,
author = {Chandrika Bhardwaj and
Sanjiva Prasad},
title = {Pravah: Parameterised Information Flow Control in e-Health},
journal = {Scalable Comput. Pract. Exp.},
volume = {17},
number = {3},
pages = {171--188},
year = {2016},
url = {https://doi.org/10.12694/scpe.v17i3.1179},
doi = {10.12694/SCPE.V17I3.1179},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scpe/BhardwajP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/SinghPYP16,
author = {Shalini Singh and
Kolin Paul and
Geeta Yadav and
Sanjiva Prasad},
editor = {James P. Gilbert and
Haim Azhari and
Hesham H. Ali and
Carla Quint{\~{a}}o and
Jan Sliwa and
Carolina Ruiz and
Ana L. N. Fred and
Hugo Gamboa},
title = {prasavGraph: Android based Labour Monitoring},
booktitle = {Proceedings of the 9th International Joint Conference on Biomedical
Engineering Systems and Technologies {(BIOSTEC} 2016) - Volume 5:
HEALTHINF, Rome, Italy, February 21-23, 2016},
pages = {458--466},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005820504580466},
doi = {10.5220/0005820504580466},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/biostec/SinghPYP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/PrasadZ16,
author = {Sanjiva Prasad and
Lenore D. Zuck},
editor = {Daniel Gebler and
Kirstin Peters},
title = {Self-Similarity Breeds Resilience},
booktitle = {Proceedings Combined 23rd International Workshop on Expressiveness
in Concurrency and 13th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2016, Qu{\'{e}}bec City, Canada, 22nd August 2016},
series = {{EPTCS}},
volume = {222},
pages = {30--44},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.222.3},
doi = {10.4204/EPTCS.222.3},
timestamp = {Fri, 02 Nov 2018 09:30:18 +0100},
biburl = {https://dblp.org/rec/journals/corr/PrasadZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Prasad16,
author = {Sanjiva Prasad},
editor = {Dominic A. Orchard and
Nobuko Yoshida},
title = {Program Execution on Reconfigurable Multicore Architectures},
booktitle = {Proceedings of the Ninth workshop on Programming Language Approaches
to Concurrency- and Communication-cEntric Software, {PLACES} 2016,
Eindhoven, The Netherlands, 8th April 2016},
series = {{EPTCS}},
volume = {211},
pages = {83--91},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.211.9},
doi = {10.4204/EPTCS.211.9},
timestamp = {Fri, 27 Mar 2020 08:38:54 +0100},
biburl = {https://dblp.org/rec/journals/corr/Prasad16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdcit/2016,
editor = {Nikolaj S. Bj{\o}rner and
Sanjiva Prasad and
Laxmi Parida},
title = {Distributed Computing and Internet Technology - 12th International
Conference, {ICDCIT} 2016, Bhubaneswar, India, January 15-18, 2016,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9581},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-28034-9},
doi = {10.1007/978-3-319-28034-9},
isbn = {978-3-319-28033-2},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/healthcom/BhardwajP15,
author = {Chandrika Bhardwaj and
Sanjiva Prasad},
title = {Parametric information flow control in ehealth},
booktitle = {17th International Conference on E-health Networking, Application
{\&} Services, HealthCom 2015, Boston, MA, USA, October 14-17,
2015},
pages = {102--107},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/HealthCom.2015.7454481},
doi = {10.1109/HEALTHCOM.2015.7454481},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/healthcom/BhardwajP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ZuckP15,
author = {Lenore D. Zuck and
Sanjiva Prasad},
editor = {Nir Piterman},
title = {Limited Mobility, Eventual Stability},
booktitle = {Hardware and Software: Verification and Testing - 11th International
Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
17-19, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9434},
pages = {139--154},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26287-1\_9},
doi = {10.1007/978-3-319-26287-1\_9},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/ZuckP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/Prasad15,
author = {Sanjiva Prasad},
editor = {Raja Natarajan and
Gautam Barua and
Manas Ranjan Patra},
title = {Designing for Scalability and Trustworthiness in mHealth Systems},
booktitle = {Distributed Computing and Internet Technology - 11th International
Conference, {ICDCIT} 2015, Bhubaneswar, India, February 5-8, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8956},
pages = {114--133},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-14977-6\_7},
doi = {10.1007/978-3-319-14977-6\_7},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/Prasad15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/ZuckP15,
author = {Lenore D. Zuck and
Sanjiva Prasad},
editor = {Pierre Ganty and
Michele Loreti},
title = {A Switch, in Time},
booktitle = {Trustworthy Global Computing - 10th International Symposium, {TGC}
2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {9533},
pages = {131--146},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28766-9\_9},
doi = {10.1007/978-3-319-28766-9\_9},
timestamp = {Mon, 16 Sep 2019 15:25:37 +0200},
biburl = {https://dblp.org/rec/conf/tgc/ZuckP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/PalPP14,
author = {Rajesh Kumar Pal and
Kolin Paul and
Sanjiva Prasad},
title = {ReKonf: Dynamically reconfigurable multiCore architecture},
journal = {J. Parallel Distributed Comput.},
volume = {74},
number = {11},
pages = {3071--3086},
year = {2014},
url = {https://doi.org/10.1016/j.jpdc.2014.05.007},
doi = {10.1016/J.JPDC.2014.05.007},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/PalPP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/KansalGPP14,
author = {Anju Kansal and
Avval Gupta and
Kolin Paul and
Sanjiva Prasad},
editor = {Marta Bienkiewicz and
Christine Verdier and
Guy Plantier and
Tanja Schultz and
Ana L. N. Fred and
Hugo Gamboa},
title = {mDROID - An Affordable Android based mHealth System},
booktitle = {{HEALTHINF} 2014 - Proceedings of the International Conference on
Health Informatics, ESEO, Angers, Loire Valley, France, 3-6 March,
2014},
pages = {109--116},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004803501090116},
doi = {10.5220/0004803501090116},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/biostec/KansalGPP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/GuptaKPP14,
author = {Avval Gupta and
Anju Kansal and
Kolin Paul and
Sanjiva Prasad},
editor = {Guy Plantier and
Tanja Schultz and
Ana L. N. Fred and
Hugo Gamboa},
title = {A Modular Android-Based Multi-sensor mHealth System},
booktitle = {Biomedical Engineering Systems and Technologies - 7th International
Joint Conference, {BIOSTEC} 2014, Angers, France, March 3-6, 2014,
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {511},
pages = {360--377},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-26129-4\_24},
doi = {10.1007/978-3-319-26129-4\_24},
timestamp = {Fri, 27 Dec 2019 21:20:10 +0100},
biburl = {https://dblp.org/rec/conf/biostec/GuptaKPP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcc/PalPP14,
author = {Rajesh Kumar Pal and
Kolin Paul and
Sanjiva Prasad},
title = {Energy Efficient Dynamic Core Allocation for Video Decoding in Embedded
Multicore Architectures},
booktitle = {2014 {IEEE} International Conference on High Performance Computing
and Communications, 6th {IEEE} International Symposium on Cyberspace
Safety and Security, 11th {IEEE} International Conference on Embedded
Software and Systems, {HPCC/CSS/ICESS} 2014, Paris, France, August
20-22, 2014},
pages = {653--660},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/HPCC.2014.95},
doi = {10.1109/HPCC.2014.95},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/hpcc/PalPP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispa/PalPP12,
author = {Rajesh Kumar Pal and
Kolin Paul and
Sanjiva Prasad},
title = {ReKonf: {A} Reconfigurable Adaptive ManyCore Architecture},
booktitle = {10th {IEEE} International Symposium on Parallel and Distributed Processing
with Applications, {ISPA} 2012, Leganes, Madrid, Spain, July 10-13,
2012},
pages = {182--191},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISPA.2012.32},
doi = {10.1109/ISPA.2012.32},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispa/PalPP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icuimc/PrateekGP10,
author = {Abhishek Prateek and
Hridayesh Gupta and
Sanjiva Prasad},
editor = {Kwan{-}Ho You and
Sang{-}Won Lee and
Won Kim and
Dongho Won},
title = {Universal rich presence framework for intelligent call management},
booktitle = {Proceedings of the 4th International Conference on Ubiquitous Information
Management and Communication, {ICUIMC} 2010, Suwon, Republic of Korea,
January 14-15, 2010},
pages = {39},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/2108616.2108664},
doi = {10.1145/2108616.2108664},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icuimc/PrateekGP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/JoshiP10,
author = {Salil Joshi and
Sanjiva Prasad},
editor = {Cristian S. Calude and
Vladimiro Sassone},
title = {An Operational Model for Multiprocessors with Caches},
booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International
Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
September 20-23, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {323},
pages = {371--385},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15240-5\_27},
doi = {10.1007/978-3-642-15240-5\_27},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/JoshiP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/KarstenKPB07,
author = {Martin Karsten and
Srinivasan Keshav and
Sanjiva Prasad and
Mirza Omer Beg},
editor = {Jun Murai and
Kenjiro Cho},
title = {An axiomatic basis for communication},
booktitle = {Proceedings of the {ACM} {SIGCOMM} 2007 Conference on Applications,
Technologies, Architectures, and Protocols for Computer Communications,
Kyoto, Japan, August 27-31, 2007},
pages = {217--228},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1282380.1282405},
doi = {10.1145/1282380.1282405},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/KarstenKPB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2007,
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3},
doi = {10.1007/978-3-540-77050-3},
isbn = {978-3-540-77049-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/KarstenKP06,
author = {Martin Karsten and
Srinivasan Keshav and
Sanjiva Prasad},
editor = {Eddie Kohler and
Greg Minshall},
title = {An Axiomatic Basis for Communication},
booktitle = {5th {ACM} Workshop on Hot Topics in Networks - HotNets-V, Irvine,
California, USA, November 29-30, 2006},
publisher = {{ACM} {SIGCOMM}},
year = {2006},
url = {http://conferences.sigcomm.org/hotnets/2006/karsten06axiomatic.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotnets/KarstenKP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/AgarwalBMP05,
author = {Rahul Agarwal and
Mahender Bisht and
S. N. Maheshwari and
Sanjiva Prasad},
editor = {Goutam Chakraborty},
title = {Divide and Concur: Employing Chandra and Toueg's Consensus Algorithm
in a Multi-level Setting},
booktitle = {Distributed Computing and Internet Technology, Second International
Conference, {ICDCIT} 2005, Bhubaneswar, India, December 22-24, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3816},
pages = {172--183},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11604655\_21},
doi = {10.1007/11604655\_21},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/AgarwalBMP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/GargLP04,
author = {Deepak Garg and
Akash Lal and
Sanjiva Prasad},
editor = {Jean{-}Jacques L{\'{e}}vy and
Ernst W. Mayr and
John C. Mitchell},
title = {Effective Chemistry for Synchrony and Asynchrony},
booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World
Computer Congress, {TC1} 3rd International Conference on Theoretical
Computer Science (TCS2004), 22-27 August 2004, Toulouse, France},
series = {{IFIP}},
volume = {155},
pages = {479--492},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/1-4020-8141-3\_37},
doi = {10.1007/1-4020-8141-3\_37},
timestamp = {Fri, 27 Sep 2019 10:35:17 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/GargLP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/CRCcompiler2002/PrasadA02,
author = {Sanjiva Prasad and
S. Arun{-}Kumar},
editor = {Y. N. Srikant and
Priti Shankar},
title = {Introduction to Operational Semantics},
booktitle = {The Compiler Design Handbook: Optimizations and Machine Code Generation},
pages = {841--890},
publisher = {{CRC} Press},
year = {2002},
url = {https://doi.org/10.1201/9781420040579.ch22},
doi = {10.1201/9781420040579.CH22},
timestamp = {Sun, 04 Aug 2019 17:44:34 +0200},
biburl = {https://dblp.org/rec/books/crc/CRCcompiler2002/PrasadA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/AmadioP00,
author = {Roberto M. Amadio and
Sanjiva Prasad},
title = {Modelling {IP} Mobility},
journal = {Formal Methods Syst. Des.},
volume = {17},
number = {1},
pages = {61--99},
year = {2000},
url = {https://doi.org/10.1023/A:1008734618526},
doi = {10.1023/A:1008734618526},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/AmadioP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/VermaGPA00,
author = {Kumar Neeraj Verma and
Jean Goubault{-}Larrecq and
Sanjiva Prasad and
S. Arun{-}Kumar},
editor = {Jifeng He and
Masahiko Sato},
title = {Reflecting BDDs in Coq},
booktitle = {Advances in Computing Science - {ASIAN} 2000, 6th Asian Computing
Science Conference, Penang, Malaysia, November 25-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1961},
pages = {162--181},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44464-5\_13},
doi = {10.1007/3-540-44464-5\_13},
timestamp = {Mon, 21 Mar 2022 11:35:02 +0100},
biburl = {https://dblp.org/rec/conf/asian/VermaGPA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2000,
editor = {Sanjiv Kapoor and
Sanjiva Prasad},
title = {Foundations of Software Technology and Theoretical Computer Science,
20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15,
2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1974},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44450-5},
doi = {10.1007/3-540-44450-5},
isbn = {3-540-41413-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/AmadioP99,
author = {Roberto M. Amadio and
Sanjiva Prasad},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {The Game of the Name in Cryptographic Tables},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {15--26},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_3},
doi = {10.1007/3-540-46674-6\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/AmadioP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AmadioP98,
author = {Roberto M. Amadio and
Sanjiva Prasad},
editor = {Davide Sangiorgi and
Robert de Simone},
title = {Modelling {IP} Mobility},
booktitle = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice,
France, September 8-11, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1466},
pages = {301--316},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055630},
doi = {10.1007/BFB0055630},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/AmadioP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Prasad96,
author = {Sanjiva Prasad},
title = {Models for Mobile Computing Agents},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {53},
year = {1996},
url = {https://doi.org/10.1145/242224.242292},
doi = {10.1145/242224.242292},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Prasad96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AmadioP94,
author = {Roberto M. Amadio and
Sanjiva Prasad},
editor = {P. S. Thiagarajan},
title = {Localities and Failures (Extended Abstract)},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
14th Conference, Madras, India, December 15-17, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {880},
pages = {205--216},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58715-2\_126},
doi = {10.1007/3-540-58715-2\_126},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/AmadioP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PrasadGM90,
author = {Sanjiva Prasad and
Alessandro Giacalone and
Prateek Mishra},
editor = {Mike Paterson},
title = {Operational and Algebraic Semantics for Facile: {A} Symmetric Integration
of Concurrent and Functional Programming},
booktitle = {Automata, Languages and Programming, 17th International Colloquium,
ICALP90, Warwick University, England, UK, July 16-20, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {443},
pages = {765--778},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0032073},
doi = {10.1007/BFB0032073},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/PrasadGM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/GiacaloneMP89,
author = {Alessandro Giacalone and
Prateek Mishra and
Sanjiva Prasad},
title = {Facile: {A} symmetric integration of concurrent and functional programming},
journal = {Int. J. Parallel Program.},
volume = {18},
number = {2},
pages = {121--160},
year = {1989},
url = {https://doi.org/10.1007/BF01491213},
doi = {10.1007/BF01491213},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/GiacaloneMP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/GiacaloneMP89,
author = {Alessandro Giacalone and
Prateek Mishra and
Sanjiva Prasad},
editor = {Josep D{\'{\i}}az and
Fernando Orejas},
title = {{FACILE:} {A} Symmetric Integration of Concurrent and Functional Programming},
booktitle = {TAPSOFT'89: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Barcelona, Spain, March 13-17,
1989, Volume 2: Advanced Seminar on Foundations of Innovative Software
Development {II} and Colloquium on Current Issues in Programming Languages
{(CCIPL)}},
series = {Lecture Notes in Computer Science},
volume = {352},
pages = {184--209},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-50940-2\_36},
doi = {10.1007/3-540-50940-2\_36},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/GiacaloneMP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-05-08 21:01 CEST 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:
