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

	1 2 3 4 5 6 7 8 9 10 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-01472082v1 Reports Azzeddine Amiar, Mickaël Delahaye, Ylìès Falcone, Lydie Du Bousquet. CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding [Research Report] RR-LIG-031, LIG. 2012
	hal-00576948v1 Journal articles Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier. Runtime Enforcement Monitors: composition, synthesis, and enforcement abilities Formal Methods in System Design, Springer Verlag, 2011, 38 (3), pp.223-262. ⟨10.1007/s10703-011-0114-4⟩
	hal-00743981v1 Journal articles Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. More testable properties International Journal on Software Tools for Technology Transfer, Springer Verlag, 2012, 14 (4), pp.407-437. ⟨10.1007/s10009-011-0220-z⟩
	hal-00724508v1 Conference papers Omar Chebaro, Mickaël Delahaye, Nikolai Kosmatov. Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE ICSSEA 2012 - 24th International Conference on Software & Systems Engineering and their Applications, Oct 2012, Paris, France. pp.1-7
	hal-01217564v1 Journal articles Anh Tuan Giang, Anthony Busson, Alain Lambert, Dominique Gruyer. Capacity of IEEE 802.11p based VANET: models, simulations and experimentations IEEE Transactions on Vehicular Technology, Institute of Electrical and Electronics Engineers, 2015, 15p. ⟨10.1109/TVT.2015.2474156⟩
	hal-00922261v1 Conference papers Anh Tuan Giang, Anthony Busson, Alain Lambert, Dominique Gruyer. Topology Control in VANET and Capacity Estimation 2013 IEEE Vehicular Networking Conference (VNC), Dec 2013, BOSTON, United States. ⟨10.1109/vnc.2013.6737600⟩
	lirmm-00879575v1 Conference papers Maximilien Servajean, Esther Pacitti, Sihem Amer-Yahia, Pascal Neveu. Profile Diversity for Phenotyping Data Search and Recommendation BDA: Bases de Données Avancées, Oct 2013, Nantes, France
	hal-01208397v1 Conference papers Sofia Kleisarchaki, Sihem Amer-Yahia, Ahlame Douzal-Chouakria, Vassilis Christophides. Querying Temporal Drifts at Multiple Granularities CIKM 2015, Oct 2015, Melbourne, Australia
	hal-00953273v1 Conference papers Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, Julien Botella. Nouveaux mécanismes de filtrage de tests basés sur le modèle Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.179-180
	hal-01089427v1 Conference papers Stéphane Ayache, Georges Quénot. LIG and LIRIS at TRECVID 2008: High Level Feature Extraction and Collaborative Annotation TRECVID Workshop, 2008, Gaithersburg, MD, United States
	hal-01659040v1 Journal articles Julien Debray, Walid Zeghida, Muriel Jourdan, David Monchaud, Marie-Louise Dheu-Andries et al. Synthesis and evaluation of fused bispyrimidinoacridines as novel pentacyclic analogues of quadruplex-binder BRACO-19 Organic and Biomolecular Chemistry, Royal Society of Chemistry, 2009, 7 (24), ⟨10.1039/B912716J⟩
	hal-01245436v1 Journal articles R Riedi, Paulo Gonçalves. A strong Tauberian theorem for characteristic functions Applied and Computational Harmonic Analysis, Elsevier, 2015, 39, pp.6. ⟨10.1016/j.acha.2015.03.007⟩
	hal-00813281v1 Preprints, Working Papers, ... Vivian Viallon, Sophie Lambert-Lacroix, Holger Höfling, Franck Picard. Adaptive Generalized Fused-Lasso: Asymptotic Properties and Applications 2013
	hal-01059677v1 Conference papers Akram Idani, Nicolas Stouls. When a Formal Model Rhymes with a Graphical Notation Human-Oriented Formal Methods 2014, Sep 2014, Grenoble, France
	hal-00930964v1 Journal articles Jack Dongarra, Bernard Tourancheau. Selected papers of the Workshop on Clusters, Clouds and Grids for Scientific Computing (CCGSC) International Journal of High Performance Computing Applications, SAGE Publications, 2011, 25 (3), pp.259-260. ⟨10.1177/1094342011414550⟩
	hal-00931040v1 Journal articles Leila Ben Saad, Cedric Chauvenet, Bernard Tourancheau. IPv6 (Internet Protocol version 6) heterogeneous networking infrastructure for energy efficient building Energy, Elsevier, 2012, Integration and Energy System Engineering, 44 (1), pp.447-457. ⟨10.1016/j.energy.2012.06.008⟩
	hal-00930982v1 Other publications Bernard Tourancheau. Vers un monde d'objets interconnectés 2011
	hal-00954076v1 Conference papers Éric Gaussier. Apprentissage pour la Recherche d'Information Ecole d'Automne en Recherche d'Information et Applications, 2010, Lyon, France
	hal-00954024v1 Conference papers Philippe Mulhem, Delphine Verbyst. Utilisation des liens entre documents structurés pour la recherche d'information Actes de la conférence CORIA, 2009, Giens, France. pp.319-331
	hal-01990304v1 Journal articles Pierre Aboulker, Zhentao Li, Stéphan Thomassé. Excluding clocks Electronic Notes in Discrete Mathematics, Elsevier, 2015, 50, pp.103-108
	hal-00749190v1 Journal articles Victor Campos, Andras Gyarfas, Frédéric Havet, Claudia Linhares Sales, Frédéric Maffray. New bounds on the Grundy number of products of graphs Journal of Graph Theory, Wiley, 2012, 71 (1), pp.78--88
	hal-00944484v1 Journal articles Pablo Arrighi, Jonathan Grattage. Intrinsically universal n-dimensional quantum cellular automata Journal of Computer and System Sciences, Elsevier, 2012, 78 (6), pp.1883-1898
	inria-00615962v1 Conference papers P. Kolesik, Céline Fouard, Stefen Prohaska, A. Mcneill. Automated method for non-destructive 3D visualisation of plant root architecture using X-ray tomography 4th International Workshop on Functional-Structural Plant Models, 2004, Montpellier, France, France. pp.27
	inria-00615970v1 Conference papers Céline Fouard, Grégoire Malandain, Stefen Prohaska, Malte Westerhoff, Francis Cassot et al. Skeletonization by blocks for large datasets: application to brain microcirculation International Symposium on Biomedical Imaging: From Nano to Macro (ISBI'04), IEEE, 2004, Arlington, VA, USA, United States
	hal-00758626v1 Journal articles Benjamin Lecouteux, Georges Linares, Yannick Estève, Guillaume Gravier. Dynamic Combination of Automatic Speech Recognition Systems by Driven Decoding IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2013
	hal-02094742v1 Poster communications Benjamin Lecouteux, Georges Linares, Yannick Estève, Guillaume Gravier. GENERALIZED DRIVEN DECODING FOR SPEECH RECOGNITION SYSTEM COMBINATION ICASSP, 2008, Las Vegas, United States
	inria-00615983v1 Conference papers Céline Fouard, Grégoire Malandain, Stefen Prohaska, Malte Westerhoff, Francis Cassot et al. Squelettisation par blocs pour des grands volumes de données 3D: application à la microcirculation cérébrale Proc. of RFIA'04, 2004, Toulouse, France, France
	hal-00264408v1 Journal articles Jérémy Bluteau, Sabine Coquillart, Yohan Payan, Edouard Gentaz. Haptic guidance improves the visuo-manual tracking of trajectories. PLoS ONE, Public Library of Science, 2008, 3 (3), pp.e1775. ⟨10.1371/journal.pone.0001775⟩
	hal-00783167v1 Conference papers Olivier Chenu, Yohan Payan, Petra Hlavackova, Marek Bucki, Bruno Diot et al. System for pressure sore prevention: a user-centered design EPUAP'2011 - 14th Annual Meeting of the European Pressure Ulcer Advisory Panel, 2011, Oporto, Portugal. pp.2
	inria-00539042v1 Conference papers Gautier Stauffer, Guillaume Massonnet, Christophe Rapine, Jean-Philippe Gayon. A simple and fast 2-approximation algorithm for the one warehouse multi-retailer problem Proceedings of the ACM-SIAM Symposium on Discrete Algorithms (SODA) 2011, Jan 2011, San Francisco, United States
	1 2 3 4 5 6 7 8 9 10 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

Keyword Minimize

Type of deposit Minimize

Year Minimize