VIAF

Virtual International Authority File

Search

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

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 (7)

Open Section Close SectionWorks

Title Sources
Bottom-up computation of recursive programs Sudoc [ABES], France National Library of France
CALCULS ASCENDANTS DES PROGRAMMES RECURSIFS Sudoc [ABES], France
The chemical abstract machine = La machine abstraite chimique Sudoc [ABES], France
Compiling ESTEREL Wikidata Sudoc [ABES], France Library of Congress/NACO
Computer aided verification 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings Sudoc [ABES], France Library of Congress/NACO
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
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] Sudoc [ABES], France National Library of 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
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
On the definition of lambda-calculus models Sudoc [ABES], France
Penser, modéliser et maîtriser le calcul informatique Sudoc [ABES], France Library of Congress/NACO National Library of France
Pour quoi tu cherches ? pourquoi et comment notre monde est devenu numérique Sudoc [ABES], France National Library of France
Programming a digital watch in ESTEREL v3 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 Sudoc [ABES], France National Library of France
système d'information des ressources humaines National Library of 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 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 (22)