VIAF

Virtual International Authority File

Search

Berry, Gérard, 1948- Library of Congress/NACO National Library of the Czech Republic National Library of France Sudoc [ABES], France

Berry, Gerard ISNI

Gérard Berry informaticien membre du collège de france et créateur du langage Esterel Wikidata

VIAF ID: 44556535 (Personal)

Permalink: http://viaf.org/viaf/44556535

ISNI: 0000  0000  8378  1009 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (8)

Open Section Close SectionWorks

Title Sources
5 jeunes chercheurs d'avenir : Razvan Barbulescu, Wahb Ettoumi, Simon Labarthe, Anaïs Orsi, Crystèle Léauthaud Sudoc [ABES], France
ANALYSE CONSTRUCTIVE ET OPTIMISATION SEQUENTIELLE DES CIRCUITS GENERES A PARTIR DU LANGAGE SYNCHRONE REACTIF ESTEREL Sudoc [ABES], France
Bottom-up computation of recursive programs National Library of France Sudoc [ABES], France
CALCULS ASCENDANTS DES PROGRAMMES RECURSIFS Sudoc [ABES], France
The chemical abstract machine = La machine abstraite chimique Sudoc [ABES], France
Compiling ESTEREL Library of Congress/NACO Wikidata Sudoc [ABES], France
Computer aided verification 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings Library of Congress/NACO Sudoc [ABES], France
The ESTEREL synchronous programming language : design, semantics, implementation Sudoc [ABES], France
From regular expressions to deterministic automata Sudoc [ABES], France
Full abstraction for sequential languages : the state of the art Sudoc [ABES], France
Gérard Berry, a programming pioneer, anglais National Library of France Sudoc [ABES], France
Gérard Berry, l'homme qui orchestre les ordinateurs National Library of France Sudoc [ABES], France
Histoire illustrée de l'informatique Sudoc [ABES], France
Implicit and explicit reachable state space exploration of Esterel logical circuits. Sudoc [ABES], France
Incremental development of an HDLC protocol in ESTEREL Sudoc [ABES], France
informatique du temps et des événements [leçon inaugurale prononcée le 28 mars 2013] National Library of France Sudoc [ABES], France
Informatique et sciences du numérique spécialité ISN en terminale S, avec des exercices corrigés et idées de projets Sudoc [ABES], France
Une introduction à la science informatique pour les enseignants de la discipline en lycée Sudoc [ABES], France
De la sémantique opérationnelle à la spécification formelle de compilateurs l'exemple des boucles en Esterel Sudoc [ABES], France
Le logiciel, objet de notre quotidien Sudoc [ABES], France
Logics and models for verification and specification of concurrent systems. Sudoc [ABES], France
Loops in Esterel : from Operational Semantics to Formally Specified Compilers. Sudoc [ABES], France
Modèles complètement adéquats et stables des lambda-calculs typés Sudoc [ABES], France
[Partition pour ordinateur] National Library of France Sudoc [ABES], France
Penser, modéliser et maîtriser le calcul informatique Library of Congress/NACO National Library of France Sudoc [ABES], France
Pour quoi tu cherches ? pourquoi et comment notre monde est devenu numérique National Library of France Sudoc [ABES], France
Programming a digital watch in ESTEREL v3 Sudoc [ABES], France
Projet SYNCHRONE : les formats communs des langages synchrones Sudoc [ABES], France
La révolution du logiciel Sudoc [ABES], France
Sémantiques et modèles d'exécution des langages réactifs synchrones application à Esterel Sudoc [ABES], France
SIRH enjeux, projets et bonnes pratiques National Library of France Sudoc [ABES], France
Some syntactic and categorical constructions of lambda-calculus models Sudoc [ABES], France
The synchronous approach to reactive and real-times systems Sudoc [ABES], France
système d'information des ressources humaines National Library of France
LE SYSTEME ESTEREL V2 Sudoc [ABES], France
Systèmes embarqués : contraintes et technologies colloquium Jacques Morgenstern, 20 ans de recherche dans les STIC, quelle recherche dans 20 ans ?, mardi 10 décembre 2002 Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (4)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section History of VIAF ID:44556535 (11)