| The Esterel synchronous programming language: Design, semantics, implementation G Berry, G Gonthier Science of computer programming 19 (2), 87-152, 1992 | 2761 | 1992 |
| The chemical abstract machine G Berry, G Boudol Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989 | 1725 | 1989 |
| The synchronous approach to reactive and real-time systems A Benveniste, G Berry Proceedings of the IEEE 79 (9), 1270-1282, 1991 | 1180 | 1991 |
| The foundations of Esterel G Berry | 859 | 2000 |
| Real time correlation-based stereo: algorithm, implementations and applications O Faugeras, B Hotz, H Mathieu, T Viéville, Z Zhang, P Fua, E Théron, ... Inria, 1993 | 662 | 1993 |
| The ESTEREL synchronous programming language and its mathematical semantics G Berry, L Cosserat Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9–11 …, 1985 | 537 | 1985 |
| From regular expressions to deterministic automata G Berry, R Sethi Theoretical computer science 48, 117-126, 1986 | 489 | 1986 |
| Stable models of typed λ-calculi G Berry International Colloquium on Automata, Languages, and Programming, 72-89, 1978 | 403 | 1978 |
| The constructive semantics of pure Esterel G Berry http://www. inria. fr/meije/esterel/esterel-eng. html, 1999 | 332 | 1999 |
| Real time programming: Special purpose or general purpose languages G Berry INRIA, 1989 | 319 | 1989 |
| Sequential algorithms on concrete data structures G Berry, PL Curien Theoretical Computer Science 20 (3), 265-321, 1982 | 276 | 1982 |
| Compiling esterel D Potop-Butucaru, SA Edwards, G Berry Springer Science & Business Media, 2007 | 239 | 2007 |
| Preemption in concurrent systems G Berry International Conference on Foundations of Software Technology and …, 1993 | 216 | 1993 |
| Communicating reactive processes G Berry, S Ramesh, RK Shyamasundar Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993 | 216 | 1993 |
| Constructive analysis of cyclic circuits TR Shiple, G Berry, H Touati Proceedings ED&TC European Design and Test Conference, 328-333, 1996 | 212 | 1996 |
| Modèles complètements adéquats et stables des lambda calculs typés G Berry Thèse de dotorat d'État, spécialit sciences mathématiques, Université Paris 7, 1979 | 190 | 1979 |
| A hardware implementation of pure Esterel G Berry Sadhana 17, 95-130, 1992 | 184 | 1992 |
| The Esterel v5 language primer G Berry | 175 | 2000 |
| Minimal and optimal computations of recursive programs G Berry, JJ Lévy Journal of the ACM (JACM) 26 (1), 148-175, 1979 | 169 | 1979 |
| Full abstraction for sequential languages: the state of the art G Berry, PL Curien, JJ Lévy Algebraic methods in semantics 89132, 1985 | 135 | 1985 |
Georges GonthierPrincipal Researcher, Microsoft Research在 microsoft.com 的电子邮件经过验证
