Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Pierre-Yves Strub

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[c9]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/FournetSCDSL13
- ask others
Cédric Fournet, Nikhil Swamy, Juan Chen, Pierre-Évariste Dagand, Pierre-Yves Strub, Benjamin Livshits: Fully abstract compilation to JavaScript. POPL 2013: 371-384
2012
[c8]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/StrubSFC12
- ask others
Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen: Self-certification: bootstrapping certified typecheckers in F* with Coq. POPL 2012: 571-584
2011
[c7]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ccs/FournetKS11
- ask others
Cédric Fournet, Markulf Kohlweiss, Pierre-Yves Strub: Modular code-based cryptographic verification. ACM Conference on Computer and Communications Security 2011: 341-350
[c6]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icfp/SwamyCFSBY11
- ask others
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang: Secure distributed programming with value-dependent types. ICFP 2011: 266-278
[c5]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lics/BarrasJSW11
- ask others
Bruno 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. LICS 2011: 143-151
2010
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csl/Strub10
- ask others
Pierre-Yves Strub: Coq Modulo Theory. CSL 2010: 529-543

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2008
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifipTCS/BlanquiJS08
- ask others
Fré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. IFIP TCS 2008: 349-365
[i2]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0804-3762
- ask others
Fré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. CoRR abs/0804.3762 (2008)
2007
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csl/BlanquiJS07
- ask others
Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub: Building Decision Procedures in the Calculus of Inductive Constructions. CSL 2007: 328-342
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0707-1266
- ask others
Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub: Building Decision Procedures in the Calculus of Inductive Constructions. CoRR abs/0707.1266 (2007)
2001
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icip/GeraudSD01
- ask others
Thierry Géraud, Pierre-Yves Strub, Jérôme Darbon: Color image segmentation based on automatic morphological clustering. ICIP (3) 2001: 70-73