Berry, Gérard, 1948-
Berry, Gérard, 1948-...., informaticien
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Gérard Berry
Berry, Gérard
VIAF ID: 44556535 (Personal)
Permalink: http://viaf.org/viaf/44556535
Preferred Forms
-
200 _ | ‡a Berry ‡b Gérard ‡f 1948-....
-
100 1 _
‡a
Berry, Gérard
‡d
1948-
-
100 1 _ ‡a Berry, Gérard, ‡d 1948-
-
100 1 _
‡a
Berry, Gérard,
‡d
1948-
-
100 1 _ ‡a Berry, Gérard, ‡d 1948-
-
100 1 _
‡a
Berry, Gérard,
‡d
1948-....,
‡c
informaticien
-
100 1 _ ‡a Berry, Gérard
-
100 1 _
‡a
Berry, Gérard
‡d
1948-
-
100 1 _ ‡a Berry, Gérard, ‡d 1948-
-
100 1 _ ‡a Berry, Gérard, ‡d 1948-
-
100 0 _
‡a
Gérard Berry
4xx's: Alternate Name Forms (12)
5xx's: Related Names (1)
Works
| Title | Sources |
|---|---|
| Bottom-up computation of recursive programs |
|
| CAV 2001 |
|
| The chemical abstract machine = La machine abstraite chimique |
|
| COMPILATION OF THE ESTEREL LANGUAGE INTO BOOLEAN EQUATION SYSTEMS. |
|
| Compiling ESTEREL |
|
| Compositionnal spaces and multiple times : of the relationship between form and material. |
|
| Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings |
|
| Constructive analysis and optimization of circuits generated from the synchronous reactive language ESTEREL. |
|
| The ESTEREL synchronous programming language : design, semantics, implementation |
|
| THE ESTEREL V2 SYSTEM. |
|
| Etude sur le besoin en réseaux d'ordinateurs |
|
| Full abstraction for sequential languages : the state of the art |
|
| Gérard Berry, a programming pioneer, anglais |
|
| Gérard Berry, l'homme qui orchestre les ordinateurs |
|
| Guider ou composer l'improvisation musicale homme-machine à l'aide de scénarios temporels. |
|
| Guiding Human-Computer Music Improvisation : introducing Authoring and Control with Temporal Scenarios |
|
| Histoire illustrée de l'informatique |
|
| Implicit and explicit reachable state space exploration of Esterel logical circuits. |
|
| Incremental development of an HDLC protocol in ESTEREL |
|
| The informatics of time and events : inaugural lecture delivered on Thursday 28 March 2013 |
|
| Informatique et sciences du numérique : spécialité ISN en terminale S, avec des exercices corrigés et idées de projets |
|
| Intégration de méthodes formelles dans la conception des fonctions logicielles automobiles. |
|
| Une introduction à la science informatique : pour les enseignants de la discipline en lycée |
|
| De la sémantique opérationnelle à la spécification formelle de compilateurs : l'exemple des boucles en Esterel |
|
| Un langage de programmation pour composer l'interaction musicale : la gestion du temps et des événements dans Antescofo |
|
| Un langage fonctionnel polymorphe : application aux problèmes logiciels du calcul formel |
|
| Un langage synchrone fonctionnel avec horloges entières. |
|
| Langue et science, langage et pensée |
|
| L'hyperpuissance de l'informatique : algorithmes, données, machines, réseaux |
|
| L'informatique du temps et des événements : [leçon inaugurale prononcée le jeudi 28 mars 2013] |
|
| Le logiciel, objet de notre quotidien |
|
| Logics and models for verification and specification of concurrent systems. |
|
| Loops in Esterel : from Operational Semantics to Formally Specified Compilers. |
|
| Une méthode de présentation des types abstraits : applications |
|
| Modèles complètement adéquats et stables des lambda-calculs typés |
|
| Neuro-inspired Architectures for the Acquisition and Processing of Visual Information |
|
| Nous sommes les réseaux sociaux |
|
| Optimisations pour la simulation efficace de programmes Esterel |
|
| Optimizations for faster execution of Esterel programs. |
|
| Partition pour ordinateur |
|
| Penser, modéliser et maîtriser le calcul informatique [leçon inaugurale prononcée le 19 novembre 2009] |
|
| A polymorphic functionnal language : application to software problems in algebraic computation. |
|
| Pour quoi tu cherches ? pourquoi et comment notre monde est devenu numérique |
|
| Programming a digital watch in ESTEREL v3 |
|
| Projet SYNCHRONE : les formats communs des langages synchrones |
|
| Réussir les grands logiciels |
|
| La révolution du logiciel |
|
| Revue de presse du Collège de France du 6 au 19 juin 2008 : [recueil factice]. |
|
| Sahara : a graphical environment for simulation and symbolic debugging of Esterel programs. |
|
| Sahara : un environnement de mise au point graphique pour les programmes Esterel |
|
| science, l'information, la connaissance journée du 19 novembre 2016 |
|
| Sémantiques des langages impératifs d'ordre superieur et interprétation abstraite |
|
| Sémantiques et modèles d'exécution des langages réactifs synchrones : application à Esterel |
|
| SIRH enjeux, projets et bonnes pratiques |
|
| Some syntactic and categorical constructions of lambda-calculus models |
|
| système d'information des ressources humaines |
|
| 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 |
|
| Techniques de débogage statique et dynamique pour le langage HipHop.js |
|
| Time and duration : from synchronous reactive programming to music composition. |
|
| Vive les communs numériques ! : Logiciels libres, Wikipédia, le Web, la science ouverte, etc. |
|
| vote électronique les défis du secret et de la transparence |
|
