×

zbMATH — the first resource for mathematics

Werner, Benjamin

Compute Distance To:
Author ID: werner.benjamin Recent zbMATH articles by "Werner, Benjamin"
Published as: Werner, B.; Werner, Benjamin
Documents Indexed: 21 Publications since 1993, including 1 Book

Publications by Year

Citations contained in zbMATH Open

17 Publications have been cited 83 times in 70 Documents Cited by Year
A modular integration of SAT/SMT solvers to Coq through proof witnesses. Zbl 1350.68223
Armand, Michael; Faure, Germain; Grégoire, Benjamin; Keller, Chantal; Théry, Laurent; Werner, Benjamin
15
2011
Importing HOL Light into Coq. Zbl 1291.68353
Keller, Chantal; Werner, Benjamin
12
2010
Proof normalization modulo. Zbl 1059.03062
Dowek, Gilles; Werner, Benjamin
11
2003
Arithmetic as a theory modulo. Zbl 1078.03046
Dowek, Gilles; Werner, Benjamin
9
2005
Synthesis of ML programs in the system Coq. Zbl 0804.68132
Paulin-Mohring, Christine; Werner, Benjamin
7
1993
Sets in types, types in sets. Zbl 0885.03017
Werner, Benjamin
6
1997
The not so simple proof-irrelevant model of CC. Zbl 1023.03024
Miquel, Alexandre; Werner, Benjamin
4
2003
Certification of bounds of non-linear functions: the templates method. Zbl 1390.68570
Allamigeon, Xavier; Gaubert, Stéphane; Magron, Victor; Werner, Benjamin
3
2013
Simple types in type theory: Deep and shallow encodings. Zbl 1144.68355
Garillot, François; Werner, Benjamin
3
2007
A computational approach to Pocklington certificates in type theory. Zbl 1185.68621
Grégoire, Benjamin; Théry, Laurent; Werner, Benjamin
3
2006
Dynamical phenomena induced by bottleneck. Zbl 1202.90062
Gasser, I.; Werner, B.
2
2010
Microscopic car-following models revisited: from road works to fundamental diagrams. Zbl 1180.37123
Seidel, T.; Gasser, I.; Werner, B.
2
2009
Choice in dynamic linking. Zbl 1126.03311
Abadi, Martín; Gonthier, Georges; Werner, Benjamin
2
2004
Certification of real inequalities: templates and sums of squares. Zbl 1328.90101
Magron, Victor; Allamigeon, Xavier; Gaubert, Stéphane; Werner, Benjamin
1
2015
Proof-irrelevant model of CC with predicative induction and judgmental equality. Zbl 1237.03008
Lee, Gyesik; Werner, Benjamin
1
2011
On the strength of proof-irrelevant type theories. Zbl 1151.03317
Werner, Benjamin
1
2008
Proof normalization modulo. Zbl 0944.03052
Dowek, Gilles; Werner, Benjamin
1
1999
Certification of real inequalities: templates and sums of squares. Zbl 1328.90101
Magron, Victor; Allamigeon, Xavier; Gaubert, Stéphane; Werner, Benjamin
1
2015
Certification of bounds of non-linear functions: the templates method. Zbl 1390.68570
Allamigeon, Xavier; Gaubert, Stéphane; Magron, Victor; Werner, Benjamin
3
2013
A modular integration of SAT/SMT solvers to Coq through proof witnesses. Zbl 1350.68223
Armand, Michael; Faure, Germain; Grégoire, Benjamin; Keller, Chantal; Théry, Laurent; Werner, Benjamin
15
2011
Proof-irrelevant model of CC with predicative induction and judgmental equality. Zbl 1237.03008
Lee, Gyesik; Werner, Benjamin
1
2011
Importing HOL Light into Coq. Zbl 1291.68353
Keller, Chantal; Werner, Benjamin
12
2010
Dynamical phenomena induced by bottleneck. Zbl 1202.90062
Gasser, I.; Werner, B.
2
2010
Microscopic car-following models revisited: from road works to fundamental diagrams. Zbl 1180.37123
Seidel, T.; Gasser, I.; Werner, B.
2
2009
On the strength of proof-irrelevant type theories. Zbl 1151.03317
Werner, Benjamin
1
2008
Simple types in type theory: Deep and shallow encodings. Zbl 1144.68355
Garillot, François; Werner, Benjamin
3
2007
A computational approach to Pocklington certificates in type theory. Zbl 1185.68621
Grégoire, Benjamin; Théry, Laurent; Werner, Benjamin
3
2006
Arithmetic as a theory modulo. Zbl 1078.03046
Dowek, Gilles; Werner, Benjamin
9
2005
Choice in dynamic linking. Zbl 1126.03311
Abadi, Martín; Gonthier, Georges; Werner, Benjamin
2
2004
Proof normalization modulo. Zbl 1059.03062
Dowek, Gilles; Werner, Benjamin
11
2003
The not so simple proof-irrelevant model of CC. Zbl 1023.03024
Miquel, Alexandre; Werner, Benjamin
4
2003
Proof normalization modulo. Zbl 0944.03052
Dowek, Gilles; Werner, Benjamin
1
1999
Sets in types, types in sets. Zbl 0885.03017
Werner, Benjamin
6
1997
Synthesis of ML programs in the system Coq. Zbl 0804.68132
Paulin-Mohring, Christine; Werner, Benjamin
7
1993
all top 5

Cited by 147 Authors

5 Kaliszyk, Cezary
5 Rabe, Florian
4 Burel, Guillaume
4 Hermant, Olivier
3 Allamigeon, Xavier
3 Blanchette, Jasmin Christian
3 Dowek, Gilles
3 Gauthier, Thibault
2 Berger, Ulrich
2 Blanqui, Frédéric
2 Böhme, Sascha
2 Fleury, Mathias
2 Gaubert, Stéphane
2 Houtmann, Clément
2 Janičić, Predrag
2 Kohlhase, Michael
2 Magron, Victor
2 Melquiond, Guillaume
2 Naumowicz, Adam
2 Pagano, Miguel
2 Sacerdoti Coen, Claudio
2 Werner, Benjamin
1 Abel, Andreas M.
1 Adams, Mark F.
1 Aiguier, Marc
1 Asperti, Andrea
1 Aydoğdu, Aylin
1 Barbosa, Haniel
1 Bengtson, Jesper
1 Berardi, Stefano
1 Berghofer, Stefan
1 Bertot, Yves
1 Besson, Frédéric
1 Bezem, Marc
1 Blech, Jan Olaf
1 Bliudze, Simon
1 Boldo, Sylvie
1 Braibant, Thomas
1 Brunel, Aloïs
1 Bury, Guillaume
1 Cauderlier, Raphaël
1 Chatzikyriakidis, Stergios
1 Cheung, Bernard K. S.
1 Chihani, Zakaria
1 Choi, Keechoo
1 Clément, François
1 Coquand, Thierry
1 Corbetta, Alessandro
1 Cornilleau, Pierre-Emmanuel
1 Czajka, Łukasz
1 D’Apice, Ciro
1 de Moura, Leonardo
1 De Rauglaudre, Daniel
1 Delahaye, David
1 Deng, Yuxin
1 Drossopoulou, Sophia Chloe
1 Eisenbach, Susan
1 Filliâtre, Jean-Christophe
1 Fischer, Charles N.
1 Fontaine, Pascal
1 Frasca, Paolo
1 Fridlender, Daniel
1 Gabbay, Michael J.
1 Gachomo, B.
1 Galmiche, Didier
1 Geuvers, Jan Herman
1 Grégoire, Benjamin
1 Hadarean, Liana
1 Halmagrand, Pierre
1 Harrison, John R.
1 Hou, Zechen
1 Iancu, Mihnea
1 Jacobs, Bart
1 Jiang, Ying
1 Jouannaud, Jean-Pierre
1 Katz, Ricardo David
1 Kirchner, Claude
1 Kirst, Dominik
1 Komendantsky, Vladimir
1 Konovalov, Alexander B.
1 Koprowski, Adam
1 Lagorio, Giovanni
1 Letouzey, Pierre
1 Liblit, Ben
1 Linton, Steve A.
1 Longuet, Delphine
1 Luo, Zhaohui
1 Madelaine, Eric
1 Mahboubi, Assia
1 Malecha, Gregory
1 Maliković, Marko
1 Manzo, Rosanna
1 Marić, Filip
1 Martin-Dorel, Érik
1 Mayero, Micaela
1 Miller, Dale Allen
1 Monniaux, David P.
1 Mulhern, Anne
1 Müller, Dennis
1 Naibo, Alberto
...and 47 more Authors

Citations by Year