BibTeX records: Pierre Crégut

download as .bib file

@inproceedings{DBLP:conf/cpp/BegayCM21,
  author       = {Pierre{-}L{\'{e}}o B{\'{e}}gay and
                  Pierre Cr{\'{e}}gut and
                  Jean{-}Fran{\c{c}}ois Monin},
  editor       = {Catalin Hritcu and
                  Andrei Popescu},
  title        = {Developing and certifying Datalog optimizations in coq/mathcomp},
  booktitle    = {{CPP} '21: 10th {ACM} {SIGPLAN} International Conference on Certified
                  Programs and Proofs, Virtual Event, Denmark, January 17-19, 2021},
  pages        = {163--177},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3437992.3439913},
  doi          = {10.1145/3437992.3439913},
  timestamp    = {Fri, 12 Feb 2021 14:28:33 +0100},
  biburl       = {https://dblp.org/rec/conf/cpp/BegayCM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lisp/Cregut07,
  author       = {Pierre Cr{\'{e}}gut},
  title        = {Strongly reducing variants of the Krivine abstract machine},
  journal      = {High. Order Symb. Comput.},
  volume       = {20},
  number       = {3},
  pages        = {209--230},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10990-007-9015-z},
  doi          = {10.1007/S10990-007-9015-Z},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/Cregut07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmco/BartheCGJP07,
  author       = {Gilles Barthe and
                  Pierre Cr{\'{e}}gut and
                  Benjamin Gr{\'{e}}goire and
                  Thomas P. Jensen and
                  David Pichardie},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Susanne Graf and
                  Willem P. de Roever},
  title        = {The {MOBIUS} Proof Carrying Code Infrastructure},
  booktitle    = {Formal Methods for Components and Objects, 6th International Symposium,
                  {FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {5382},
  pages        = {1--24},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-92188-2\_1},
  doi          = {10.1007/978-3-540-92188-2\_1},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/fmco/BartheCGJP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/Cregut07,
  author       = {Pierre Cr{\'{e}}gut},
  editor       = {Gilles Barthe and
                  C{\'{e}}dric Fournet},
  title        = {Extracting Control from Data: User Interfaces of {MIDP} Applications},
  booktitle    = {Trustworthy Global Computing, Third Symposium, {TGC} 2007, Sophia-Antipolis,
                  France, November 5-6, 2007, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4912},
  pages        = {41--56},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-78663-4\_5},
  doi          = {10.1007/978-3-540-78663-4\_5},
  timestamp    = {Sat, 19 Oct 2019 20:09:31 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/Cregut07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/BartheBCGHMPPSV06,
  author       = {Gilles Barthe and
                  Lennart Beringer and
                  Pierre Cr{\'{e}}gut and
                  Benjamin Gr{\'{e}}goire and
                  Martin Hofmann and
                  Peter M{\"{u}}ller and
                  Erik Poll and
                  Germ{\'{a}}n Puebla and
                  Ian Stark and
                  Eric V{\'{e}}tillard},
  editor       = {Ugo Montanari and
                  Donald Sannella and
                  Roberto Bruni},
  title        = {{MOBIUS:} Mobility, Ubiquity, Security},
  booktitle    = {Trustworthy Global Computing, Second Symposium, {TGC} 2006, Lucca,
                  Italy, November 7-9, 2006, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4661},
  pages        = {10--29},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-75336-0\_2},
  doi          = {10.1007/978-3-540-75336-0\_2},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/BartheBCGHMPPSV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CregutA05,
  author       = {Pierre Cr{\'{e}}gut and
                  Cuihtlauac Alvarado},
  editor       = {Fausto Spoto},
  title        = {Improving the Security of Downloadable Java Applications With Static
                  Analysis},
  booktitle    = {Proceedings of the First Workshop on Bytecode Semantics, Verification,
                  Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April
                  9, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {141},
  number       = {1},
  pages        = {129--144},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.02.033},
  doi          = {10.1016/J.ENTCS.2005.02.033},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/CregutA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ipl/CregutH99,
  author       = {Pierre Cr{\'{e}}gut and
                  Barbara Heyd},
  title        = {Progress Properties for Empty {UNITY} Programs},
  journal      = {Inf. Process. Lett.},
  volume       = {69},
  number       = {3},
  pages        = {107--109},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0020-0190(98)00207-5},
  doi          = {10.1016/S0020-0190(98)00207-5},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/CregutH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icnp/CregutGH96,
  author       = {Pierre Cr{\'{e}}gut and
                  Fabrice Guillemin and
                  Barbara Heyd},
  title        = {A Protocol for Supporting the {ABT/DT} Capability},
  booktitle    = {1996 International Conference on Network Protocols, {ICNP} 1996, October
                  29 - November 1, 1996, Columbus, Ohio, {USA}},
  pages        = {218--225},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/ICNP.1996.564945},
  doi          = {10.1109/ICNP.1996.564945},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icnp/CregutGH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/HeydC96,
  author       = {Barbara Heyd and
                  Pierre Cr{\'{e}}gut},
  editor       = {Joakim von Wright and
                  Jim Grundy and
                  John Harrison},
  title        = {A Modular Coding of {UNITY} in {COQ}},
  booktitle    = {Theorem Proving in Higher Order Logics, 9th International Conference,
                  TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1125},
  pages        = {251--266},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/BFb0105409},
  doi          = {10.1007/BFB0105409},
  timestamp    = {Thu, 05 Sep 2019 14:51:32 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/HeydC96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Cregut91,
  author       = {Pierre Cr{\'{e}}gut},
  editor       = {Michel Billaud and
                  Pierre Cast{\'{e}}ran and
                  Marc{-}Michel Corsini and
                  Kaninda Musumbu and
                  Antoine Rauzy},
  title        = {Interpr{\'{e}}tation abstraite pour am{\'{e}}liorer la repr{\'{e}}sentation
                  des environnements dans les langages fonctionnels},
  booktitle    = {Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais
                  de Recherche en Informatique (LaBRI), Proceedings},
  series       = {Series Bigre},
  volume       = {74},
  pages        = {37--43},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1991},
  timestamp    = {Thu, 12 Jul 2018 08:27:32 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Cregut91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lfp/Cregut90,
  author       = {Pierre Cr{\'{e}}gut},
  editor       = {Gilles Kahn},
  title        = {An Abstract Machine for Lambda-Terms Normalization},
  booktitle    = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
                  Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
  pages        = {333--340},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/91556.91681},
  doi          = {10.1145/91556.91681},
  timestamp    = {Fri, 06 Aug 2021 15:08:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lfp/Cregut90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.