Concepedia

Gérard Berry

GB

30

Publications

5.5K

Citations

22

H-Index

1977

Active since

Affiliations

École Nationale Supérieure des Mines de Paris(Current)

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

Centre de Mathématiques Appliquées de l'École polytechnique

Centre Inria d'Université Côte d'Azur

École Normale Supérieure - PSL

Gérard Berry is an author at École Nationale Supérieure des Mines de Paris specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisFormal VerificationComputer EngineeringSoftware DesignSystem SoftwareComputer ArchitectureSoftware Analysis

Publications per year

1977–2020

30

Publications

30

The Esterel synchronous programming language: design, semantics, implementation

Gérard Berry, Georges Gonthier · Science of Computer Programming · 1992 · 1.7K citations

Engineering, Program Analysis, Concurrent Programming +9

The chemical abstract machine

Gérard Berry, Gérard Boudol · Theoretical Computer Science · 1992 · 812 citations

Abstract Machine, Design, Unconventional Computing +3

The synchronous approach to reactive and real-time systems

Albert Benveniste, Gérard Berry · Proceedings of the IEEE · 1991 · 755 citations

Engineering, Verification, Software Engineering +21

Real time correlation-based stereo: algorithm, implementations and applications

Olivier Faugeras, B. Hotz, Hervé Mathieu et al. · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 1993 · 392 citations · Full text

Engineering, Stereo Imaging, Calibration Pattern +18

The chemical abstract machine

Gérard Berry, Gérard Boudol · 1990 · 275 citations · Full text

Engineering, Complex Systems, Chemistry +16

Rows per page

1–5 of 30