default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBenjamin Werner
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c17]Benjamin Schumeg, Franklin Marotta, Benjamin Werner:
Proposed V-Model for Verification, Validation, and Safety Activities for Artificial Intelligence. ICAA 2023: 61-66- [i7]Gilles Dowek, Benjamin Werner:
A constructive proof of Skolem theorem for constructive logic. CoRR abs/2305.10016 (2023) - [i6]Gilles Dowek, Gérard Huet, Benjamin Werner:
On the Definition of the Eta-long Normal Form in Type Systems of the Cube. CoRR abs/2307.00854 (2023) - [i5]Gilles Dowek, Benjamin Werner:
Arithmetic as a theory modulo. CoRR abs/2310.10326 (2023) - 2022
- [c16]Pablo Donato
, Pierre-Yves Strub, Benjamin Werner:
A drag-and-drop proof tactic. CPP 2022: 197-209 - [i4]Pablo Donato, Pierre-Yves Strub, Benjamin Werner:
A drag-and-drop proof tactic. CoRR abs/2210.11820 (2022)
2010 – 2019
- 2019
- [j9]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) - 2018
- [j8]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) - 2015
- [j7]Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner:
Formal Proofs for Nonlinear Optimization. J. Formaliz. Reason. 8(1): 1-24 (2015) - [j6]Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner:
Certification of real inequalities: templates and sums of squares. Math. Program. 151(2): 477-506 (2015) - 2014
- [i3]Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner:
Formal Proofs for Nonlinear Optimization. CoRR abs/1404.7282 (2014) - 2013
- [c15]Xavier Allamigeon, Stephane Gaubert, Victor Magron, Benjamin Werner:
Certification of inequalities involving transcendental functions: Combining SDP and max-plus approximation. ECC 2013: 2244-2250 - [c14]Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner:
Certification of Bounds of Non-linear Functions: The Templates Method. MKM/Calculemus/DML 2013: 51-65 - [i2]Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner:
Certification of Bounds of Non-linear Functions: the Templates Method. CoRR abs/1307.3231 (2013) - 2012
- [p1]Matthias Kubisch, Christian Benckendorff, Benjamin Werner, Stefan Bethge, Manfred Hild:
Neural Implementation of Behavior Control. Language Grounding in Robots 2012: 45-66 - 2011
- [j5]Gyesik Lee, Benjamin Werner:
Proof-irrelevant model of CC with predicative induction and judgmental equality. Log. Methods Comput. Sci. 7(4) (2011) - [j4]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) - [c13]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 - [c12]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 - 2010
- [c11]Chantal Keller, Benjamin Werner:
Importing HOL Light into Coq. ITP 2010: 307-322
2000 – 2009
- 2008
- [j3]Benjamin Werner:
On the Strength of Proof-irrelevant Type Theories. Log. Methods Comput. Sci. 4(3) (2008) - [i1]Benjamin Werner:
On the strength of proof-irrelevant type theories. CoRR abs/0808.3928 (2008) - 2007
- [c10]François Garillot, Benjamin Werner:
Simple Types in Type Theory: Deep and Shallow Encodings. TPHOLs 2007: 368-382 - 2006
- [c9]Benjamin Werner:
On the Strength of Proof-Irrelevant Type Theories. IJCAR 2006: 604-618 - [c8]Benjamin Grégoire, Laurent Théry, Benjamin Werner:
A Computational Approach to Pocklington Certificates in Type Theory. FLOPS 2006: 97-113 - [e1]Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner:
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 [contents] - 2005
- [c7]Gilles Dowek, Benjamin Werner:
Arithmetic as a Theory Modulo. RTA 2005: 423-437 - 2004
- [c6]Martín Abadi, Georges Gonthier, Benjamin Werner:
Choice in Dynamic Linking. FoSSaCS 2004: 12-26 - 2003
- [j2]Gilles Dowek, Benjamin Werner:
Proof normalization modulo. J. Symb. Log. 68(4): 1289-1316 (2003) - 2002
- [c5]Alexandre Miquel, Benjamin Werner:
The Not So Simple Proof-Irrelevant Model of CC. TYPES 2002: 240-258
1990 – 1999
- 1998
- [c4]Gilles Dowek, Benjamin Werner:
Proof Normalization Modulo. TYPES 1998: 62-77 - 1997
- [c3]Benjamin Werner:
Sets in Types, Types in Sets. TACS 1997: 530-346 - 1996
- [c2]Paul-André Melliès, Benjamin Werner:
A Generic Normalisation Proof for Pure Type Systems. TYPES 1996: 254-276 - 1994
- [b1]Benjamin Werner:
Une Théorie des Constructions Inductives. Paris Diderot University, France, 1994 - [c1]Herman Geuvers, Benjamin Werner:
On the Church-Rosser Property for Expressive Type Systems and its Consequences for their Metatheoretic Study. LICS 1994: 320-329 - 1993
- [j1]Christine Paulin-Mohring, Benjamin Werner:
Synthesis of ML Programs in the System Coq. J. Symb. Comput. 15(5/6): 607-640 (1993)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
