Benjamin Werner

Gyesik Lee, Benjamin Werner: Proof-irrelevant model of CC with predicative induction and judgmental equality. Logical Methods in Computer Science 7(4) (2011)

Benjamin Werner, David Dingli, Tom Lenaerts, Jorge M. Pacheco, Arne Traulsen: Dynamics of Mutant Cells in Hierarchical Organized Tissues. PLoS Computational Biology 7(12) (2011)

Michaël Armand, Germain Faure, Benjamin Grégoire, Chantal Keller, Laurent Théry, Benjamin Werner: A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses. CPP 2011: 135-150

Matthias Kubisch, Benjamin Werner, Manfred Hild: Using Co-existing Attractors of a Sensorimotor Loop for the Motion Control of a Humanoid Robot. IJCCI (NCTA) 2011: 385-390

Chantal Keller, Benjamin Werner: Importing HOL Light into Coq. ITP 2010: 307-322

Benjamin Werner: On the Strength of Proof-irrelevant Type Theories. Logical Methods in Computer Science 4(3) (2008)

Benjamin Werner: On the strength of proof-irrelevant type theories. CoRR abs/0808.3928 (2008)

François Garillot, Benjamin Werner: Simple Types in Type Theory: Deep and Shallow Encodings. TPHOLs 2007: 368-382

Benjamin Werner: On the Strength of Proof-Irrelevant Type Theories. IJCAR 2006: 604-618

Benjamin Grégoire, Laurent Théry, Benjamin Werner: A Computational Approach to Pocklington Certificates in Type Theory. FLOPS 2006: 97-113

Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (Eds.): Types for Proofs and Programs, International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3839, Springer 2006, isbn 3-540-31428-8

Gilles Dowek, Benjamin Werner: Arithmetic as a Theory Modulo. RTA 2005: 423-437

Martín Abadi, Georges Gonthier, Benjamin Werner: Choice in Dynamic Linking. FoSSaCS 2004: 12-26

Gilles Dowek, Benjamin Werner: Proof normalization modulo. J. Symb. Log. 68(4): 1289-1316 (2003)

Alexandre Miquel, Benjamin Werner: The Not So Simple Proof-Irrelevant Model of CC. TYPES 2002: 240-258

Gilles Dowek, Benjamin Werner: Proof Normalization Modulo. TYPES 1998: 62-77

Benjamin Werner: Sets in Types, Types in Sets. TACS 1997: 530-346

Paul-André Melliès, Benjamin Werner: A Generic Normalisation Proof for Pure Type Systems. TYPES 1996: 254-276

Herman Geuvers, Benjamin Werner: On the Church-Rosser Property for Expressive Type Systems and its Consequences for their Metatheoretic Study. LICS 1994: 320-329

Christine Paulin-Mohring, Benjamin Werner: Synthesis of ML Programs in the System Coq. J. Symb. Comput. 15(5/6): 607-640 (1993)