Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Pierre-Yves Strub" ( http://dblp.L3S.de/Authors/Pierre-Yves_Strub )

  Author page on DBLP  Author page in RDF  Community of Pierre-Yves Strub in ASPL-2

Publication years (Num. hits)
2001-2012 (10)
Publication types (Num. hits)
article(2) inproceedings(8)
Venues (Conferences, Journals, ...)
CoRR(2) CSL(2) ACM Conference on Computer and...(1) ICFP(1) ICIP(1) IFIP TCS(1) LICS(1) POPL(1)
Authors
Pierre-Yves Strub(10) Jean-Pierre Jouannaud(5) Frédéric Blanqui(4) Cédric Fournet(3) Juan Chen(2) Nikhil Swamy(2) Bruno Barras(1) Jean Yang(1) Jérôme Darbon(1) Karthikeyan Bhargavan(1) Markulf Kohlweiss(1) Qian Wang(1) Thierry Géraud(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen Self-certification: bootstrapping certified typecheckers in F* with Coq. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang Secure distributed programming with value-dependent types. Search on Bibsonomy ICFP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bruno Barras, Jean-Pierre Jouannaud, Pierre-Yves Strub, Qian Wang CoQMTU: A Higher-Order Type Theory with a Predicative Hierarchy of Universes Parametrized by a Decidable First-Order Theory. Search on Bibsonomy LICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Cédric Fournet, Markulf Kohlweiss, Pierre-Yves Strub Modular code-based cryptographic verification. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pierre-Yves Strub Coq Modulo Theory. Search on Bibsonomy CSL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-order Decision Procedures. Search on Bibsonomy IFIP TCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub Building Decision Procedures in the Calculus of Inductive Constructions Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub Building Decision Procedures in the Calculus of Inductive Constructions. Search on Bibsonomy CSL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Calculus of Inductive Constructions, Decision procedures, Theorem provers
1Thierry Géraud, Pierre-Yves Strub, Jérôme Darbon Color image segmentation based on automatic morphological clustering. Search on Bibsonomy ICIP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.