Benjamin Werner

37 papers A* 1A 1B 4Misc 1Journal 17Unranked 10

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Quasicontinuum Method with Optimized Local Maximum-Entropy Interpolation and Heaviside Enrichment for Heterogeneous Lattices. CoRR Benjamin Werner, Ondrej Rokos, Jan Zeman
2023	J	`jnl`	A constructive proof of Skolem theorem for constructive logic. CoRR Gilles Dowek, Benjamin Werner
2023	J	`jnl`	Arithmetic as a theory modulo. CoRR Gilles Dowek, Benjamin Werner
2023	J	`jnl`	On the Definition of the Eta-long Normal Form in Type Systems of the Cube. CoRR Gilles Dowek, Gérard Huet, Benjamin Werner
2023	—	`conf`	Proposed V-Model for Verification, Validation, and Safety Activities for Artificial Intelligence. ICAA Benjamin Schumeg, Franklin Marotta, Benjamin Werner
2022	B	`conf`	A drag-and-drop proof tactic. CPP Pablo Donato, Pierre-Yves Strub, Benjamin Werner
2022	J	`jnl`	A drag-and-drop proof tactic. CoRR Pablo Donato, Pierre-Yves Strub, Benjamin Werner
2019	J	`jnl`	Spatially constrained tumour growth affects the patterns of clonal selection and neutral drift in cancer genomic data. PLoS Comput. Biol. Ketevan Chkhaidze, Timon Heide, Benjamin Werner, Marc J. Williams, Weini Huang, Giulio Caravagna, Trevor A. Graham, Andrea Sottoriva
2018	J	`jnl`	Variation of mutational burden in healthy human tissues suggests non-random strand segregation and allows measuring somatic mutation rates. PLoS Comput. Biol. Benjamin Werner, Andrea Sottoriva
2015	J	`jnl`	Certification of real inequalities: templates and sums of squares. Math. Program. Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner
2015	J	`jnl`	Formal Proofs for Nonlinear Optimization. J. Formaliz. Reason. Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner
2014	J	`jnl`	Formal Proofs for Nonlinear Optimization. CoRR Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner
2013	—	`conf`	Certification of Bounds of Non-linear Functions: The Templates Method. MKM/Calculemus/DML Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner
2013	J	`jnl`	Certification of Bounds of Non-linear Functions: the Templates Method. CoRR Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner
2013	—	`conf`	Certification of inequalities involving transcendental functions: Combining SDP and max-plus approximation. ECC Xavier Allamigeon, Stephane Gaubert, Victor Magron, Benjamin Werner
2012	—	`ch.`	Neural Implementation of Behavior Control. Language Grounding in Robots Matthias Kubisch, Christian Benckendorff, Benjamin Werner, Stefan Bethge, Manfred Hild
2011	B	`conf`	A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses. CPP Michaël Armand, Germain Faure, Benjamin Grégoire, Chantal Keller, Laurent Théry, Benjamin Werner
2011	J	`jnl`	Dynamics of Mutant Cells in Hierarchical Organized Tissues. PLoS Comput. Biol. Benjamin Werner, David Dingli, Tom Lenaerts, Jorge M. Pacheco, Arne Traulsen
2011	J	`jnl`	Proof-irrelevant model of CC with predicative induction and judgmental equality Log. Methods Comput. Sci. Gyesik Lee, Benjamin Werner
2011	—	`conf`	Using Co-existing Attractors of a Sensorimotor Loop for the Motion Control of a Humanoid Robot. IJCCI (NCTA) Matthias Kubisch, Benjamin Werner, Manfred Hild
2010	B	`conf`	Importing HOL Light into Coq. ITP Chantal Keller, Benjamin Werner
2008	J	`jnl`	On the Strength of Proof-irrelevant Type Theories. Log. Methods Comput. Sci. Benjamin Werner
2008	J	`jnl`	On the strength of proof-irrelevant type theories CoRR Benjamin Werner
2007	—	`conf`	Simple Types in Type Theory: Deep and Shallow Encodings. TPHOLs François Garillot, Benjamin Werner
2006	Misc	`conf`	A Computational Approach to Pocklington Certificates in Type Theory. FLOPS Benjamin Grégoire, Laurent Théry, Benjamin Werner
2006	A	`conf`	On the Strength of Proof-Irrelevant Type Theories. IJCAR Benjamin Werner
2006	—	`ed.`	Types for Proofs and Programs, International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers TYPES Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner
2005	—	`conf`	Arithmetic as a Theory Modulo. RTA Gilles Dowek, Benjamin Werner
2004	B	`conf`	Choice in Dynamic Linking. FoSSaCS Martín Abadi, Georges Gonthier, Benjamin Werner
2003	J	`jnl`	Proof normalization modulo. J. Symb. Log. Gilles Dowek, Benjamin Werner
2002	—	`conf`	The Not So Simple Proof-Irrelevant Model of CC. TYPES Alexandre Miquel, Benjamin Werner
1998	—	`conf`	Proof Normalization Modulo. TYPES Gilles Dowek, Benjamin Werner
1997	—	`conf`	Sets in Types, Types in Sets. TACS Benjamin Werner
1996	—	`conf`	A Generic Normalisation Proof for Pure Type Systems. TYPES Paul-André Melliès, Benjamin Werner
1994	A*	`conf`	On the Church-Rosser Property for Expressive Type Systems and its Consequences for their Metatheoretic Study LICS Herman Geuvers, Benjamin Werner
1994	—	`—`	Une Théorie des Constructions Inductives. Benjamin Werner
1993	J	`jnl`	Synthesis of ML Programs in the System Coq. J. Symb. Comput. Christine Paulin-Mohring, Benjamin Werner