Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Radha Jagadeesan
@article{DBLP:journals/pacmpl/JagadeesanJR20, author = {Radha Jagadeesan and Alan Jeffrey and James Riely}, title = {Pomsets with preconditions: a simple model of relaxed memory}, journal = {Proc. {ACM} Program. Lang.}, volume = {4}, number = {{OOPSLA}}, pages = {194:1--194:30}, year = {2020}, url = {https://doi.org/10.1145/3428262}, doi = {10.1145/3428262}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/JagadeesanJR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppopp/DongolJR19, author = {Brijesh Dongol and Radha Jagadeesan and James Riely}, editor = {Jeffrey K. Hollingsworth and Idit Keidar}, title = {Modular transactions: bounding mixed races in space and time}, booktitle = {Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019}, pages = {82--93}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3293883.3295708}, doi = {10.1145/3293883.3295708}, timestamp = {Sun, 12 Jun 2022 19:46:08 +0200}, biburl = {https://dblp.org/rec/conf/ppopp/DongolJR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/DisselkoenJJR19, author = {Craig Disselkoen and Radha Jagadeesan and Alan Jeffrey and James Riely}, title = {The Code That Never Ran: Modeling Attacks on Speculative Evaluation}, booktitle = {2019 {IEEE} Symposium on Security and Privacy, {SP} 2019, San Francisco, CA, USA, May 19-23, 2019}, pages = {1238--1255}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/SP.2019.00047}, doi = {10.1109/SP.2019.00047}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sp/DisselkoenJJR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/VakarJA18, author = {Matthijs V{\'{a}}k{\'{a}}r and Radha Jagadeesan and Samson Abramsky}, title = {Game semantics for dependent types}, journal = {Inf. Comput.}, volume = {261}, pages = {401--431}, year = {2018}, url = {https://doi.org/10.1016/j.ic.2018.02.015}, doi = {10.1016/J.IC.2018.02.015}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/VakarJA18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/DongolJR18, author = {Brijesh Dongol and Radha Jagadeesan and James Riely}, title = {Transactions in relaxed memory architectures}, journal = {Proc. {ACM} Program. Lang.}, volume = {2}, number = {{POPL}}, pages = {18:1--18:29}, year = {2018}, url = {https://doi.org/10.1145/3158106}, doi = {10.1145/3158106}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/DongolJR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/JagadeesanR18, author = {Radha Jagadeesan and James Riely}, editor = {Amal Ahmed}, title = {Eventual Consistency for CRDTs}, booktitle = {Programming Languages and Systems - 27th European Symposium on Programming, {ESOP} 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10801}, pages = {968--995}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-89884-1\_34}, doi = {10.1007/978-3-319-89884-1\_34}, timestamp = {Tue, 05 Jul 2022 08:30:25 +0200}, biburl = {https://dblp.org/rec/conf/esop/JagadeesanR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/DongolJRA18, author = {Brijesh Dongol and Radha Jagadeesan and James Riely and Alasdair Armstrong}, editor = {Isil Dillig and Jens Palsberg}, title = {On abstraction and compositionality for weak-memory linearisability}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 19th International Conference, {VMCAI} 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10747}, pages = {183--204}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-73721-8\_9}, doi = {10.1007/978-3-319-73721-8\_9}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/DongolJRA18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/GotoJJPR16, author = {Matthew A. Goto and Radha Jagadeesan and Alan Jeffrey and Corin Pitcher and James Riely}, title = {An extensible approach to session polymorphism}, journal = {Math. Struct. Comput. Sci.}, volume = {26}, number = {3}, pages = {465--509}, year = {2016}, url = {https://doi.org/10.1017/S0960129514000231}, doi = {10.1017/S0960129514000231}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/GotoJJPR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/concur/2016, editor = {Jos{\'{e}}e Desharnais and Radha Jagadeesan}, title = {27th International Conference on Concurrency Theory, {CONCUR} 2016, August 23-26, 2016, Qu{\'{e}}bec City, Canada}, series = {LIPIcs}, volume = {59}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2016}, url = {http://www.dagstuhl.de/dagpub/978-3-95977-017-0}, isbn = {978-3-95977-017-0}, timestamp = {Tue, 11 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/concur/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/AbramskyJV15, author = {Samson Abramsky and Radha Jagadeesan and Matthijs V{\'{a}}k{\'{a}}r}, editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and Kazuo Iwama and Naoki Kobayashi and Bettina Speckmann}, title = {Games for Dependent Types}, booktitle = {Automata, Languages, and Programming - 42nd International Colloquium, {ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {9135}, pages = {31--43}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-47666-6\_3}, doi = {10.1007/978-3-662-47666-6\_3}, timestamp = {Fri, 27 Mar 2020 09:02:59 +0100}, biburl = {https://dblp.org/rec/conf/icalp/AbramskyJV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/JagadeesanR15, author = {Radha Jagadeesan and James Riely}, editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and Kazuo Iwama and Naoki Kobayashi and Bettina Speckmann}, title = {From Sequential Specifications to Eventual Consistency}, booktitle = {Automata, Languages, and Programming - 42nd International Colloquium, {ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {9135}, pages = {247--259}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-47666-6\_20}, doi = {10.1007/978-3-662-47666-6\_20}, timestamp = {Sat, 16 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/JagadeesanR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/AbramskyJV15, author = {Samson Abramsky and Radha Jagadeesan and Matthijs V{\'{a}}k{\'{a}}r}, title = {Games for Dependent Types}, journal = {CoRR}, volume = {abs/1508.05023}, year = {2015}, url = {http://arxiv.org/abs/1508.05023}, eprinttype = {arXiv}, eprint = {1508.05023}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AbramskyJV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/SaraswatGJ14, author = {Vijay A. Saraswat and Vineet Gupta and Radha Jagadeesan}, editor = {Franck van Breugel and Elham Kashefi and Catuscia Palamidessi and Jan Rutten}, title = {TCC, with History}, booktitle = {Horizons of the Mind. {A} Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {8464}, pages = {458--475}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-06880-0\_24}, doi = {10.1007/978-3-319-06880-0\_24}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/SaraswatGJ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/JagadeesanLPRW14, author = {Radha Jagadeesan and C. M. Lubinski and Corin Pitcher and James Riely and Charles Winebrinner}, title = {Certificates for Verifiable Forensics}, booktitle = {{IEEE} 27th Computer Security Foundations Symposium, {CSF} 2014, Vienna, Austria, 19-22 July, 2014}, pages = {33--47}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/CSF.2014.11}, doi = {10.1109/CSF.2014.11}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/JagadeesanLPRW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/JagadeesanR14, author = {Radha Jagadeesan and James Riely}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Between Linearizability and Quiescent Consistency - Quantitative Quiescent Consistency}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {220--231}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_19}, doi = {10.1007/978-3-662-43951-7\_19}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/JagadeesanR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/AbramskyJ14, author = {Samson Abramsky and Radha Jagadeesan}, title = {Game Semantics for Access Control}, journal = {CoRR}, volume = {abs/1401.5325}, year = {2014}, url = {http://arxiv.org/abs/1401.5325}, eprinttype = {arXiv}, eprint = {1401.5325}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AbramskyJ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/JagadeesanR14, author = {Radha Jagadeesan and James Riely}, title = {Between Linearizability and Quiescent Consistency: Quantitative Quiescent Consistency}, journal = {CoRR}, volume = {abs/1402.4043}, year = {2014}, url = {http://arxiv.org/abs/1402.4043}, eprinttype = {arXiv}, eprint = {1402.4043}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/JagadeesanR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/JagadeesanPPR13, author = {Radha Jagadeesan and Gustavo Petri and Corin Pitcher and James Riely}, editor = {Matthias Felleisen and Philippa Gardner}, title = {Quarantining Weakness - Compositional Reasoning under Relaxed Memory Models (Extended Abstract)}, booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming, {ESOP} 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7792}, pages = {492--511}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-37036-6\_27}, doi = {10.1007/978-3-642-37036-6\_27}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/JagadeesanPPR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icla/JagadeesanPR13, author = {Radha Jagadeesan and Corin Pitcher and James Riely}, editor = {Kamal Lodaya}, title = {Noninterference for Intuitionist Necessity}, booktitle = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai, India, January 10-12, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7750}, pages = {185--196}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-36039-8\_17}, doi = {10.1007/978-3-642-36039-8\_17}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/icla/JagadeesanPR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/SaraswatJG13, author = {Vijay A. Saraswat and Radha Jagadeesan and Vineet Gupta}, title = {TCC, with History}, journal = {CoRR}, volume = {abs/1310.5538}, year = {2013}, url = {http://arxiv.org/abs/1310.5538}, eprinttype = {arXiv}, eprint = {1310.5538}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/SaraswatJG13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/AbramskyJ13, author = {Samson Abramsky and Radha Jagadeesan}, title = {Games and Full Completeness for Multiplicative Linear Logic}, journal = {CoRR}, volume = {abs/1311.6057}, year = {2013}, url = {http://arxiv.org/abs/1311.6057}, eprinttype = {arXiv}, eprint = {1311.6057}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AbramskyJ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/AbramskyJM13, author = {Samson Abramsky and Radha Jagadeesan and Pasquale Malacaria}, title = {Full Abstraction for {PCF}}, journal = {CoRR}, volume = {abs/1311.6125}, year = {2013}, url = {http://arxiv.org/abs/1311.6125}, eprinttype = {arXiv}, eprint = {1311.6125}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AbramskyJM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/AbramskyJ13a, author = {Samson Abramsky and Radha Jagadeesan}, title = {A Game Semantics for Generic Polymorphism}, journal = {CoRR}, volume = {abs/1312.1120}, year = {2013}, url = {http://arxiv.org/abs/1312.1120}, eprinttype = {arXiv}, eprint = {1312.1120}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AbramskyJ13a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/JagadeesanPR12, author = {Radha Jagadeesan and Corin Pitcher and James Riely}, editor = {Ranjit Jhala and Atsushi Igarashi}, title = {Succour to the Confused Deputy - Types for Capabilities}, booktitle = {Programming Languages and Systems - 10th Asian Symposium, {APLAS} 2012, Kyoto, Japan, December 11-13, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7705}, pages = {66--81}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35182-2\_6}, doi = {10.1007/978-3-642-35182-2\_6}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/aplas/JagadeesanPR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/JagadeesanPR12, author = {Radha Jagadeesan and Gustavo Petri and James Riely}, editor = {Lars Birkedal}, title = {Brookes Is Relaxed, Almost!}, booktitle = {Foundations of Software Science and Computational Structures - 15th International Conference, {FOSSACS} 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7213}, pages = {180--194}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28729-9\_12}, doi = {10.1007/978-3-642-28729-9\_12}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/JagadeesanPR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tldi/GotoJPR12, author = {Matthew Goto and Radha Jagadeesan and Corin Pitcher and James Riely}, editor = {Benjamin C. Pierce}, title = {Types for relaxed memory models}, booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} Workshop on Types in Languages Design and Implementation, {TLDI} 2012, Philadelphia, PA, USA, Saturday, January 28, 2012}, pages = {25--38}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2103786.2103791}, doi = {10.1145/2103786.2103791}, timestamp = {Thu, 11 May 2023 14:56:29 +0200}, biburl = {https://dblp.org/rec/conf/tldi/GotoJPR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/JagadeesanPRR11, author = {Radha Jagadeesan and Corin Pitcher and Julian Rathke and James Riely}, title = {Local Memory via Layout Randomization}, booktitle = {Proceedings of the 24th {IEEE} Computer Security Foundations Symposium, {CSF} 2011, Cernay-la-Ville, France, 27-29 June, 2011}, pages = {161--174}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/CSF.2011.18}, doi = {10.1109/CSF.2011.18}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/JagadeesanPRR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/DesharnaisGJP10, author = {Jos{\'{e}}e Desharnais and Vineet Gupta and Radha Jagadeesan and Prakash Panangaden}, title = {Weak bisimulation is sound and complete for pCTL\({}^{\mbox{*}}\)}, journal = {Inf. Comput.}, volume = {208}, number = {2}, pages = {203--219}, year = {2010}, url = {https://doi.org/10.1016/j.ic.2009.11.002}, doi = {10.1016/J.IC.2009.11.002}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/DesharnaisGJP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/JagadeesanPR10, author = {Radha Jagadeesan and Corin Pitcher and James Riely}, editor = {Andrew D. Gordon}, title = {Generative Operational Semantics for Relaxed Memory Models}, booktitle = {Programming Languages and Systems, 19th European Symposium on Programming, {ESOP} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6012}, pages = {307--326}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-11957-6\_17}, doi = {10.1007/978-3-642-11957-6\_17}, timestamp = {Mon, 14 Feb 2022 09:20:30 +0100}, biburl = {https://dblp.org/rec/conf/esop/JagadeesanPR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/taosd/JagadeesanPR09, author = {Radha Jagadeesan and Corin Pitcher and James Riely}, title = {Open Bisimulation for Aspects}, journal = {{LNCS} Trans. Aspect Oriented Softw. Dev.}, volume = {5}, pages = {72--132}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02059-9\_3}, doi = {10.1007/978-3-642-02059-9\_3}, timestamp = {Thu, 04 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/taosd/JagadeesanPR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esorics/JagadeesanJPR09, author = {Radha Jagadeesan and Alan Jeffrey and Corin Pitcher and James Riely}, editor = {Michael Backes and Peng Ning}, title = {Towards a Theory of Accountability and Audit}, booktitle = {Computer Security - {ESORICS} 2009, 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5789}, pages = {152--167}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04444-1\_10}, doi = {10.1007/978-3-642-04444-1\_10}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esorics/JagadeesanJPR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AbramskyJ09, author = {Samson Abramsky and Radha Jagadeesan}, editor = {Samson Abramsky and Michael W. Mislove and Catuscia Palamidessi}, title = {Game Semantics for Access Control}, booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009}, series = {Electronic Notes in Theoretical Computer Science}, volume = {249}, pages = {135--156}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/j.entcs.2009.07.088}, doi = {10.1016/J.ENTCS.2009.07.088}, timestamp = {Mon, 08 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AbramskyJ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/JagadeesanJPR08, author = {Radha Jagadeesan and Alan Jeffrey and Corin Pitcher and James Riely}, title = {Lambda-RBAC: Programming with Role-Based Access Control}, journal = {Log. Methods Comput. Sci.}, volume = {4}, number = {1}, year = {2008}, url = {https://doi.org/10.2168/LMCS-4(1:2)2008}, doi = {10.2168/LMCS-4(1:2)2008}, timestamp = {Thu, 25 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/JagadeesanJPR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/Jagadeesan08, author = {Radha Jagadeesan}, editor = {G. Ramalingam}, title = {From Authorization Logics to Types for Authorization}, booktitle = {Programming Languages and Systems, 6th Asian Symposium, {APLAS} 2008, Bangalore, India, December 9-11, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5356}, pages = {255}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-89330-1\_18}, doi = {10.1007/978-3-540-89330-1\_18}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/aplas/Jagadeesan08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/CirilloJPR08, author = {Andrew Cirillo and Radha Jagadeesan and Corin Pitcher and James Riely}, editor = {Sophia Drossopoulou}, title = {Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract)}, booktitle = {Programming Languages and Systems, 17th European Symposium on Programming, {ESOP} 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4960}, pages = {208--223}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78739-6\_17}, doi = {10.1007/978-3-540-78739-6\_17}, timestamp = {Sun, 02 Jun 2019 21:23:56 +0200}, biburl = {https://dblp.org/rec/conf/esop/CirilloJPR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aosd/JagadeesanPR07, author = {Radha Jagadeesan and Corin Pitcher and James Riely}, editor = {Brian M. Barry and Oege de Moor}, title = {Open bisimulation for aspects}, booktitle = {Proceedings of the 6th International Conference on Aspect-Oriented Software Development, {AOSD} 2007, Vancouver, British Columbia, Canada, March 12-16, 2007}, series = {{ACM} International Conference Proceeding Series}, volume = {208}, pages = {107--120}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1218563.1218577}, doi = {10.1145/1218563.1218577}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aosd/JagadeesanPR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/CirilloJPR07, author = {Andrew Cirillo and Radha Jagadeesan and Corin Pitcher and James Riely}, title = {Do As {I} SaY! Programmatic Access Control with Explicit Identities}, booktitle = {20th {IEEE} Computer Security Foundations Symposium, {CSF} 2007, 6-8 July 2007, Venice, Italy}, pages = {16--30}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/CSF.2007.19}, doi = {10.1109/CSF.2007.19}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/CirilloJPR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Jagadeesan07, author = {Radha Jagadeesan}, editor = {Helmut Seidl}, title = {Formal Foundations for Aspects}, booktitle = {Foundations of Software Science and Computational Structures, 10th International Conference, {FOSSACS} 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4423}, pages = {1}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-71389-0\_1}, doi = {10.1007/978-3-540-71389-0\_1}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/Jagadeesan07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppopp/SaraswatJMP07, author = {Vijay A. Saraswat and Radha Jagadeesan and Maged M. Michael and Christoph von Praun}, editor = {Katherine A. Yelick and John M. Mellor{-}Crummey}, title = {A theory of memory models}, booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, {PPOPP} 2007, San Jose, California, USA, March 14-17, 2007}, pages = {161--172}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1229428.1229469}, doi = {10.1145/1229428.1229469}, timestamp = {Sun, 12 Jun 2022 19:46:08 +0200}, biburl = {https://dblp.org/rec/conf/ppopp/SaraswatJMP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sacmat/ZhangAJRP07, author = {Bin Zhang and Ehab Al{-}Shaer and Radha Jagadeesan and James Riely and Corin Pitcher}, editor = {Volkmar Lotz and Bhavani Thuraisingham}, title = {Specifications of a high-level conflict-free firewall policy language for multi-domain networks}, booktitle = {12th {ACM} Symposium on Access Control Models and Technologies, {SACMAT} 2007, Sophia Antipolis, France, June 20-22, 2007, Proceedings}, pages = {185--194}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1266840.1266871}, doi = {10.1145/1266840.1266871}, timestamp = {Wed, 29 Jun 2022 15:37:42 +0200}, biburl = {https://dblp.org/rec/conf/sacmat/ZhangAJRP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0712-1205, author = {Radha Jagadeesan and Alan Jeffrey and Corin Pitcher and James Riely}, title = {Lambda-RBAC: Programming with Role-Based Access Control}, journal = {CoRR}, volume = {abs/0712.1205}, year = {2007}, url = {http://arxiv.org/abs/0712.1205}, eprinttype = {arXiv}, eprint = {0712.1205}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0712-1205.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/GuptaJP06, author = {Vineet Gupta and Radha Jagadeesan and Prakash Panangaden}, title = {Approximate reasoning for real-time probabilistic processes}, journal = {Log. Methods Comput. Sci.}, volume = {2}, number = {1}, year = {2006}, url = {https://doi.org/10.2168/LMCS-2(1:4)2006}, doi = {10.2168/LMCS-2(1:4)2006}, timestamp = {Thu, 25 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/GuptaJP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/JagadeesanJR06, author = {Radha Jagadeesan and Alan Jeffrey and James Riely}, title = {Typed parametric polymorphism for aspects}, journal = {Sci. Comput. Program.}, volume = {63}, number = {3}, pages = {267--296}, year = {2006}, url = {https://doi.org/10.1016/j.scico.2006.02.008}, doi = {10.1016/J.SCICO.2006.02.008}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/JagadeesanJR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/ChatterjeeJP06, author = {Krishnendu Chatterjee and Radha Jagadeesan and Corin Pitcher}, title = {Games for Controls}, booktitle = {19th {IEEE} Computer Security Foundations Workshop, {(CSFW-19} 2006), 5-7 July 2006, Venice, Italy}, pages = {70--84}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/CSFW.2006.14}, doi = {10.1109/CSFW.2006.14}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/ChatterjeeJP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/JagadeesanJPR06, author = {Radha Jagadeesan and Alan Jeffrey and Corin Pitcher and James Riely}, editor = {Michele Bugliesi and Bart Preneel and Vladimiro Sassone and Ingo Wegener}, title = {\emph{lambda}-RBAC: Programming with Role-Based Access Control}, booktitle = {Automata, Languages and Programming, 33rd International Colloquium, {ICALP} 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {4052}, pages = {456--467}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11787006\_39}, doi = {10.1007/11787006\_39}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/JagadeesanJPR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/AbramskyJ05, author = {Samson Abramsky and Radha Jagadeesan}, title = {A game semantics for generic polymorphism}, journal = {Ann. Pure Appl. Log.}, volume = {133}, number = {1-3}, pages = {3--37}, year = {2005}, url = {https://doi.org/10.1016/j.apal.2004.10.002}, doi = {10.1016/J.APAL.2004.10.002}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/AbramskyJ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/SaraswatJ05, author = {Vijay A. Saraswat and Radha Jagadeesan}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Concurrent Clustered Programming}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {353--367}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_28}, doi = {10.1007/11539452\_28}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/SaraswatJ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/JagadeesanNS05, author = {Radha Jagadeesan and Gopalan Nadathur and Vijay A. Saraswat}, editor = {Ramaswamy Ramanujam and Sandeep Sen}, title = {Testing Concurrent Systems: An Interpretation of Intuitionistic Logic}, booktitle = {{FSTTCS} 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3821}, pages = {517--528}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11590156\_42}, doi = {10.1007/11590156\_42}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/JagadeesanNS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/JagadeesanM05, author = {Radha Jagadeesan and Will Marrero and Corin Pitcher and Vijay A. Saraswat}, editor = {Pedro Barahona and Amy P. Felty}, title = {Timed constraint programming: a declarative approach to usage control}, booktitle = {Proceedings of the 7th International {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal}, pages = {164--175}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1069774.1069790}, doi = {10.1145/1069774.1069790}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/JagadeesanM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-cs-0505063, author = {Vineet Gupta and Radha Jagadeesan and Prakash Panangaden}, title = {Approximate reasoning for real-time probabilistic processes}, journal = {CoRR}, volume = {abs/cs/0505063}, year = {2005}, url = {http://arxiv.org/abs/cs/0505063}, eprinttype = {arXiv}, eprint = {cs/0505063}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-cs-0505063.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/HuthJS04, author = {Michael Huth and Radha Jagadeesan and David A. Schmidt}, title = {A domain equation for refinement of partial systems}, journal = {Math. Struct. Comput. Sci.}, volume = {14}, number = {4}, pages = {469--505}, year = {2004}, url = {https://doi.org/10.1017/S0960129504004268}, doi = {10.1017/S0960129504004268}, timestamp = {Mon, 11 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/HuthJS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/DesharnaisGJP04, author = {Jos{\'{e}}e Desharnais and Vineet Gupta and Radha Jagadeesan and Prakash Panangaden}, title = {Metrics for labelled Markov processes}, journal = {Theor. Comput. Sci.}, volume = {318}, number = {3}, pages = {323--354}, year = {2004}, url = {https://doi.org/10.1016/j.tcs.2003.09.013}, doi = {10.1016/J.TCS.2003.09.013}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/DesharnaisGJP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BrunsJJR04, author = {Glenn Bruns and Radha Jagadeesan and Alan Jeffrey and James Riely}, editor = {Philippa Gardner and Nobuko Yoshida}, title = {{\(\mathrm{\mu}\)}ABC: {A} Minimal Aspect Calculus}, booktitle = {{CONCUR} 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3170}, pages = {209--224}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-28644-8\_14}, doi = {10.1007/978-3-540-28644-8\_14}, timestamp = {Fri, 27 Mar 2020 08:51:56 +0100}, biburl = {https://dblp.org/rec/conf/concur/BrunsJJR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/AlfaroGJ04, author = {Luca de Alfaro and Patrice Godefroid and Radha Jagadeesan}, title = {Three-Valued Abstractions of Games: Uncertainty, but with Precision}, booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004), 14-17 July 2004, Turku, Finland, Proceedings}, pages = {170--179}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/LICS.2004.1319611}, doi = {10.1109/LICS.2004.1319611}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/AlfaroGJ04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qest/GuptaJP04, author = {Vineet Gupta and Radha Jagadeesan and Prakash Panangaden}, title = {Approximate Reasoning for Real-Time Probabilistic Processes}, booktitle = {1st International Conference on Quantitative Evaluation of Systems {(QEST} 2004), 27-30 September 2004, Enschede, The Netherlands}, pages = {304--313}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/QEST.2004.1348044}, doi = {10.1109/QEST.2004.1348044}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qest/GuptaJP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/DesharnaisGJP03, author = {Jos{\'{e}}e Desharnais and Vineet Gupta and Radha Jagadeesan and Prakash Panangaden}, title = {Approximating labelled Markov processes}, journal = {Inf. Comput.}, volume = {184}, number = {1}, pages = {160--200}, year = {2003}, url = {https://doi.org/10.1016/S0890-5401(03)00051-8}, doi = {10.1016/S0890-5401(03)00051-8}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/DesharnaisGJP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/GradelHJP03, author = {Erich Gr{\"{a}}del and Joseph Y. Halpern and Radha Jagadeesan and Adolfo Piperno}, title = {{LICS} 2001 special issue}, journal = {{ACM} Trans. Comput. Log.}, volume = {4}, number = {3}, pages = {295}, year = {2003}, url = {https://doi.org/10.1145/772062.772063}, doi = {10.1145/772062.772063}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/GradelHJP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/JagadeesanJR03, author = {Radha Jagadeesan and Alan Jeffrey and James Riely}, editor = {Luca Cardelli}, title = {A Calculus of Untyped Aspect-Oriented Programs}, booktitle = {{ECOOP} 2003 - Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2743}, pages = {54--73}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45070-2\_4}, doi = {10.1007/978-3-540-45070-2\_4}, timestamp = {Sun, 02 Jun 2019 21:16:57 +0200}, biburl = {https://dblp.org/rec/conf/ecoop/JagadeesanJR03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epia/SaraswatJG03, author = {Vijay A. Saraswat and Radha Jagadeesan and Vineet Gupta}, editor = {Fernando Moura{-}Pires and Salvador Abreu}, title = {jcc: Integrating Timed Default Concurrent Constraint Programming into Java}, booktitle = {Progress in Artificial Intelligence, 11th Protuguese Conference on Artificial Intelligence, {EPIA} 2003, Beja, Portugal, December 4-7, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2902}, pages = {156--170}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-24580-3\_23}, doi = {10.1007/978-3-540-24580-3\_23}, timestamp = {Sun, 02 Jun 2019 21:25:42 +0200}, biburl = {https://dblp.org/rec/conf/epia/SaraswatJG03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/AbramskyJ03, author = {Samson Abramsky and Radha Jagadeesan}, editor = {Andrew D. Gordon}, title = {A Game Semantics for Generic Polymorphism}, booktitle = {Foundations of Software Science and Computational Structures, 6th International Conference, {FOSSACS} 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2620}, pages = {1--22}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-36576-1\_1}, doi = {10.1007/3-540-36576-1\_1}, timestamp = {Mon, 14 Feb 2022 09:20:26 +0100}, biburl = {https://dblp.org/rec/conf/fossacs/AbramskyJ03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/GodefroidJ03, author = {Patrice Godefroid and Radha Jagadeesan}, editor = {Lenore D. Zuck and Paul C. Attie and Agostino Cortesi and Supratik Mukhopadhyay}, title = {On the Expressiveness of 3-Valued Models}, booktitle = {Verification, Model Checking, and Abstract Interpretation, 4th International Conference, {VMCAI} 2003, New York, NY, USA, January 9-11, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2575}, pages = {206--222}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-36384-X\_18}, doi = {10.1007/3-540-36384-X\_18}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/GodefroidJ03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/GuptaJS02, author = {Vineet Gupta and Radha Jagadeesan and Vijay A. Saraswat}, title = {Truly concurrent constraint programming}, journal = {Theor. Comput. Sci.}, volume = {278}, number = {1-2}, pages = {223--255}, year = {2002}, url = {https://doi.org/10.1016/S0304-3975(00)00337-6}, doi = {10.1016/S0304-3975(00)00337-6}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/GuptaJS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/GodefroidJ02, author = {Patrice Godefroid and Radha Jagadeesan}, editor = {Ed Brinksma and Kim Guldstrand Larsen}, title = {Automatic Abstraction Using Generalized Model Checking}, booktitle = {Computer Aided Verification, 14th International Conference, {CAV} 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2404}, pages = {137--150}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45657-0\_11}, doi = {10.1007/3-540-45657-0\_11}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/GodefroidJ02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/DesharnaisGJP02, author = {Jos{\'{e}}e Desharnais and Vineet Gupta and Radha Jagadeesan and Prakash Panangaden}, editor = {Lubos Brim and Petr Jancar and Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and Anton{\'{\i}}n Kucera}, title = {Weak Bisimulation is Sound and Complete for PCTL*}, booktitle = {{CONCUR} 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2421}, pages = {355--370}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45694-5\_24}, doi = {10.1007/3-540-45694-5\_24}, timestamp = {Tue, 04 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/DesharnaisGJP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/DesharnaisJGP02, author = {Jos{\'{e}}e Desharnais and Radha Jagadeesan and Vineet Gupta and Prakash Panangaden}, title = {The Metric Analogue of Weak Bisimulation for Probabilistic Processes}, booktitle = {17th {IEEE} Symposium on Logic in Computer Science {(LICS} 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings}, pages = {413--422}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/LICS.2002.1029849}, doi = {10.1109/LICS.2002.1029849}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/DesharnaisJGP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/GodefroidHJ01, author = {Patrice Godefroid and Michael Huth and Radha Jagadeesan}, editor = {Kim Guldstrand Larsen and Mogens Nielsen}, title = {Abstraction-Based Model Checking Using Modal Transition Systems}, booktitle = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2154}, pages = {426--440}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-44685-0\_29}, doi = {10.1007/3-540-44685-0\_29}, timestamp = {Mon, 11 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/GodefroidHJ01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/HuthJS01, author = {Michael Huth and Radha Jagadeesan and David A. Schmidt}, editor = {David Sands}, title = {Modal Transition Systems: {A} Foundation for Three-Valued Program Analysis}, booktitle = {Programming Languages and Systems, 10th European Symposium on Programming, {ESOP} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2028}, pages = {155--169}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45309-1\_11}, doi = {10.1007/3-540-45309-1\_11}, timestamp = {Mon, 11 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esop/HuthJS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/AbramskyJM00, author = {Samson Abramsky and Radha Jagadeesan and Pasquale Malacaria}, title = {Full Abstraction for {PCF}}, journal = {Inf. Comput.}, volume = {163}, number = {2}, pages = {409--470}, year = {2000}, url = {https://doi.org/10.1006/inco.2000.2930}, doi = {10.1006/INCO.2000.2930}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/AbramskyJM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijst/BallCDJJLMR00, author = {Thomas Ball and Christopher Colby and Peter J. Danielsen and Lalita Jategaonkar Jagadeesan and Radha Jagadeesan and Konstantin L{\"{a}}ufer and Peter Mataga and Kenneth Rehor}, title = {Sisl: Several Interfaces, Single Logic}, journal = {Int. J. Speech Technol.}, volume = {3}, number = {2}, pages = {93--108}, year = {2000}, url = {https://doi.org/10.1023/A\%3A1009645414233}, doi = {10.1023/A\%3A1009645414233}, timestamp = {Mon, 08 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijst/BallCDJJLMR00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/JagadeesanLG00, author = {Radha Jagadeesan and Konstantin L{\"{a}}ufer and Vineet Gupta}, title = {The Triveni project}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {25}, number = {1}, pages = {59}, year = {2000}, url = {https://doi.org/10.1145/340855.340962}, doi = {10.1145/340855.340962}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/JagadeesanLG00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/GuptaJJJL00, author = {Vineet Gupta and Lalita Jategaonkar Jagadeesan and Radha Jagadeesan and Xiaowei Jiang and Konstantin L{\"{a}}ufer}, editor = {Rina Dechter}, title = {A Constraint-Based Framework for Prototyping Distributed Virtual Applications}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1894}, pages = {202--217}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-45349-0\_16}, doi = {10.1007/3-540-45349-0\_16}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/GuptaJJJL00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/DesharnaisGJP00, author = {Jos{\'{e}}e Desharnais and Vineet Gupta and Radha Jagadeesan and Prakash Panangaden}, title = {Approximating Labeled Markov Processes}, booktitle = {15th Annual {IEEE} Symposium on Logic in Computer Science, Santa Barbara, California, USA, June 26-29, 2000}, pages = {95--106}, publisher = {{IEEE} Computer Society}, year = {2000}, url = {https://doi.org/10.1109/LICS.2000.855759}, doi = {10.1109/LICS.2000.855759}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/DesharnaisGJP00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/GodefroidJJL00, author = {Patrice Godefroid and Lalita Jategaonkar Jagadeesan and Radha Jagadeesan and Konstantin L{\"{a}}ufer}, editor = {John C. Knight and David S. Rosenblum}, title = {Automated systematic testing for constraint-based interactive services}, booktitle = {{ACM} {SIGSOFT} Symposium on Foundations of Software Engineering, an Diego, California, USA, November 6-10, 2000, Proceedings}, pages = {40--49}, publisher = {{ACM}}, year = {2000}, url = {https://doi.org/10.1145/355045.355051}, doi = {10.1145/355045.355051}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sigsoft/GodefroidJJL00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/DesharnaisGJP99, author = {Jos{\'{e}}e Desharnais and Vineet Gupta and Radha Jagadeesan and Prakash Panangaden}, editor = {Jos C. M. Baeten and Sjouke Mauw}, title = {Metrics for Labeled Markov Systems}, booktitle = {{CONCUR} '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1664}, pages = {258--273}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48320-9\_19}, doi = {10.1007/3-540-48320-9\_19}, timestamp = {Tue, 04 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/DesharnaisGJP99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/GuptaJP99, author = {Vineet Gupta and Radha Jagadeesan and Prakash Panangaden}, editor = {Andrew W. Appel and Alex Aiken}, title = {Stochastic Processes as Concurrent Constraint Programs}, booktitle = {{POPL} '99, Proceedings of the 26th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, San Antonio, TX, USA, January 20-22, 1999}, pages = {189--202}, publisher = {{ACM}}, year = {1999}, url = {https://doi.org/10.1145/292540.292558}, doi = {10.1145/292540.292558}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/GuptaJP99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/GuptaJS98, author = {Vineet Gupta and Radha Jagadeesan and Vijay A. Saraswat}, title = {Computing with Continuous Change}, journal = {Sci. Comput. Program.}, volume = {30}, number = {1-2}, pages = {3--49}, year = {1998}, url = {https://doi.org/10.1016/S0167-6423(97)00006-3}, doi = {10.1016/S0167-6423(97)00006-3}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/GuptaJS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coots/ColbyJJLP98, author = {Christopher Colby and Lalita Jategaonkar Jagadeesan and Radha Jagadeesan and Konstantin L{\"{a}}ufer and Carlos Puchol}, title = {Objects and Concurrency in Triveni: {A} Telecommunication Case Study in Java}, booktitle = {4th {USENIX} Conference on Object-Oriented Technologies and Systems (COOTS), April 27-30, 1998, Eldorado Hotel, Santa Fe, New Mexico, {USA}}, pages = {131--149}, publisher = {{USENIX}}, year = {1998}, url = {http://www.usenix.org/publications/library/proceedings/coots98/colby.html}, timestamp = {Tue, 02 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/coots/ColbyJJLP98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccl/ColbyJJLP98, author = {Christopher Colby and Lalita Jategaonkar Jagadeesan and Radha Jagadeesan and Konstantin L{\"{a}}ufer and Carlos Puchol}, title = {Design and Implementation of Triveni: {A} Process-Algebraic {API} for Threads + Events}, booktitle = {Proceedings of the 1998 International Conference on Computer Languages, {ICCL} 1998, Chicago, IL, USA, May 14-16, 1998}, pages = {58--67}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://doi.org/10.1109/ICCL.1998.674157}, doi = {10.1109/ICCL.1998.674157}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccl/ColbyJJLP98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/GuptaJS97, author = {Vineet Gupta and Radha Jagadeesan and Vijay A. Saraswat}, editor = {Antoni W. Mazurkiewicz and J{\'{o}}zef Winkowski}, title = {Probabilistic Concurrent Constraint Programming}, booktitle = {{CONCUR} '97: Concurrency Theory, 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1243}, pages = {243--257}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63141-0\_17}, doi = {10.1007/3-540-63141-0\_17}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/GuptaJS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/GuptaHJ97, author = {Vineet Gupta and Thomas A. Henzinger and Radha Jagadeesan}, editor = {Oded Maler}, title = {Robust Timed Automata}, booktitle = {Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble, France, March 26-28, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1201}, pages = {331--345}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0014736}, doi = {10.1007/BFB0014736}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/GuptaHJ97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/ColbyJJLP98, author = {Christopher Colby and Lalita Jategaonkar and Radha Jagadeesan and Konstantin L{\"{a}}ufer and Carlos Puchol}, editor = {Rance Cleaveland and Michael W. Mislove and Philip S. Mulry}, title = {The Semantics of Triveni: {A} Process-Algebraic {API} for Threads + Events}, booktitle = {US-Brazil Joint Workshops on the Formal Foundations of Software Systems, Rio de Janeiro, Brazil, May 5-9, 1997 {\&} New Orleans, LA, USA, November 13-16, 1997}, series = {Electronic Notes in Theoretical Computer Science}, volume = {14}, pages = {107--133}, publisher = {Elsevier}, year = {1997}, url = {https://doi.org/10.1016/S1571-0661(05)80233-6}, doi = {10.1016/S1571-0661(05)80233-6}, timestamp = {Fri, 11 Nov 2022 13:55:25 +0100}, biburl = {https://dblp.org/rec/journals/entcs/ColbyJJLP98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsc/SaraswatJG96, author = {Vijay A. Saraswat and Radha Jagadeesan and Vineet Gupta}, title = {Timed Default Concurrent Constraint Programming}, journal = {J. Symb. Comput.}, volume = {22}, number = {5/6}, pages = {475--520}, year = {1996}, url = {https://doi.org/10.1006/jsco.1996.0064}, doi = {10.1006/JSCO.1996.0064}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsc/SaraswatJG96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/GuptaJS96, author = {Vineet Gupta and Radha Jagadeesan and Vijay A. Saraswat}, editor = {Ugo Montanari and Vladimiro Sassone}, title = {Models for Concurrent Constraint Programming}, booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1119}, pages = {66--83}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61604-7\_48}, doi = {10.1007/3-540-61604-7\_48}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/GuptaJS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/GuptaJS96a, author = {Vineet Gupta and Radha Jagadeesan and Vijay A. Saraswat}, editor = {Ugo Montanari and Vladimiro Sassone}, title = {Truly Concurrent Constraint Programming}, booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1119}, pages = {373--388}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61604-7\_65}, doi = {10.1007/3-540-61604-7\_65}, timestamp = {Fri, 15 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/GuptaJS96a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/JagadeesanJ95, author = {Lalita Jategaonkar Jagadeesan and Radha Jagadeesan}, editor = {Vangalur S. Alagar and Maurice Nivat}, title = {Causality and True Concurrency: {A} Data-flow Analysis of the Pi-Calculus (Extended Abstract)}, booktitle = {Algebraic Methodology and Software Technology, 4th International Conference, {AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {936}, pages = {277--291}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60043-4\_59}, doi = {10.1007/3-540-60043-4\_59}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/amast/JagadeesanJ95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/GuptaJS95, author = {Vineet Gupta and Radha Jagadeesan and Vijay A. Saraswat}, editor = {Rajeev Alur and Thomas A. Henzinger and Eduardo D. Sontag}, title = {Hybrid cc, Hybrid Automata and Program Verification}, booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the {DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}}, series = {Lecture Notes in Computer Science}, volume = {1066}, pages = {52--63}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0020935}, doi = {10.1007/BFB0020935}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/GuptaJS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/SaraswatJG95, author = {Vijay A. Saraswat and Radha Jagadeesan and Vineet Gupta}, editor = {Ron K. Cytron and Peter Lee}, title = {Default Timed Concurrent Constraint Programming}, booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995}, pages = {272--285}, publisher = {{ACM} Press}, year = {1995}, url = {https://doi.org/10.1145/199448.199513}, doi = {10.1145/199448.199513}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/SaraswatJG95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/AbramskyJ94, author = {Samson Abramsky and Radha Jagadeesan}, title = {New Foundations for the Geometry of Interaction}, journal = {Inf. Comput.}, volume = {111}, number = {1}, pages = {53--119}, year = {1994}, url = {https://doi.org/10.1006/inco.1994.1041}, doi = {10.1006/INCO.1994.1041}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/AbramskyJ94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/AbramskyJ94, author = {Samson Abramsky and Radha Jagadeesan}, title = {Games and Full Completeness for Multiplicative Linear Logic}, journal = {J. Symb. Log.}, volume = {59}, number = {2}, pages = {543--574}, year = {1994}, url = {https://doi.org/10.2307/2275407}, doi = {10.2307/2275407}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsyml/AbramskyJ94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/GuptaJSB94, author = {Vineet Gupta and Radha Jagadeesan and Vijay A. Saraswat and Daniel G. Bobrow}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {Programming in Hybrid Constraint Languages}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {226--251}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_12}, doi = {10.1007/3-540-60472-3\_12}, timestamp = {Fri, 29 Apr 2022 09:17:30 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/GuptaJSB94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/SaraswatJG94, author = {Vijay A. Saraswat and Radha Jagadeesan and Vineet Gupta}, title = {Foundations of Timed Concurrent Constraint Programming}, booktitle = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science {(LICS} '94), Paris, France, July 4-7, 1994}, pages = {71--80}, publisher = {{IEEE} Computer Society}, year = {1994}, url = {https://doi.org/10.1109/LICS.1994.316085}, doi = {10.1109/LICS.1994.316085}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/SaraswatJG94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacs/AbramskyMJ94, author = {Samson Abramsky and Pasquale Malacaria and Radha Jagadeesan}, editor = {Masami Hagiya and John C. Mitchell}, title = {Full Abstraction for {PCF}}, booktitle = {Theoretical Aspects of Computer Software, International Conference {TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {789}, pages = {1--15}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-57887-0\_87}, doi = {10.1007/3-540-57887-0\_87}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/tacs/AbramskyMJ94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nato/SaraswatJG93, author = {Vijay A. Saraswat and Radha Jagadeesan and Vineet Gupta}, editor = {Brian H. Mayoh and Enn Tyugu and Jaan Penjam}, title = {Programming in Timed Concurrent Constraint Languages}, booktitle = {Constraint Programming, Proceedings of the {NATO} Advanced Study Institute on Constraint Programming, Parnu, Estonia, August 13-24, 1993}, series = {{NATO} {ASI} Series}, volume = {131}, pages = {367--413}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/978-3-642-85983-0\_15}, doi = {10.1007/978-3-642-85983-0\_15}, timestamp = {Fri, 15 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/nato/SaraswatJG93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/AbramskyJ92, author = {Samson Abramsky and Radha Jagadeesan}, editor = {R. K. Shyamasundar}, title = {Games and Full Completeness for Multiplicative Linear Logic (Extended Abstract)}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, 12th Conference, New Delhi, India, December 18-20, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {652}, pages = {291--301}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-56287-7\_113}, doi = {10.1007/3-540-56287-7\_113}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/AbramskyJ92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/AbramskyJ92, author = {Samson Abramsky and Radha Jagadeesan}, title = {New Foundations for the Geometry of Interaction}, booktitle = {Proceedings of the Seventh Annual Symposium on Logic in Computer Science {(LICS} '92), Santa Cruz, California, USA, June 22-25, 1992}, pages = {211--222}, publisher = {{IEEE} Computer Society}, year = {1992}, url = {https://doi.org/10.1109/LICS.1992.185534}, doi = {10.1109/LICS.1992.185534}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/AbramskyJ92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/JagadeesanP92, author = {Radha Jagadeesan and Keshav Pingali}, editor = {Ravi Sethi}, title = {Abstract Semantics for a Higher-Order Functional Language with Logic Variables}, booktitle = {Conference Record of the Nineteenth Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 19-22, 1992}, pages = {355--366}, publisher = {{ACM} Press}, year = {1992}, url = {https://doi.org/10.1145/143165.143236}, doi = {10.1145/143165.143236}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/JagadeesanP92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/us/Jagadeesan91, author = {Radha Jagadeesan}, title = {Investigations Into Abstraction And Concurrency}, school = {Cornell University, {USA}}, year = {1991}, timestamp = {Fri, 01 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/us/Jagadeesan91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/JagadeesanPP91, author = {Radha Jagadeesan and Keshav Pingali and Prakash Panangaden}, title = {A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {13}, number = {4}, pages = {577--625}, year = {1991}, url = {https://doi.org/10.1145/115372.115371}, doi = {10.1145/115372.115371}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/toplas/JagadeesanPP91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/JagadeesanP90, author = {Radha Jagadeesan and Prakash Panangaden}, editor = {Mike Paterson}, title = {A Domain-Theoretic Model for a Higher-Order Process Calculus}, 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 = {181--194}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0032031}, doi = {10.1007/BFB0032031}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/JagadeesanP90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/JagadeesanPP89, author = {Radha Jagadeesan and Prakash Panangaden and Keshav Pingali}, title = {A Fully Abstract Semantics for a Functional Language with Logic Variables}, booktitle = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science {(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989}, pages = {294--303}, publisher = {{IEEE} Computer Society}, year = {1989}, url = {https://doi.org/10.1109/LICS.1989.39184}, doi = {10.1109/LICS.1989.39184}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/JagadeesanPP89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfps/Jagadeesan89, author = {Radha Jagadeesan}, editor = {Michael G. Main and Austin Melton and Michael W. Mislove and David A. Schmidt}, title = {L-domains and Lossless Powerdomains}, booktitle = {Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {442}, pages = {364--372}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0040268}, doi = {10.1007/BFB0040268}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/mfps/Jagadeesan89.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.