Benjamin Werner - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2023

Proposed V-Model for Verification, Validation, and Safety Activities for Artificial IntelligenceBenjamin Schumeg, Franklin Marotta, Benjamin Werner. icaa2 2023: 61-66 [doi]

2022

A drag-and-drop proof tacticPablo Donato, Pierre-Yves Strub, Benjamin Werner. CPP 2022: 197-209 [doi]

2019

Spatially constrained tumour growth affects the patterns of clonal selection and neutral drift in cancer genomic dataKetevan Chkhaidze, Timon Heide, Benjamin Werner, Marc J. Williams, Weini Huang, Giulio Caravagna, Trevor A. Graham, Andrea Sottoriva. ploscb, 15(7), 2019. [doi]

2018

Variation of mutational burden in healthy human tissues suggests non-random strand segregation and allows measuring somatic mutation ratesBenjamin Werner, Andrea Sottoriva. ploscb, 14(6), 2018. [doi]

2015

Formal Proofs for Nonlinear OptimizationVictor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner. jfrea, 8(1):1-24, 2015. [doi]

Certification of real inequalities: templates and sums of squaresVictor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner. mp, 151(2):477-506, 2015. [doi]

2013

Certification of inequalities involving transcendental functions: Combining SDP and max-plus approximationXavier Allamigeon, Stephane Gaubert, Victor Magron, Benjamin Werner. eucc 2013: 2244-2250 [doi]

Certification of Bounds of Non-linear Functions: The Templates MethodXavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner. mkm 2013: 51-65 [doi]

2012

Neural Implementation of Behavior ControlMatthias Kubisch, Christian Benckendorff, Benjamin Werner, Stefan Bethge, Manfred Hild. In Luc Steels, Manfred Hild, editors, Language Grounding in Robots. pages 45-66, Springer, 2012. [doi]

2011

2010

Importing HOL Light into CoqChantal Keller, Benjamin Werner. itp 2010: 307-322 [doi]

2008

On the Strength of Proof-irrelevant Type TheoriesBenjamin Werner. lmcs, 4(3), 2008. [doi]

2007

Simple Types in Type Theory: Deep and Shallow EncodingsFrançois Garillot, Benjamin Werner. tphol 2007: 368-382 [doi]

2006

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

On the Strength of Proof-Irrelevant Type TheoriesBenjamin Werner. cade 2006: 604-618 [doi]

2005

Arithmetic as a Theory ModuloGilles Dowek, Benjamin Werner. RTA 2005: 423-437 [doi]

2004

Choice in Dynamic LinkingMartín Abadi, Georges Gonthier, Benjamin Werner. fossacs 2004: 12-26 [doi]

2003

Proof normalization moduloGilles Dowek, Benjamin Werner. JSYML, 68(4):1289-1316, 2003. [doi]

2002

The Not So Simple Proof-Irrelevant Model of CCAlexandre Miquel, Benjamin Werner. TYPES 2003: 240-258 [doi]

1998

Proof Normalization ModuloGilles Dowek, Benjamin Werner. TYPES 1999: 62-77 [doi]

1997

Sets in Types, Types in SetsBenjamin Werner. tacs 1997: 530-346

1996

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

1994

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

Une Théorie des Constructions InductivesBenjamin Werner. PhD thesis, Paris Diderot University, France, 1994. [doi]

1993

Synthesis of ML Programs in the System CoqChristine Paulin-Mohring, Benjamin Werner. JSC, 15(5/6):607-640, 1993.

Sign in or sign up to see more results.

runs on WebDSL