 | 2012 |
|---|
| 7 |       | Thomas Braibant,
Damien Pous:
Deciding Kleene Algebras in Coq
Logical Methods in Computer Science 8(1): (2012) |
| 2011 |
|---|
| 6 | | Thomas Braibant,
Damien Pous:
Tactics for Reasoning Modulo AC in Coq.
CPP 2011: 167-182 |
| 5 | | Thomas Braibant:
Coquet: A Coq Library for Verifying Hardware.
CPP 2011: 330-345 |
| 4 | | Thomas Braibant,
Damien Pous:
Tactics for Reasoning modulo AC in Coq
CoRR abs/1106.4448: (2011) |
| 3 | | Thomas Braibant:
Coquet: a Coq library for verifying hardware
CoRR abs/1108.4253: (2011) |
| 2010 |
|---|
| 2 | | Thomas Braibant,
Damien Pous:
An Efficient Coq Tactic for Deciding Kleene Algebras.
ITP 2010: 163-178 |
| 2009 |
|---|
| 1 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page