VIAF

Virtual International Authority File

Search

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

Berry, Gérard ISNI BIBSYS

Gérard Berry Wikidata

VIAF ID: 44556535 (Personal)

Permalink: //viaf.org/viaf/44556535

ISNI: 0000  0000  8378  1009 

Open Section Close Section Preferred Forms

 

 

 

 

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

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
CAV 2001 RERO - Library Network of Western Switzerland
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 RERO - Library Network of Western Switzerland National Library of Israel BIBSYS Sudoc [ABES], France
The ESTEREL synchronous programming language : design, semantics, implementation Sudoc [ABES], France
Etude sur le besoin en réseaux d'ordinateurs 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 RERO - Library Network of Western Switzerland 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
The informatics of time and events : inaugural lecture delivered on Thursday 28 March 2013 Sudoc [ABES], France
informatique du temps et des événements [leçon inaugurale prononcée le 28 mars 2013] RERO - Library Network of Western Switzerland 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 RERO - Library Network of Western Switzerland Sudoc [ABES], France
De la sémantique opérationnelle à la spécification formelle de compilateurs l'exemple des boucles en Esterel Sudoc [ABES], France
Un langage synchrone fonctionnel avec horloges entières. 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
Majeure algèbre et informatique : promotion 1986, 2ème année Sudoc [ABES], France
Une méthode de présentation des types abstraits : applications Sudoc [ABES], France
Modèles complètement adéquats et stables des lambda-calculs typés Sudoc [ABES], France
Neuro-inspired Architectures for the Acquisition and Processing of Visual Information 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 RERO - Library Network of Western Switzerland National Library of France Sudoc [ABES], France
Pourquoi et comment le monde devient numérique [leçon inaugurale prononcée le jeudi 17 janvier 2008] RERO - Library Network of Western Switzerland 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
Réussir les grands logiciels 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
A synchronous functional language with integer clocks 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 (14)