BibSonomy publications for /author/Leroy http://www.bibsonomy.org/author/Leroy BibSonomy RSS Feed for /author/Leroy Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations. dblp http://www.bibsonomy.org/bibtex/2905181554f6f8f594ac164a3f91bda8c/dblp dblp 2008-11-25T00:00:00+01:00 dblp
Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations.
Xavier Leroy and Sandrine Blazy J. Autom. Reasoning 41 1-31 (2008)
to dblp by dblp on 2008-11-25 00:00:00
]]> Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves. dblp http://www.bibsonomy.org/bibtex/2d4bd71783097850df884639d79c1a502/dblp dblp 2008-11-25T00:00:00+01:00 dblp
Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves.
Laurence Rideau and Bernard P. Serpette and Xavier Leroy J. Autom. Reasoning 40 307-326 (2008)
to dblp by dblp on 2008-11-25 00:00:00
]]> MS-BID: a Java package for label-free LC-MS-based comparative proteomic analysis. dblp http://www.bibsonomy.org/bibtex/2f0961112a5f6674f973ea4399ddcbd64/dblp dblp 2008-11-05T00:00:00+01:00 dblp
MS-BID: a Java package for label-free LC-MS-based comparative proteomic analysis.
Daehee Hwang and Ning Zhang and Hookeun Lee and Eugene Yi and Hui Zhang and Inyoul Y. Lee and Leroy Hood and Ruedi Aebersold Bioinformatics 24 2641-2642 (2008)
to dblp by dblp on 2008-11-05 00:00:00
]]> Prévention des risques dans l'unité de soins http://www.bibsonomy.org/bibtex/2b9bfb1928cf92d594e408aa080f7de9b/narbonneifcs narbonneifcs 2008-10-21T16:00:37+02:00 encadrement-soignant gestion-des-risques outils-de-pilotage projet-de-service prévention qualité risques tableaux-de-bord évaluation-des-risques
Prévention des risques dans l'unité de soins
Anne-Marie Bonnery and Chantal Gaba-Leroy and Danièle Marande and Patricia Michot (2003)
to encadrement-soignant gestion-des-risques outils-de-pilotage projet-de-service prévention qualité risques tableaux-de-bord évaluation-des-risques by narbonneifcs on 2008-10-21 16:00:37
]]> A balanced approach to health information evaluation: A vocabulary-based naïve Bayes classifier and readability formulas. dblp http://www.bibsonomy.org/bibtex/2051f4cc1aba3f4232aba4854826db1a1/dblp dblp 2008-09-25T00:00:00+02:00 dblp
A balanced approach to health information evaluation: A vocabulary-based naïve Bayes classifier and readability formulas.
Gondy Leroy and Trudi Miller and Graciela Rosemblat and Allen Browne JASIST 59 1409-1419 (2008)
to dblp by dblp on 2008-09-25 00:00:00
]]> Towards Semi-autonomy in Laparoscopic Surgery: First Live Experiments. dblp http://www.bibsonomy.org/bibtex/274bdca555c8484f002e570ebc52c379e/dblp dblp 2008-09-24T00:00:00+02:00 dblp
Towards Semi-autonomy in Laparoscopic Surgery: First Live Experiments.
Alexandre Krupa and Christophe Doignon and Jacques Gangloff and Michel de Mathelin and Guillaume Morel and Luc Soler and Joël Leroy and Moji Ghodoussi ISER 435-444 (2002)
to dblp by dblp on 2008-09-24 00:00:00
]]> Finding Hamiltonian circuits in quasi-adjoint graphs. dblp http://www.bibsonomy.org/bibtex/2ab2fe04dbfe57f67d879d074a08cf17d/dblp dblp 2008-09-16T00:00:00+02:00 dblp
Finding Hamiltonian circuits in quasi-adjoint graphs.
Jacek Blazewicz and Marta Kasprzak and Benjamin Leroy-Beaulieu and Dominique de Werra Discrete Applied Mathematics 156 2573-2580 (2008)
to dblp by dblp on 2008-09-16 00:00:00
]]> Ada 2005 Reference Manual. Language and Standard Libraries - International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1 dblp http://www.bibsonomy.org/bibtex/2cba08fca6f244f70cf033afef1ccb3cd/dblp dblp 2008-09-05T00:00:00+02:00 dblp
Ada 2005 Reference Manual. Language and Standard Libraries - International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1
S. Tucker Taft and Robert A. Duff and Randall Brukardt and Erhard Plödereder and Pascal Leroy (2006)
to dblp by dblp on 2008-09-05 00:00:00
]]> Coinductive big-step operational semantics dblp http://www.bibsonomy.org/bibtex/234c920975bd69d3a8be8e8132fdc1330/dblp dblp 2008-09-01T00:00:00+02:00 dblp
Coinductive big-step operational semantics
Xavier Leroy and Hervé Grall CoRR abs/0808.0586 (2008)
to dblp by dblp on 2008-09-01 00:00:00
]]> If you love firefox, you ' ll love these 10 extensions that will make browsing the Web even better, everything from photo viewers to Flash blockers to a Coverflow-like system for your bookmarks 10 Firefox add-ons for better browsing | Computer Tech Support http://www.bibsonomy.org/bibtex/2787ba5192e91173f466cebcccafd163b/comcast comcast 2008-08-30T07:42:30+02:00 imported
If you love firefox, you ' ll love these 10 extensions that will make browsing the Web even better, everything from photo viewers to Flash blockers to a Coverflow-like system for your bookmarks
leroy (2009)
to imported by comcast on 2008-08-30 07:42:30
]]>