Concepedia
Statistics
Publications
19
Citations
1.7K
H-Index
14
Active since
1991
Affiliations
SINTEF(Current)
Institut national de recherche en sciences et technologies du numérique
Norwegian University of Science and Technology
University of Stavanger
Laboratoire d'Informatique de l'École Polytechnique
Benjamin Werner is an author at SINTEF specializing in computer science, engineering, and petroleum engineering.
Publications per year
1991–2021
The Coq proof assistant : reference manual, version 6.1
Bruno Barras, Samuel Boutin, Cristina Cornes et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 1997 · 989 citations · Full text
Computing, Computer Science, Mathematics +15
Viscoelastic properties of drilling fluids and their influence on cuttings transport
Benjamin Werner, Velaug Myrseth, Arild Saasen · Journal of Petroleum Science and Engineering · 2017 · 135 citations
Engineering, Mechanical Engineering, Petroleum Engineering +16
The Coq proof assistant user's guide : version 5.6
Gilles Dowek, Amy Felty, Hugo Herbelin et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 1991 · 124 citations · Full text
Computing, Computer Science, Formal Methods +7
Synthesis of ML programs in the system Coq
Christine Paulin-Mohring, Benjamin Werner · Journal of Symbolic Computation · 1993 · 97 citations
Computing, Computer Engineering, Computer Science +6
Proof normalization modulo
Gilles Dowek, Benjamin Werner · Journal of Symbolic Logic · 2003 · 74 citations · Full text
Humanities, Computer Science, Mathematics +5
1–5 of 19