 |
 |
|
|
||
|---|---|---|
|
inria-00099581v1
Communication dans un congrès
Caroline Brun, Marc Dymetman, Eric Fanchon, Stanislas Lhomme, Sylvain Pogodalla. Semantically-based text authoring and the concurrent documentation of experimental protocols Cécile Roisin and Ethan V. Munson and Christine Vanoirbeek. ACM Symposium on Document Engineering - DocEng 2003, Nov 2003, Grenoble, France. ACM New York, NY, USA, pp.193-202, 2003, DocEng '03 Proceedings of the 2003 ACM symposium on Document engineering. <http://doi.acm.org/10.1145/958220.958256>. <10.1145/958220.958256> |
||
|
inria-00099072v1
Rapport
Olivier Bournez, Oded Maler. On the representation of timed polyhedra [Intern report] A00-R-079 || bournez00a, 2000 |
||
|
hal-00953423v1
Communication dans un congrès
Matthieu Chavent, Antoine Vanel, Alex Teck, Bruno Lévy, Bruno Raffin et al. A Rendering Method for Small Molecules up to Macromolecular Systems: HyperBalls Accelerated by Graphics Processors Journées Ouvertes en Biologie, Informatique et Mathématiques (JOBIM'10), 2010, Unknown, France. 2010 |
||
|
inria-00502888v1
Communication dans un congrès
Gilles Fedak, Jean-Patrick Gelas, Thomas Hérault, Victor Iniesta, Derrick Kondo et al. DSL-Lab: a Low-power Lightweight Platform to Experiment on Domestic Broadband Internet 9th International Symposium on Parallel and Distributed Computing (ISPDC'2010), Jul 2010, Istanbul, Turkey. 2010 |
||
|
inria-00101025v1
Communication dans un congrès
Sandy Maumus, Amedeo Napoli, Rafik Taouil, Sophie Visvikis. A first study of the central role of the analyst in the knowledge discovery process in biology Poster session at the 10th International Conference on Intelligent Systems for Molecular Biology - ISMB'02, Aug 2002, Edmonton, Canada, 1 p, 2002 |
||
|
inria-00101060v1
Rapport
Damien Eveillard, Delphine Ropers, Hidde De Jong, Christiane Branlant, Alexander Bockmayr. Modeling the effects of SR proteins on alternative splicing [Intern report] A02-R-117 || eveillard02b, 2002, 8 p |
||
|
hal-01242824v1
Rapport
Mathieu D'Aquin, Peter Haase, Chan Le Duc, Antoine Zimmermann. D1.1.4: NeOn Formalism for Modularization: Implementation and Evaluation [Research Report] Universität Karlsruhe. 2008, 44p |
||
|
hal-00931864v1
Direction d'ouvrage, Proceedings
Frédéric Bimbot, Christophe Cerisara, Cécile Fougeron, Guillaume Gravier, Lori Lamel et al. Proceedings of the 14th Annual Conference of the International Speech Communication Association (Interspeech), 25-29 August 2013, Lyon (France) France. International Speech Communication Association (ISCA), over 3500 p., 2013 |
||
|
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-00863139v1
Communication dans un congrès
Yoann Maurel, André Bottaro, Radu Kopetz, Koutheir Attouchi. Adaptive Monitoring of End-user OSGi-based Home Boxes Component Based Software Engineering, Jun 2012, Bertinoro, Italy. CBSE '12 Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering, pp.Pages 157-166, 2012, <10.1145/2304736.2304763> |
||
|
hal-01483972v1
Pré-publication, Document de travail
Rémi De Joannis de Verclos, Jean-Sébastien Sereni. Equitable Colorings of $K_4$-minor-free Graphs 2017 |
||
|
hal-00724682v1
Communication dans un congrès
Christophe Savariaux, Pierre Badin, Slim Ouni, Brigitte Wrobel-Dautcourt. Étude comparée de la précision de mesure des systèmes d'articulographie électromagnétique 3D : Wave et AG500 ATALA-AFCP. 29e Journées d'Études sur la Parole (JEP-TALN-RECITAL'2012), Jun 2012, Grenoble, France. pp.513-520, 2012 |
||
|
lirmm-01017944v1
Chapitre d'ouvrage
Daniel Simon, Ye-Qiong Song, Olivier Sename. Conception conjointe commande-ordonnancement Maryline Chetto. Ordonnancement dans les systèmes temps réel, ISTE Editions, pp.293-324, 2014, 978-1-78405-039-9 |
||
|
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-00880359v1
Article dans une revue
Petr Popov, David Ritchie, Sergei Grudinin. DockTrina: Docking triangular protein trimers Proteins: Structure, Function, and Genetics, Wiley, 2014, 82 (1), pp.34-44. <10.1002/prot.24344> |
||
|
hal-01172466v1
Communication dans un congrès
Xavier Goaoc, Alfredo Hubard, Rémi De Joannis de Verclos, Jean-Sébastien Sereni, Jan Volec. Limits of order types Janos Pach, Larse Arge. Symposium on Computational Geometry 2015, Jun 2015, Eindhoven, Netherlands. 34, pp.876, 2015, Symposium on Computational Geometry 2015: Eindhoven, The Netherlands. <10.4230/LIPIcs.SOCG.2015.300> |
||
|
hal-01345654v1
Article dans une revue
Philippe Collet, Lydie Du Bousquet, Laurence Duchien, Pierre-Etienne Moreau. Défis 2025 Techniques et sciences informatique (TSI), 2015, 34 (3), pp.311-324. <http://tsi.revuesonline.com/article.jsp?articleId=21482>. <10.3166/TSI.34.293-306> |
||
|
hal-01338054v1
Communication dans un congrès
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini et al. Formal Analysis of Electronic Exams First Symposium on Digital Trust in Auvergne (SDTA'14), Dec 2014, Clermont-Ferrand, France |
||
|
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 |
||
|
lirmm-01067487v1
Chapitre d'ouvrage
Daniel Simon, Ye-Qiong Song, Olivier Sename. Control and Scheduling Joint Design Maryline Chetto. Real-time Systems Scheduling, 2 "Focuses", ISTE Editions, pp.53-96, 2014, 9781848217898. <http://www.iste.co.uk/index.php?p=a&ACTION=View&id=810> |
||
|
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 |
||
|
|
||
