Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] ISN:0000000083781009 | 1 hits
Person
ISNI: 
0000 0000 8378 1009
Name: 
Berry, Gérard
Berry, Gerard Philippe
Dates: 
1948-
Creation class: 
Computer file
Language material
Projected medium
Text
Creation role: 
author
Related names: 
Baccelli, Emmanuel (1978-....))
Comon-Lundh, Hubert
Dowek, Gilles (1966-....))
Edwards, Stephen A. (1970-)
Finkel, Alain (1958-....))
Gonthier, Georges (1962-....))
Peretti, Jean-Marie (1946-...)
Potop-Butucaru, Dumitru
Vieville, Thierry (1959-...)
Titles: 
Bottom-up computation of recursive programs
CALCULS ASCENDANTS DES PROGRAMMES RECURSIFS
chemical abstract machine, The
Compiling ESTEREL
Computer Aided Verification 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings
ESTEREL synchronous programming language, The : design, semantics, implementation
From regular expressions to deterministic automata
Full abstraction for sequential languages : the state of the art
Implicit and explicit reachable state space exploration of Esterel logical circuits.
Incremental development of an HDLC protocol in ESTEREL
informatique du temps et des événements [leçon inaugurale prononcée le 28 mars 2013], L'
Informatique et sciences du numérique spécialité ISN en terminale S, avec des exercices corrigés et idées de projets
introduction à la science informatique pour les enseignants de la discipline en lycée, Une
la sémantique opérationnelle à la spécification formelle de compilateurs l'exemple des boucles en Esterel, De
logiciel, objet de notre quotidien, Le
Loops in Esterel : from Operational Semantics to Formally Specified Compilers.
Modèles complètement adéquats et stables des lambda-calculs typés
On the definition of lambda-calculus models
Penser, modéliser et maîtriser le calcul informatique
Pour quoi tu cherches ? pourquoi et comment notre monde est devenu numérique
Programming a digital watch in ESTEREL v3
SIRH enjeux, projets et bonnes pratiques, Le
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
Notes: 
Sources: