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

Thomas Braibant

2010 – today

see FAQ

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

2013
[i5]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1301-4779
- ask others
Thomas Braibant, Adam Chlipala: Formal Verification of Hardware Synthesis. CoRR abs/1301.4779 (2013)
[i4]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1304-6038
- ask others
Thomas Braibant, Jacques-Henri Jourdan, David Monniaux: Implementing hash-consed structures in Coq. CoRR abs/1304.6038 (2013)
[i3]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1305-6543
- ask others
Gregory Malecha, Adam Chlipala, Thomas Braibant, Patrick Hulin, Edward Z. Yang: MirrorShard: Proof by Computational Reflection with Verified Hints. CoRR abs/1305.6543 (2013)
2012
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1105-4537
- ask others
Thomas Braibant, Damien Pous: Deciding Kleene Algebras in Coq. Logical Methods in Computer Science 8(1) (2012)
2011
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cpp/BraibantP11
- ask others
Thomas Braibant, Damien Pous: Tactics for Reasoning Modulo AC in Coq. CPP 2011: 167-182
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cpp/Braibant11
- ask others
Thomas Braibant: Coquet: A Coq Library for Verifying Hardware. CPP 2011: 330-345
[i2]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-4448
- ask others
Thomas Braibant, Damien Pous: Tactics for Reasoning modulo AC in Coq. CoRR abs/1106.4448 (2011)
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-4253
- ask others
Thomas Braibant: Coquet: a Coq library for verifying hardware. CoRR abs/1108.4253 (2011)
2010
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/itp/BraibantP10
- ask others
Thomas Braibant, Damien Pous: An Efficient Coq Tactic for Deciding Kleene Algebras. ITP 2010: 163-178

2000 – 2009

see FAQ

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

2009
[c1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/SarkarSNORBMA09
- ask others
Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave: The semantics of x86-CC multiprocessor machine code. POPL 2009: 379-391