Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Raphaëlle Crubillé
@article{DBLP:journals/jcs/ChevalCK23, author = {Vincent Cheval and Rapha{\"{e}}lle Crubill{\'{e}} and Steve Kremer}, title = {Symbolic protocol verification with dice}, journal = {J. Comput. Secur.}, volume = {31}, number = {5}, pages = {501--538}, year = {2023}, url = {https://doi.org/10.3233/JCS-230037}, doi = {10.3233/JCS-230037}, timestamp = {Fri, 03 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcs/ChevalCK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/BartheCLG22, author = {Gilles Barthe and Rapha{\"{e}}lle Crubill{\'{e}} and Ugo Dal Lago and Francesco Gavazzo}, title = {On Feller continuity and full abstraction}, journal = {Proc. {ACM} Program. Lang.}, volume = {6}, number = {{ICFP}}, pages = {826--854}, year = {2022}, url = {https://doi.org/10.1145/3547651}, doi = {10.1145/3547651}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/BartheCLG22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/ChevalCK22, author = {Vincent Cheval and Rapha{\"{e}}lle Crubill{\'{e}} and Steve Kremer}, title = {Symbolic protocol verification with dice: process equivalences in the presence of probabilities}, booktitle = {35th {IEEE} Computer Security Foundations Symposium, {CSF} 2022, Haifa, Israel, August 7-10, 2022}, pages = {319--334}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/CSF54842.2022.9919644}, doi = {10.1109/CSF54842.2022.9919644}, timestamp = {Fri, 11 Nov 2022 16:53:14 +0100}, biburl = {https://dblp.org/rec/conf/csfw/ChevalCK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2207-10590, author = {Gilles Barthe and Rapha{\"{e}}lle Crubill{\'{e}} and Ugo Dal Lago and Francesco Gavazzo}, title = {On Feller Continuity and Full Abstraction (Long Version)}, journal = {CoRR}, volume = {abs/2207.10590}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2207.10590}, doi = {10.48550/ARXIV.2207.10590}, eprinttype = {arXiv}, eprint = {2207.10590}, timestamp = {Mon, 25 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2207-10590.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/BartheCLG20, author = {Gilles Barthe and Rapha{\"{e}}lle Crubill{\'{e}} and Ugo Dal Lago and Francesco Gavazzo}, editor = {Peter M{\"{u}}ller}, title = {On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem}, booktitle = {Programming Languages and Systems - 29th European Symposium on Programming, {ESOP} 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12075}, pages = {56--83}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-44914-8\_3}, doi = {10.1007/978-3-030-44914-8\_3}, timestamp = {Fri, 14 May 2021 08:34:21 +0200}, biburl = {https://dblp.org/rec/conf/esop/BartheCLG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BarakCL20, author = {Boaz Barak and Rapha{\"{e}}lle Crubill{\'{e}} and Ugo Dal Lago}, editor = {Artur Czumaj and Anuj Dawar and Emanuela Merelli}, title = {On Higher-Order Cryptography}, booktitle = {47th International Colloquium on Automata, Languages, and Programming, {ICALP} 2020, July 8-11, 2020, Saarbr{\"{u}}cken, Germany (Virtual Conference)}, series = {LIPIcs}, volume = {168}, pages = {108:1--108:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2020}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2020.108}, doi = {10.4230/LIPICS.ICALP.2020.108}, timestamp = {Mon, 21 Dec 2020 13:23:22 +0100}, biburl = {https://dblp.org/rec/conf/icalp/BarakCL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2002-07218, author = {Boaz Barak and Rapha{\"{e}}lle Crubill{\'{e}} and Ugo Dal Lago}, title = {On Higher-Order Cryptography (Long Version)}, journal = {CoRR}, volume = {abs/2002.07218}, year = {2020}, url = {https://arxiv.org/abs/2002.07218}, eprinttype = {arXiv}, eprint = {2002.07218}, timestamp = {Mon, 02 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2002-07218.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2002-08489, author = {Gilles Barthe and Rapha{\"{e}}lle Crubill{\'{e}} and Ugo Dal Lago and Francesco Gavazzo}, title = {On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem}, journal = {CoRR}, volume = {abs/2002.08489}, year = {2020}, url = {https://arxiv.org/abs/2002.08489}, eprinttype = {arXiv}, eprint = {2002.08489}, timestamp = {Mon, 02 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2002-08489.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/hal/Crubille19, author = {Rapha{\"{e}}lle Crubill{\'{e}}}, title = {Behavioural distances for probabilistic higher-order programs. (Distances comportementales pour des programmes probabilistes d'ordre sup{\'{e}}rieur)}, school = {Sorbonne Paris Cit{\'{e}}, France}, year = {2019}, url = {https://tel.archives-ouvertes.fr/tel-03041550}, timestamp = {Wed, 23 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/phd/hal/Crubille19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Crubille18, author = {Rapha{\"{e}}lle Crubill{\'{e}}}, editor = {Anuj Dawar and Erich Gr{\"{a}}del}, title = {Probabilistic Stable Functions on Discrete Cones are Power Series}, booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2018, Oxford, UK, July 09-12, 2018}, pages = {275--284}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3209108.3209198}, doi = {10.1145/3209108.3209198}, timestamp = {Wed, 21 Nov 2018 12:44:18 +0100}, biburl = {https://dblp.org/rec/conf/lics/Crubille18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1805-00512, author = {Rapha{\"{e}}lle Crubill{\'{e}}}, title = {Probabilistic Stable Functions on Discrete Cones are Power Series (long version)}, journal = {CoRR}, volume = {abs/1805.00512}, year = {2018}, url = {http://arxiv.org/abs/1805.00512}, eprinttype = {arXiv}, eprint = {1805.00512}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1805-00512.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/CrubilleL17, author = {Rapha{\"{e}}lle Crubill{\'{e}} and Ugo Dal Lago}, editor = {Hongseok Yang}, title = {Metric Reasoning About {\textbackslash}lambda -Terms: The General Case}, booktitle = {Programming Languages and Systems - 26th European Symposium on Programming, {ESOP} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10201}, pages = {341--367}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-54434-1\_13}, doi = {10.1007/978-3-662-54434-1\_13}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/esop/CrubilleL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/CrubilleEPT17, author = {Rapha{\"{e}}lle Crubill{\'{e}} and Thomas Ehrhard and Michele Pagani and Christine Tasson}, editor = {Javier Esparza and Andrzej S. Murawski}, title = {The Free Exponential Modality of Probabilistic Coherence Spaces}, booktitle = {Foundations of Software Science and Computation Structures - 20th International Conference, {FOSSACS} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10203}, pages = {20--35}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-54458-7\_2}, doi = {10.1007/978-3-662-54458-7\_2}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/CrubilleEPT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/CrubilleL17, author = {Rapha{\"{e}}lle Crubill{\'{e}} and Ugo Dal Lago}, title = {Metric Reasoning About {\(\lambda\)}-Terms: The General Case (Long Version)}, journal = {CoRR}, volume = {abs/1701.05521}, year = {2017}, url = {http://arxiv.org/abs/1701.05521}, eprinttype = {arXiv}, eprint = {1701.05521}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CrubilleL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/CrubilleLSV15, author = {Rapha{\"{e}}lle Crubill{\'{e}} and Ugo Dal Lago and Davide Sangiorgi and Valeria Vignudelli}, editor = {Roland Meyer and Andr{\'{e}} Platzer and Heike Wehrheim}, title = {On Applicative Similarity, Sequentiality, and Full Abstraction}, booktitle = {Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9360}, pages = {65--82}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-23506-6\_7}, doi = {10.1007/978-3-319-23506-6\_7}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/birthday/CrubilleLSV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/CrubilleL15, author = {Rapha{\"{e}}lle Crubill{\'{e}} and Ugo Dal Lago}, title = {Metric Reasoning about {\(\lambda\)}-Terms: The Affine Case}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {633--644}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.64}, doi = {10.1109/LICS.2015.64}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/CrubilleL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/CrubilleL15, author = {Rapha{\"{e}}lle Crubill{\'{e}} and Ugo Dal Lago}, title = {Metric Reasoning about {\(\lambda\)}-Terms: the Affine Case (Long Version)}, journal = {CoRR}, volume = {abs/1505.03638}, year = {2015}, url = {http://arxiv.org/abs/1505.03638}, eprinttype = {arXiv}, eprint = {1505.03638}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CrubilleL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/CrubilleL14, author = {Rapha{\"{e}}lle Crubill{\'{e}} and Ugo Dal Lago}, editor = {Zhong Shao}, title = {On Probabilistic Applicative Bisimulation and Call-by-Value {\(\lambda\)}-Calculi}, booktitle = {Programming Languages and Systems - 23rd European Symposium on Programming, {ESOP} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8410}, pages = {209--228}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54833-8\_12}, doi = {10.1007/978-3-642-54833-8\_12}, timestamp = {Thu, 14 Oct 2021 10:31:33 +0200}, biburl = {https://dblp.org/rec/conf/esop/CrubilleL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/CrubilleL14, author = {Rapha{\"{e}}lle Crubill{\'{e}} and Ugo Dal Lago}, title = {On Probabilistic Applicative Bisimulation and Call-by-Value {\(\lambda\)}-Calculi (Long Version)}, journal = {CoRR}, volume = {abs/1401.3766}, year = {2014}, url = {http://arxiv.org/abs/1401.3766}, eprinttype = {arXiv}, eprint = {1401.3766}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CrubilleL14.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.