Recherche

		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 26 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-01350213v1 Article dans une revue Gérard Berry. Idée reçue : L’informatique se trouve surtout dans les ordinateurs Interstices, INRIA, 2008, <https://interstices.info/jcms/p_80636/idee-recue-l-informatique-se-trouve-surtout-dans-les-ordinateurs>
	hal-01350317v1 Article dans une revue Gérard Berry. L’informatisation des objets, ou l’invasion des pucerons Interstices, INRIA, 2007, <https://interstices.info/jcms/c_18251/l-informatisation-des-objets-ou-l-invasion-des-pucerons>
	hal-01350300v1 Article dans une revue Gérard Berry. Une révolution permanente Interstices, INRIA, 2011, <https://interstices.info/jcms/i_60056/une-revolution-permanente>
	inria-00074658v1 Rapport Olivier Faugeras, Thierry Viéville, Eric Theron, Jean Vuillemin, Bernard Hotz et al. Real-time correlation-based stereo : algorithm, implementations and applications [Research Report] RR-2013, INRIA. 1993
	inria-00527531v1 Article dans une revue Gilles Dowek, Gérard Berry. L'informatique oblige à repenser la classification des sciences : questions à Gilles Dowek. On a longtemps confondu l'informatique avec ses usages, questions à Gérard Berry ; propos recueillis par Dominique Chouchan Les Cahiers de l'INRIA - La Recherche, INRIA, 2009, Neandertal : pourquoi a-t-il disparu ?
	inria-00076333v1 Rapport Gérard Berry, P.L. Curien. Theory and practice of sequential algorithms : the Kernel of the applicative Language CDS [Research Report] RR-0225, INRIA. 1983
	inria-00073756v1 Rapport Ellen M. Sentovich, Horia Toma, Gérard Berry. Latch Optimization in Circuits Generated from High-level Descriptions RR-2943, INRIA. 1996
	inria-00075083v1 Rapport Gérard Berry. A Hardware implementation of pure ESTEREL [Research Report] RR-1479, INRIA. 1991
	hal-00911782v1 Communication dans un congrès Gérard Berry, Manuel Serrano. Hop and HipHop : Multitier Web Orchestration International Conference on Distributed Computing and Internet Technology, Feb 2014, Bhubaneswar, India. 2014
	inria-00070112v1 Rapport Gérard Berry, Jean-Marie Hullot. CEYX-Version 15.III : VPRINT le composeur CEYX [Rapport Technique] RT-0046, INRIA. 1985, pp.13
	hal-00618122v1 Communication dans un congrès Ellen M. Sentovich, Horia Toma, Gérard Berry. Latch optimization in circuits generated from high-level descriptions Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, Nov 1996, San Jose, CA, United States. IEEE Computer Society, pp.428-435 - ISBN: 0-8186-7597-7, 1996, <10.1109/ICCAD.1996.569833>
	inria-00076030v1 Rapport Gérard Berry, Philippe Couronne, Georges Gonthier. Systèmes réactifs et programmation synchrone [Rapport de recherche] RR-0524, INRIA. 1986
	inria-00075904v1 Rapport Gérard Berry, Ravi Sethi. From regular expressions to deterministic automata [Research Report] RR-0649, INRIA. 1987
	inria-00075906v1 Rapport Gérard Berry, Philippe Couronne, Georges Gonthier. Synchronous programming of reactive systems: an introduction to ESTEREL [Research Report] RR-0647, INRIA. 1987
	inria-00075426v1 Rapport Gérard Berry, Gérard Boudol. The chemical abstract machine [Research Report] RR-1133, INRIA. 1989
	inria-00075527v1 Rapport Gérard Berry, Georges Gonthier. Incremental development of an HDLC protocol in Esterel [Research Report] RR-1031, INRIA. 1989
	inria-00075526v1 Rapport Gérard Berry. Programming a digital watch in Esterel v3 [Research Report] RR-1032, INRIA. 1989
	inria-00075494v1 Rapport Gérard Berry. Real time programming : special purpose or general purpose languages [Research Report] RR-1065, INRIA. 1989
	inria-00076230v1 Rapport Gérard Berry, L. Cosserat. The Esterel synchronous programming language and its mathematical semantics [Research Report] RR-0327, INRIA. 1984
	inria-00075711v1 Rapport Gérard Berry, Georges Gonthier. The ESTEREL synchronous programming language : design, semantics, implementation [Research Report] RR-0842, INRIA. 1988
	inria-00076361v1 Rapport Gérard Berry, Pierre-Louis Curien, Jean-Jacques Levy. Full abstraction for sequential languages : The states of the art [Research Report] RR-0197, INRIA. 1983
	inria-00076481v1 Rapport Gérard Berry. Some syntactic and categorical constructions of lambda-calculus models [Research Report] RR-0080, INRIA. 1981, pp.48
	inria-00071316v1 Rapport Jean-Pierre Paris, Gérard Berry, Frédéric Mignard, Philippe Couronné, Paul Caspi et al. Projet SYNCHRONE : les formats communs des langages synchrones [Rapport de recherche] RT-0157, INRIA. 1993
	hal-00804915v1 Rapport Antoine Rousseau, Aurélie Darnaud, Goglin Brice, Céline Acharian, Christine Leininger et al. Médiation Scientifique : une facette de nos métiers de la recherche [Interne] none. 2013, pp.34
	hal-01533685v1 Article dans une revue Gérard Berry, Jean-Paul Delahaye. Jouer ou ne pas jouer au Loto, telle est la stratégie Interstices, INRIA, 2017, <https://interstices.info/jcms/p_93693/jouer-ou-ne-pas-jouer-au-loto-telle-est-la-strategie>
	hal-00579632v1 Article dans une revue Gérard Berry, Amar Bouali, Xavier Fornari, Emmanuel Ledinot, Eric Nassor et al. ESTEREL: A formal method applied to avionic software development Science of Computer Programming, Elsevier, 2000, 36 (1), pp.5-25. <10.1016/S0167-6423(99)00015-5>
		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 26 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM

Type de document

Auteur

Discipline

Structure

Collection

Langue

Type de dépôt

Année

Contact