Gérard Berry - Concepedia

Author

Gérard Berry

École Nationale Supérieure des Mines de Paris

Also Known As

Berry, GÃ©rard, Berry, Gérard, G Berry, G. Berry, G.L. Berry, Gerard Berry, Grard Berry, GÉRARD BERRY, Gérard Berry, Poigné, Axel

140

Publications

Citations

H-Index

Concepts

All Affiliations

École Nationale Supérieure des Mines de Paris 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

About

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

#	Concept	H-Index	Publications	Citations
1	Engineering	17	23	4.3K
2	Natural Sciences	2	2	667
3	Chemistry	2	2	1.1K
4	Language Studies	1	1	16
5	Management	1	1	11

Gérard Berry

Publications

5.5K

Citations

H-Index

Page 1

	Year	Citations
The Esterel synchronous programming language: design, semantics, implementation Gérard Berry, Georges Gonthier Science of Computer Programming EngineeringProgram AnalysisConcurrent ProgrammingFormal MethodsSoftware Analysis	1992	1.7K
The chemical abstract machine Gérard Berry, Gérard Boudol Theoretical Computer Science Abstract MachineDesignUnconventional ComputingMathematical ChemistryChemistry	1992	812
The synchronous approach to reactive and real-time systems Albert Benveniste, Gérard Berry Proceedings of the IEEE EngineeringVerificationSoftware EngineeringReal-time ProgramsSoftware Analysis	1991	755
Real time correlation-based stereo: algorithm, implementations and applications Olivier Faugeras, B. Hotz, Hervé Mathieu, Infoscience (Ecole Polytechnique Fédérale de Lausanne) EngineeringStereo ImagingCalibration PatternLocalizationImage Analysis	1993	392
The chemical abstract machine Gérard Berry, Gérard Boudol EngineeringComplex SystemsChemistryChemical Abstract MachineOperational Semantics	1990	275
From regular expressions to deterministic automata Gérard Berry, Ravi Sethi Theoretical Computer Science Logical AutomatonEngineeringAutomated ReasoningFormal MethodsPushdown Automaton	1986	264
Sequential algorithms on concrete data structures Gérard Berry, Pierre-Louis Curien Theoretical Computer Science Dynamic Data StructureEngineeringSequential AlgorithmsAlgorithm DesignAutomated Reasoning	1982	175
Constructive analysis of cyclic circuits Thomas R. Shiple, Gérard Berry, H.J. Touati European Design and Test Conference Circuit ComplexityEngineeringConstructive AnalysisSynchronous Circuit DesignCompiler Technology	1996	127
Communicating reactive processes Gérard Berry, S. Ramesh, R. K. Shyamasundar Event-driven ArchitectureEngineeringCommunicating Reactive ProcessesConcurrent SystemCommunication	1993	119
A hardware implementation of pure ESTEREL Gérard Berry Sadhana Hardware SecuritySystem On ChipElectrical EngineeringEngineeringEvolvable Hardware	1992	113

Page 1