BibTeX records: Judicaël Courant

download as .bib file

@article{DBLP:journals/jar/CourantDELL11,
  author    = {Judica{\"{e}}l Courant and
               Marion Daubignard and
               Cristian Ene and
               Pascal Lafourcade and
               Yassine Lakhnech},
  title     = {Automated Proofs for Asymmetric Encryption},
  journal   = {J. Autom. Reasoning},
  volume    = {46},
  number    = {3-4},
  pages     = {261--291},
  year      = {2011},
  url       = {https://doi.org/10.1007/s10817-010-9186-x},
  doi       = {10.1007/s10817-010-9186-x},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jar/CourantDELL11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CourantDELL10,
  author    = {Judica{\"{e}}l Courant and
               Marion Daubignard and
               Cristian Ene and
               Pascal Lafourcade and
               Yassine Lakhnech},
  editor    = {Dennis Dams and
               Ulrich Hannemann and
               Martin Steffen},
  title     = {Automated Proofs for Asymmetric Encryption},
  booktitle = {Concurrency, Compositionality, and Correctness, Essays in Honor of
               Willem-Paul de Roever},
  series    = {Lecture Notes in Computer Science},
  volume    = {5930},
  pages     = {300--321},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-11512-7\_19},
  doi       = {10.1007/978-3-642-11512-7\_19},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/birthday/CourantDELL10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/CourantDELL08,
  author    = {Judica{\"{e}}l Courant and
               Marion Daubignard and
               Cristian Ene and
               Pascal Lafourcade and
               Yassine Lakhnech},
  editor    = {Peng Ning and
               Paul F. Syverson and
               Somesh Jha},
  title     = {Towards automated proofs for asymmetric encryption schemes in the
               random oracle model},
  booktitle = {Proceedings of the 2008 {ACM} Conference on Computer and Communications
               Security, {CCS} 2008, Alexandria, Virginia, USA, October 27-31, 2008},
  pages     = {371--380},
  publisher = {{ACM}},
  year      = {2008},
  url       = {https://doi.org/10.1145/1455770.1455817},
  doi       = {10.1145/1455770.1455817},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ccs/CourantDELL08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Courant07,
  author    = {Judica{\"{e}}l Courant},
  title     = {MC\({}_{\mbox{2}}\) {A} module calculus for Pure Type Systems},
  journal   = {J. Funct. Program.},
  volume    = {17},
  number    = {3},
  pages     = {287--352},
  year      = {2007},
  url       = {https://doi.org/10.1017/S0956796806005867},
  doi       = {10.1017/S0956796806005867},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jfp/Courant07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/CourantEL07,
  author    = {Judica{\"{e}}l Courant and
               Cristian Ene and
               Yassine Lakhnech},
  editor    = {Vikraman Arvind and
               Sanjiva Prasad},
  title     = {Computationally Sound Typing for Non-interference: The Case of Deterministic
               Encryption},
  booktitle = {{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},
  pages     = {364--375},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-77050-3\_30},
  doi       = {10.1007/978-3-540-77050-3\_30},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/conf/fsttcs/CourantEL07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/MoninC06,
  author    = {Jean{-}Fran{\c{c}}ois Monin and
               Judica{\"{e}}l Courant},
  editor    = {Henrik Nilsson},
  title     = {Proving termination using dependent types: the case of XOR-terms},
  booktitle = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
               Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
  series    = {Trends in Functional Programming},
  volume    = {7},
  pages     = {1--18},
  publisher = {Intellect},
  year      = {2006},
  timestamp = {Thu, 25 Oct 2007 12:11:04 +0200},
  biburl    = {https://dblp.org/rec/conf/sfp/MoninC06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/Courant02,
  author    = {Judica{\"{e}}l Courant},
  title     = {Strong Normalization with Singleton Types},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {70},
  number    = {1},
  pages     = {53--71},
  year      = {2002},
  url       = {https://doi.org/10.1016/S1571-0661(04)80490-0},
  doi       = {10.1016/S1571-0661(04)80490-0},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/Courant02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Courant02,
  author    = {Judica{\"{e}}l Courant},
  editor    = {Victor Carre{\~{n}}o and
               C{\'{e}}sar A. Mu{\~{n}}oz and
               Sofi{\`{e}}ne Tahar},
  title     = {Explicit Universes for the Calculus of Constructions},
  booktitle = {Theorem Proving in Higher Order Logics, 15th International Conference,
               TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2410},
  pages     = {115--130},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45685-6\_9},
  doi       = {10.1007/3-540-45685-6\_9},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/conf/tphol/Courant02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Courant97,
  author    = {Judica{\"{e}}l Courant},
  editor    = {Michel Bidoit and
               Max Dauchet},
  title     = {An Applicative Module Calculus},
  booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
               Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1214},
  pages     = {622--636},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0030630},
  doi       = {10.1007/BFb0030630},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/tapsoft/Courant97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Courant97,
  author    = {Judica{\"{e}}l Courant},
  editor    = {Philippe de Groote},
  title     = {A Module Calculus for Pure Type Systems},
  booktitle = {Typed Lambda Calculi and Applications, Third International Conference
               on Typed Lambda Calculi and Applications, {TLCA} '97, Nancy, France,
               April 2-4, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1210},
  pages     = {112--128},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-62688-3\_32},
  doi       = {10.1007/3-540-62688-3\_32},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/tlca/Courant97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics