Benjamin Werner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
1994–2022
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CPP | A drag-and-drop proof tactic. | Pablo Donato, Pierre-Yves Strub, Benjamin Werner |
| 2011 | CPP | A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses. | Michal Armand, Germain Faure, Benjamin Grgoire, Chantal Keller, Laurent Thry, Benjamin Werner |
| 2011 | IJCCI | Using Co-existing Attractors of a Sensorimotor Loop for the Motion Control of a Humanoid Robot. | Matthias Kubisch, Benjamin Werner, Manfred Hild |
| 2010 | ITP | Importing HOL Light into Coq. | Chantal Keller, Benjamin Werner |
| 2006 | CADE | On the Strength of Proof-Irrelevant Type Theories. | Benjamin Werner |
| 2006 | FLOPS | A Computational Approach to Pocklington Certificates in Type Theory. | Benjamin Grgoire, Laurent Thry, Benjamin Werner |
| 2004 | FOSSACS | Choice in Dynamic Linking. | Martn Abadi, Georges Gonthier, Benjamin Werner |
| 1994 | LICS | On the Church-Rosser Property for Expressive Type Systems and its Consequences for their Metatheoretic Study | Herman Geuvers, Benjamin Werner |