Pierre Weis

Publications

348

Citations

H-Index

1990

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Laboratoire d'Informatique de Paris-Nord

Centre National de la Recherche Scientifique

Université Sorbonne Paris Nord

Université Paris-Sud

Pierre Weis is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceFormal MethodsComputer EngineeringProgram AnalysisSoftware AnalysisParallel ProgrammingMathematical ProgrammingVerificationInverse Problems

Publications per year

1990–2014

Publications

Benchmarking implementations of functional languages with ‘Pseudoknot’, a float-intensive benchmark

Pieter Hartel, Marc Feeley, Martin Alt et al. · Journal of Functional Programming · 1996 · 73 citations · Full text

Engineering, Compiler Technology, Computer Architecture +19

Polymorphic type inference and assignment

Xavier Leroy, Pierre Weis · 1991 · 67 citations · Full text

Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program

Sylvie Boldo, François Clément, Jean-Christophe Filliâtre et al. · Journal of Automated Reasoning · 2012 · 67 citations · Full text

Numerical Analysis, Numerical Computation, Engineering +9

The CAML reference manual

Pierre Weis, Maria Virginia Aponte, Alain Laville et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 1990 · 35 citations · Full text

Engineering, Automated Reasoning, Video Coding Format +5

Extensional polymorphism

Catherine Dubois, François Rouaix, Pierre Weis · 1995 · 35 citations

Engineering, Generic Programming, Type Theory +10

Rows per page

1–5 of 9