Skip to Main content Skip to Navigation


...
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 DesquilbetSabrina GrangerBoris P. HejblumArnaud LegrandPascal 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-00843961v1  Conference papers
Thierry ViévilleFlorian DufourPhilippe VienneFranç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 AlexandreRobert de BarretinJade BeckerMarie-Hélène ComteMartine 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-01654518v1  Book sections
D. AuberDaniel ArchambaultRomain BourquiMaylis DelestJonathan 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 SarkarJean-Pierre BanâtreLouis RillingChristine 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 EnardPascal GuittonThierry Viéville. Tous au libre !
Blog binaire - Le Monde, 2020
...
inria-00107877v1  Conference papers
Horatiu CirsteaClaude KirchnerLuigi 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 BarboriniRoberto Di CosmoAntoine R. DumontMorane GruenpeterBruno 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 AndreiMaribel FernándezHélène KirchnerBruno 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ándezHélène KirchnerBruno 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 FernandezHélène KirchnerBruno 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 CosmoStefano 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-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 CosmoMorane GruenpeterStefano 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⟩
...
hal-01617309v1  Conference papers
Antoine PetitVincenzo LippielloBruno 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-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ándezHélène KirchnerBruno PinaudJason ValletJanos 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 PinaudOana AndreiMaribel FernándezHélène KirchnerGuy 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-01837361v1  Conference papers
Daniel BarthélémyNozha BoujemaaJean-François MolinoAlexis JolyHervé 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