Search - INRIA - Institut National de Recherche en Informatique et en Automatique

	1 2 3 4 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title 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 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	hal-00018292v1 Conference papers Eric Gautrin. VISON : Vers un Intranet Sécurisé Ouvert au Nomadisme JRES 2005, 2005, Marseille, France
	hal-02144142v3 Books Loïc Desquilbet, Sabrina Granger, Boris P. Hejblum, Arnaud Legrand, Pascal Pernot et al. Vers une recherche reproductible Unité régionale de formation à l'information scientifique et technique de Bordeaux. Unité régionale de formation à l'information scientifique et technique de Bordeaux, pp.1-161, 2019, 979-10-97595-05-0
	hal-03102041v1 Preprints, Working Papers, ... Pascal Bonnet, Mathieu Roche, Hélène Kirchner. Vers une Agriculture Numérique en Afrique : enjeux et perspectives 2021
	hal-00843961v1 Conference papers Thierry Viéville, Florian Dufour, Philippe Vienne, Françoise Tort. Utiliser des proglets pour manipuler des objets numériques Didapro5 - DidaSTIC : Didactique de l'informatique et des STIC en milieu éducatif, Université Blaise Pascal Université Paris V, ENS Cachan/IFé, Oct 2013, Clermont-Ferrand, France
	hal-02889682v1 Conference papers Frédéric Alexandre, Robert de Barretin, Jade Becker, Marie-Hélène Comte, Martine Courbin-Coulaud et al. Understanding Intelligently Artificial Intelligence : a citizens' open formation International Workshop on Education in Artificial Intelligence K-12 (EduAI), Jul 2020, Ifrane, Morocco
	hal-01149625v1 Other publications Horatiu Cirstea, Emmanuel Coquery, Wlodzimierz Drabent, François Fages, Claude Kirchner et al. Types for REWERSE reasoning and query languages I3-D4 2005, 71p
	hal-01654518v1 Book sections D. Auber, Daniel Archambault, Romain Bourqui, Maylis Delest, Jonathan Dubois et al. TULIP 5 Reda Alhajj; Jon Rokne. Encyclopedia of Social Network Analysis and Mining, Springer, pp.1-28, 2017, 978-1-4614-7163-9. ⟨10.1007/978-1-4614-7163-9_315-1⟩
	hal-01824058v1 Conference papers Subhadeep Sarkar, Jean-Pierre Banâtre, Louis Rilling, Christine Morin. Towards Enforcement of the EU GDPR: Enabling Data Erasure iThings 2018 - 11th IEEE International Conference of Internet of Things, Jul 2018, Halifax, Canada. pp.1-8
	hal-03089964v1 Other publications Marie-Agnès Enard, Pascal Guitton, Thierry Viéville. Tous au libre ! Blog binaire - Le Monde, 2020
	inria-00107877v1 Conference papers Horatiu Cirstea, Claude Kirchner, Luigi Liquori. The Rho Cube 4th International Conference on Foundations of Software Science and Computation Structures - FOSSACS 2001, Apr 2001, Genova, Italy. 15 p, ⟨10.1007/3-540-45315-6_11⟩
	hal-01738741v1 Poster communications Yannick Barborini, Roberto Di Cosmo, Antoine R. Dumont, Morane Gruenpeter, Bruno Marmol et al. The creation of a new type of scientific deposit: Software RDA Eleventh Plenary Meeting, Berlin, Germany, Mar 2018, Berlin, Germany. 2018
	hal-01429890v1 Book sections Oana Andrei, Maribel Fernández, Hélène Kirchner, Bruno Pinaud. Strategy-Driven Exploration for Rule-Based Models of Biochemical Systems with Porgy Bill Hlavacek. Modeling Biomolecular Site Dynamics, 1945, Springer, pp 43-70, 2019, Methods in Molecular Biology, 978-1-4939-9100-6. ⟨10.1007/978-1-4939-9102-0_3⟩
	hal-01251871v3 Journal articles Maribel Fernández, Hélène Kirchner, Bruno Pinaud. Strategic Port Graph Rewriting: an Interactive Modelling Framework Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2019, 29 (5), pp.615--662. ⟨10.1017/S0960129518000270⟩
	hal-00954546v3 Conference papers Maribel Fernandez, Hélène Kirchner, Bruno Pinaud. Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework 3rd Workshop on GRAPH Inspection and Traversal Engineering, Apr 2014, Grenoble, France. pp.15--29, ⟨10.4204/EPTCS.159.3⟩
	hal-01590958v1 Conference papers Roberto Di Cosmo, Stefano Zacchiroli. Software Heritage: Why and How to Preserve Software Source Code iPRES 2017 - 14th International Conference on Digital Preservation, Sep 2017, Kyoto, Japan. pp.1-10
	hal-01254205v1 Reports Hélène Kirchner. Rewriting Strategies and Strategic Rewrite Programs (Updated version) [Research Report] Inria. 2016, pp.380-403
	hal-01143486v2 Book sections Hélène Kirchner. Rewriting Strategies and Strategic Rewrite Programs Logic, Rewriting, and Concurrency (LRC 2015). Festschrift Symposium in Honor of Jos\'e Meseguer, Urbana, Illinois, USA, September 23-25, 2015,, 2015
	hal-02118757v1 Journal articles Malik Ghallab. Responsible AI: Requirements and Challenges AI Perspectives, Springer, 2019, 1 (1), pp.3. ⟨10.1186/s42467-019-0003-z⟩
	hal-02446202v1 Journal articles Roberto Di Cosmo, Morane Gruenpeter, Stefano Zacchiroli. Referencing Source Code Artifacts: a Separate Concern in Software Citation Computing in Science and Engineering, Institute of Electrical and Electronics Engineers, In press, pp.1-9. ⟨10.1109/MCSE.2019.2963148⟩
	inserm-02511921v1 Journal articles Julien Ratelade, Nicholas Klug, Damiano Lombardi, Monara Kaelle Servulo Cruz Angelim, Fabrice Dabertrand et al. Reducing Hypermuscularization of the Transitional Segment between Arterioles and Capillaries Protects Against Spontaneous Intracerebral Hemorrhage Circulation, American Heart Association, 2020, 141 (25), pp.2078-2094. ⟨10.1161/CIRCULATIONAHA.119.040963⟩
	hal-01425296v2 Other publications Mia Ogouchi. Recueil : Newsletters uTOP-Inria 2016, pp.306
	hal-01617309v1 Conference papers Antoine Petit, Vincenzo Lippiello, Bruno Siciliano. Real-time tracking of 3D elastic objects with an RGB-D sensor IROS 2015 - IEEE/RSJ International Conference on Intelligent Robots and Systems, IEEE, Sep 2015, Hamburg, Germany. pp.3914-3921, ⟨10.1109/IROS.2015.7353928⟩
	hal-00787072v1 Journal articles Olivier Hugues, Jean-Marc Cieutat, Pascal Guitton. Real-time infinite horizon tracking with data fusion for augmented reality in a maritime operations context. Virtual Reality, Springer Verlag, 2013, 17 (3), pp.10. ⟨10.1007/s10055-013-0234-9⟩
	hal-02786563v1 Reports Gérard Roucairol, Pierre Bitard, François Andry, Eric Bantegnies, Dominique Bolignano et al. Pour une politique industrielle du numérique ANRT. 2018, pp.56
	hal-01207356v1 Reports Camila Canellas, Camille Daniel, Claude Terosier, Colin de la Higuera, Daniela Guegant-Silva et al. Pour apprendre à apprendre l’informatique, peut-on se contenter d’un MOOC ? [Rapport Technique] RT-469, Inria. 2015, pp.21
	hal-01183812v1 Conference papers Hélène Kirchner. Port Graphs, Rules and Strategies for Dynamic Data Analytics -Extended Abstract International Conference on Rewriting, Deduction, and Programming, Jun 2015, Warsaw, Poland. ⟨10.4230/LIPIcs.RTA.2015.i⟩
	hal-01566525v4 Reports Maribel Fernández, Hélène Kirchner, Bruno Pinaud, Jason Vallet, Janos Varga. Porgy Strategy Language: User Manual [Research Report] Université de Bordeaux, LaBRI; Inria Bordeaux Sud-Ouest; King's College London. 2020
	hal-01450630v1 Conference papers Bruno Pinaud, Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon et al. PORGY : a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting Extraction et Gestion de Connaissances, Jan 2017, Grenoble, France. pp.473--476
	hal-01461513v1 Other publications Bruno Pinaud, Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon et al. PORGY : a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting 2017
	hal-01837361v1 Conference papers Daniel Barthélémy, Nozha Boujemaa, Jean-François Molino, Alexis Joly, Hervé Goëau et al. Pl@ntNet, une plate-forme innovante d'agrégation et partage d'observations botaniques International Conference ‘Botanists of the Twenty-first Century’, UNESCO, Sep 2014, Paris, France. pp.191-197
	1 2 3 4 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title 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 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Type of deposit Minimize

Year Minimize