hal-00681539v1  Chapitre d'ouvrage
François Faure, Christian Duriez, Hervé Delingette, Jérémie Allard, Benjamin Gilles et al.  SOFA: A Multi-Model Framework for Interactive Physical Simulation
Yohan Payan. Soft Tissue Biomechanical Modeling for Computer Assisted Surgery, 11, Springer, pp.283-321, 2012, Studies in Mechanobiology, Tissue Engineering and Biomaterials, 978-3-642-29013-8. <10.1007/8415_2012_125>

hal-00881195v1  Communication dans un congrès
Behrooz Omidvar Tehrani, Sihem Amer-Yahia, Alexandre Termier, Aurélie Bertaux, Éric Gaussier et al.  Towards a Framework for Semantic Exploration of Frequent Patterns
Thierry Delot and Sandra Geisler and Sergio Ilarri and Christoph Quix. IMMoA 2013 - International Workshop on Information Management in Mobile Application (in conjunction with VLDB 2013), Aug 2013, Riva del Garda, Trento, Italy. CEUR-WS, 1075, pp.7-14, 2013

inria-00436467v3  Article dans une revue
Benjamin Petit, Jean-Denis Lesage, Clément Menier, Jérémie Allard, Jean-Sébastien Franco et al.  Multicamera Real-Time 3D Modeling for Telepresence and Remote Collaboration
International journal of digital multimedia broadcasting, Hindawi, 2010, Advances in 3DTV: Theory and Practice, 2010, Article ID 247108, 12 p. <10.1155/2010/247108>

hal-00688474v1  Article dans une revue
Jérémie Allard, Jean-Denis Lesage, Bruno Raffin. Modularity for Large Virtual Reality Applications
Presence: Teleoperators and Virtual Environments, Massachusetts Institute of Technology Press (MIT Press), 2010, 19 (2), pp.142-161. <10.1162/pres.19.2.142>

hal-00720910v2  Rapport
Daniel Balouek, Alexandra Carpen-Amarie, Ghislain Charrier, Frédéric Desprez, Emmanuel Jeannot et al.  Adding Virtualization Capabilities to Grid'5000
[Research Report] RR-8026, INRIA. 2012, pp.18

hal-00722605v1  Rapport
Frédéric Desprez, Geoffrey Fox, Emmanuel Jeannot, Kate Keahey, Michael Kozuch et al.  Supporting Experimental Computer Science
[Research Report] RR-8035, INRIA. 2012, pp.29

hal-01511306v1  Pré-publication, Document de travail
Pierre Neyron, Lucas Nussbaum. Mutualisation de machines HPC singulières dans Grid'5000
2016

hal-01511285v1  Pré-publication, Document de travail
Pierre Neyron, Bruno Bzeznik, Lucas Nussbaum. Propositions pour l'architecture pour un cluster mutualisé entre CIMENT et Grid'5000
2017

hal-00917911v1  Communication dans un congrès
Melisachew Wudage Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda. Evaluating and benchmarking SPARQL query containment solvers
Harith Alani and Lalana Kagal and Achile Fokoue and Paul Groth and Chris Biemann and Parreira, Josiane Xavier and Lora Aroyo and Natalya Noy and Christopher Welty and Krzysztof Janowicz. Proc. 12th International semantic web conference (ISWC), Oct 2013, Sydney, Australia. Springer Verlag, 8219, pp.408-423, 2013, Lecture notes in computer science; The semantic web. <10.1007/978-3-642-41338-4_26>

hal-00923542v1  Communication dans un congrès
Senjuti Basu Roy, Ioanna Lykourentzou, Saravanan Thirumuruganathan, Sihem Amer-Yahia, Gautam Das. Crowds, not Drones: Modeling Human Factors in Interactive Crowdsourcing
Reynold Cheng and Anish Das Sarma and Silviu Maniu and Pierre Senellart. DBCrowd 2013 - VLDB Workshop on Databases and Crowdsourcing, Aug 2013, Riva del Garda, Trento, Italy. CEUR-WS, pp.39-42, 2013, CEUR Workshop Proceedings

hal-01338064v1  Communication dans un congrès
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. A Formal Taxonomy of Privacy in Voting Protocols
First IEEE International Workshop on Security and Forensics in Communication Systems (ICC'12 WS - SFCS), Jun 2012, Ottawa, Canada. <10.1109/ICC.2012.6364938>

hal-01338067v1  Rapport
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. A formal taxonomy of privacy in voting protocols
[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2011

hal-01338070v1  Communication dans un congrès
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. Vote-Independence: A Powerful Privacy Notion for Voting Protocols
4th Canada-France MITACS Workshop on Foundations & Practice of Security (FPS'11), May 2011, Paris, France. 2012, <10.1007/978-3-642-27901-0_13>

hal-01233555v1  Article dans une revue
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade. Brandt's fully private auction protocol revisited
Journal of Computer Security, IOS Press, 2015, Special issue on security and high performance computing systems, 23 (5), pp.587-610. <10.3233/JCS-150535>

hal-00957671v3  Communication dans un congrès
Stéphane Martin, Tomasz Buchert, Pierric Willemet, Olivier Richard, Emmanuel Jeanvoine et al.  Scalable and Reliable Data Broadcast with Kascade
HPDIC - International Workshop on High Performance Data Intensive Computing, in conjunction with IEEE IPDPS 2014, May 2014, Phoenix, United States. 2014

hal-01011401v1  Communication dans un congrès
Lucas Nussbaum, Olivier Richard. Realis'2014: Reproductibilité expérimentale pour l'informatique en parallélisme, architecture et système
ComPAS : Conférence d'informatique en Parallélisme, Architecture et Système, Apr 2014, Neuchatel, Suisse. 2014

hal-01064825v1  Communication dans un congrès
Cristian Camilo Ruiz Sanabria, Olivier Richard, Joseph Emeras. Reproducible Software Appliances for Experimentation
TRIDENTCOM - 9th International Conference on Testbeds and Research Infrastructures for the Development of Networks & Communities (2014), May 2014, Guangzhou, China. 2014

hal-01238097v1  Article dans une revue
Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech. On the existence and decidability of unique decompositions of processes in the applied π-calculus
Journal of Theoretical Computer Science (TCS), Elsevier, 2015, <10.1016/j.tcs.2015.11.033>

hal-01337410v1  Communication dans un congrès
Jannik Dreier, Ali Kassem, Pascal Lafourcade. Formal Analysis of E-Cash Protocols
12th International Conference on Security and Cryptography (SECRYPT 2015), Jul 2015, Colmar, France. 2015, <10.5220/0005544500650075>

hal-01337411v1  Rapport
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini. On the Verifiability of (Electronic) Exams
[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2015

hal-01338002v1  Communication dans un congrès
Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech. On Unique Decomposition of Processes in the Applied π-Calculus
16th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2013), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2013), Mar 2013, Rome, Italy. 2013, <10.1007/978-3-642-37075-5_4>

hal-01337412v1  Communication dans un congrès
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini et al.  Formal Security Analysis of Traditional and Electronic Exams
E-Business and Telecommunications - 11th International Joint Conference, ICETE 2014, Revised Selected Papers, Aug 2014, Vienne, Austria. 2015, <10.1007/978-3-319-25915-4_16>