Guillaume Burel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2007–2026
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | IJCAR | Automatically Translating Proof Systems for SMT Solvers to the λ Π-Calculus. | Ciarn Dunne, Guillaume Burel |
| 2025 | FlAIRS | Proof Verification with GDV and LambdaPi - It's a Matter of Trust. | Geoff Sutcliffe, Frdric Blanqui, Guillaume Burel |
| 2018 | MFCS | Linking Focusing and Resolution with Selection. | Guillaume Burel |
| 2013 | CADE | A Shallow Embedding of Resolution and Superposition Proofs into the λΠ-Calculus Modulo. | Guillaume Burel |
| 2011 | CADE | Experimenting with Deduction Modulo. | Guillaume Burel |
| 2010 | CSL | Embedding Deduction Modulo into a Prover. | Guillaume Burel |
| 2008 | LICS | A First-Order Representation of Pure Type Systems Using Superdeduction. | Guillaume Burel |
| 2007 | CSL | Unbounded Proof-Length Speed-Up in Deduction Modulo. | Guillaume Burel |
| 2007 | LFCS | Cut Elimination in Deduction Modulo by Abstract Completion. | Guillaume Burel, Claude Kirchner |