Benjamin Werner

ORCID

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 8

Top Venues

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Gilles Dowek, Benjamin Werner
A constructive proof of Skolem theorem for constructive logic. CoRR (2023)
Gilles Dowek, Gérard Huet, Benjamin Werner
On the Definition of the Eta-long Normal Form in Type Systems of the Cube. CoRR (2023)
Gilles Dowek, Benjamin Werner
Arithmetic as a theory modulo. CoRR (2023)
Benjamin Schumeg, Franklin Marotta, Benjamin Werner
Proposed V-Model for Verification, Validation, and Safety Activities for Artificial Intelligence. ICAA (2023)
Pablo Donato, Pierre-Yves Strub, Benjamin Werner
A drag-and-drop proof tactic. CPP (2022)
Pablo Donato, Pierre-Yves Strub, Benjamin Werner
A drag-and-drop proof tactic. CoRR (2022)
Ketevan Chkhaidze, Timon Heide, Benjamin Werner, Marc J. Williams, Weini Huang, Giulio Caravagna, Trevor A. Graham, Andrea Sottoriva
Spatially constrained tumour growth affects the patterns of clonal selection and neutral drift in cancer genomic data. PLoS Comput. Biol. 15 (7) (2019)
Benjamin Werner, Andrea Sottoriva
Variation of mutational burden in healthy human tissues suggests non-random strand segregation and allows measuring somatic mutation rates. PLoS Comput. Biol. 14 (6) (2018)
Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner
Certification of real inequalities: templates and sums of squares. Math. Program. 151 (2) (2015)
Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner
Formal Proofs for Nonlinear Optimization. J. Formaliz. Reason. 8 (1) (2015)
Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner
Formal Proofs for Nonlinear Optimization. CoRR (2014)
Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner
Certification of Bounds of Non-linear Functions: the Templates Method. CoRR (2013)
Xavier Allamigeon, Stephane Gaubert, Victor Magron, Benjamin Werner
Certification of inequalities involving transcendental functions: Combining SDP and max-plus approximation. ECC (2013)
Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner
Certification of Bounds of Non-linear Functions: The Templates Method. MKM/Calculemus/DML (2013)
Benjamin Werner, David Dingli, Tom Lenaerts, Jorge M. Pacheco, Arne Traulsen
Dynamics of Mutant Cells in Hierarchical Organized Tissues. PLoS Comput. Biol. 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)
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)
Gyesik Lee, Benjamin Werner
Proof-irrelevant model of CC with predicative induction and judgmental equality Log. Methods Comput. Sci. 7 (4) (2011)
Chantal Keller, Benjamin Werner
Importing HOL Light into Coq. ITP (2010)
Benjamin Werner
On the strength of proof-irrelevant type theories CoRR (2008)
Benjamin Werner
On the Strength of Proof-irrelevant Type Theories. Log. Methods Comput. Sci. 4 (3) (2008)
François Garillot, Benjamin Werner
Simple Types in Type Theory: Deep and Shallow Encodings. TPHOLs (2007)
Benjamin Grégoire, Laurent Théry, Benjamin Werner
A Computational Approach to Pocklington Certificates in Type Theory. FLOPS (2006)
Benjamin Werner
On the Strength of Proof-Irrelevant Type Theories. IJCAR (2006)
Gilles Dowek, Benjamin Werner
Arithmetic as a Theory Modulo. RTA (2005)
Martín Abadi, Georges Gonthier, Benjamin Werner
Choice in Dynamic Linking. FoSSaCS (2004)
Gilles Dowek, Benjamin Werner
Proof normalization modulo. J. Symb. Log. 68 (4) (2003)
Alexandre Miquel, Benjamin Werner
The Not So Simple Proof-Irrelevant Model of CC. TYPES (2002)
Gilles Dowek, Benjamin Werner
Proof Normalization Modulo. TYPES (1998)
Benjamin Werner
Sets in Types, Types in Sets. TACS (1997)
Paul-André Melliès, Benjamin Werner
A Generic Normalisation Proof for Pure Type Systems. TYPES (1996)
Herman Geuvers, Benjamin Werner
On the Church-Rosser Property for Expressive Type Systems and its Consequences for their Metatheoretic Study LICS (1994)
Christine Paulin-Mohring, Benjamin Werner
Synthesis of ML Programs in the System Coq. J. Symb. Comput. 15 (5/6) (1993)

Benjamin Werner.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Benjamin Werner