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