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

	1 2 3 4 5 6 7 8 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 HTML Advanced export... Syndicated feeds RSS ATOM
	hal-00763748v1 Conference papers Jaume Baixeries, Mehdi Kaytoue, Amedeo Napoli. Computing Functional Dependencies with Pattern Structures The 9th International Conference on Concept Lattices and Their Applications - CLA 2012, Oct 2012, Malaga, Spain
	inria-00546398v1 Reports Olivier Festor, Gabi Dreo, David Hausheer, George Pavlou, Aiko Pras et al. EMANICS Quarterly Management Report #16 [Contract] 2010, pp.23
	hal-02563269v1 Journal articles Juan Pablo Astudillo León, Thomas Begin, Anthony Busson, Luis Javier de La Cruz Llopis. A Fair and Distributed Congestion Control Mechanism for Smart Grid Neighborhood Area Networks Ad Hoc Networks, Elsevier, 2020, 104, pp.1-13. ⟨10.1016/j.adhoc.2020.102169⟩
	hal-02195498v1 Conference papers Victor Codocedo, Jaume Baixeries, Mehdi Kaytoue, Amedeo Napoli. Sampling Representation Contexts with Attribute Exploration ICFCA 2019 - 15th International Conference on Formal Concept Analysis, Jun 2019, Frankfurt, Germany. pp.307-314, ⟨10.1007/978-3-030-21462-3_20⟩
	hal-02634537v1 Conference papers Damiano Rotondo, Denis Efimov, Andrea Cristofaro, Tor Arne Johansen. Estimation in uncertain switched systems using a bank of interval observers: local vs glocal approach IFAC 2020 - 21rst IFAC World Congress, Jul 2020, Berlin, Germany
	hal-02395062v1 Journal articles Gerardo Giruzzi, Maiko yoshida, N. Aiba, J. Artaud, Juan Ayllon-Guerola et al. Advances in the physics studies for the JT-60SA tokamak exploitation and research plan Plasma Physics and Controlled Fusion, IOP Publishing, 2020, 62 (1), pp.014009. ⟨10.1088/1361-6587/ab4771⟩
	hal-01241728v1 Directions of work or proceedings Ludovic Chamoin, Pedro Diez. Verification and validation for and with reduced order modeling France. 2, 2015, Special Issue of Advanced Modeling and Simulation in Engineering Sciences
	hal-01003163v1 Conference papers Marco Gramaglia, Oscar Trullols-Cruces, Diala Naboulsi, Marco Fiore, Maria Calderon. Vehicular Networks on Two Madrid Highways SECON - IEEE 11th International Conference on Sensing, Communication, and Networking, Jun 2014, Singapore, Singapore
	inria-00436060v1 Reports Olivier Festor, Gabi Dreo, David Hausheer, George Pavlou, Aiko Pras et al. EMANICS Periodic Activity Report January 1, 2008 – December 31, 2008 [Contract] 2009, pp.66
	inria-00578966v1 Conference papers Adria Gascon, Guillem Godoy, Florent Jacquemard. Closure of Tree Automata Languages under Innermost Rewriting 8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS), Jul 2008, Hagenberg, Austria. pp.23-38, ⟨10.1016/j.entcs.2009.03.033⟩
	hal-02301094v1 Book sections Sergio Aguilar, Alexandre Marquet, Laurent Toutain, Carles Gomez, Rafael Vidal et al. LoRaWAN SCHC Fragmentation Demystified Ad-Hoc, Mobile, and Wireless Networks, pp.213-227, 2019, ⟨10.1007/978-3-030-31831-4_15⟩
	hal-01496959v1 Conference papers yacine Taleb, Shadi Ibrahim, Gabriel Antoniu, Toni Cortes. Characterizing Performance and Energy-Efficiency of The RAMCloud Storage System ICDCS 2017 : 37th IEEE International Conference on Distributed Computing Systems, Jun 2017, Atlanta, United States. ⟨10.1109/ICDCS.2017.51⟩
	hal-01026150v1 Journal articles Mónica Bécue-Bertaut, Belchin Adriyanov Kostov, Annie Morin, Gulhem Naro. Rhetorical Strategy in Forensic Speeches: Multidimensional Statistics-Based Methodology Journal of Classification, Springer Verlag, 2014, 31 (1), pp.85-106. ⟨10.1007/s00357-014-9148-9⟩
	hal-00795224v1 Conference papers Javier Rubio-Loyola, Antonio Astorga, Joan Serrat, Laurent Lefevre, Abderhaman Cheniour et al. Manageability of Future Internet Virtual Networks from a Practical Viewpoint FIA 2010 - Future Internet Assembly, Apr 2010, Valencia, Spain. pp.105-114, ⟨10.3233/978-1-60750-539-6-105⟩
	hal-01394400v1 Journal articles Fabrice Benhamouda, Javier Herranz, Marc Joye, Benoît Libert. Efficient Cryptosystems From $2^k$ -th Power Residue Symbols Journal of Cryptology, Springer Verlag, 2016, ⟨10.1007/s00145-016-9229-5⟩
	hal-01272396v1 Journal articles Rosa Badia, Robert Hood, Thilo Kielmann, A. Merzky, Christine Morin et al. Use Cases and Requirements for Grid Checkpoint and Recovery, GFD.I.92, Open Grid Forum Terminology. International Journal of Theoretical and Applied Issues in Specialized Communication , John Benjamins Publishing, 2007, 3, pp.37
	hal-00805849v1 Conference papers Oscar Trullols-Cruces, Marco Fiore, Jose Maria Barcelo-Ordinas. Understanding, Modeling and Taming Mobile Malware Epidemics in a Large-scale Vehicular Network WoWMoM 2013 - IEEE 14th International Symposium on a World of Wireless, Mobile and Multimedia Networks, Jun 2013, Madrid, Spain. pp.1-9, ⟨10.1109/WoWMoM.2013.6583402⟩
	hal-00805858v1 Journal articles Sandesh Uppoor, Oscar Trullols-Cruces, Marco Fiore, Jose Maria Barcelo-Ordinas. Generation and Analysis of a Large-scale Urban Vehicular Mobility Dataset IEEE Transactions on Mobile Computing, Institute of Electrical and Electronics Engineers, 2014, 13 (5), pp.1061-1075. ⟨10.1109/TMC.2013.27⟩
	hal-00497492v1 Preprints, Working Papers, ... Régis Monneau, Maria del Mar Gonzalez. Slow motion of particle systems as a limit of a reaction-diffusion equation with half-Laplacian in dimension one 2010
	inria-00337637v1 Reports Olivier Festor, Gabi Dreo Rodosek, George Pavlou, Aiko Pras, Juergen Schoenwaelder et al. Joint Programme of Activities (month 25-42) for the EMANICS Network of Excellence [Contract] 2008, pp.99
	hal-00689564v1 Conference papers Edgar Magaña, Laurent Lefèvre, Joan Serrat. Autonomic management architecture for flexible Grid services deployment based on policies ARCS 2007 : Architecture of Computing Systems, Mar 2007, Zurich, Switzerland. pp.157-170, ⟨10.1007/978-3-540-71270-1_12⟩
	hal-00690904v1 Conference papers Alex Galis, Stuart Clayman, Laurent Lefèvre, Andreas Fischer, Hermann de Meer et al. Towards In-Network Clouds in Future Internet FUTURE INTERNET ASSEMBLY, May 2011, Budapest, Hungary. pp.19-33, ⟨10.1007/978-3-642-20898-0_2⟩
	inria-00610202v1 Conference papers Elena Planas, Jordi Cabot, Cristina Gómez, Esther Guerra, Juan de Lara. Lightweight Executability Analysis of Graph Transformation Rules IEEE Symposium on Visual Languages and Human-Centric Computing 2010, Sep 2010, Madrid, Spain
	hal-00734573v1 Conference papers Elena Planas, David Sanchez-Mendoza, Jordi Cabot, Cristina Gómez. Alf-veriﬁer: An Eclipse Plugin for Verifying Alf/UML Executable Models 31st International Conference on Conceptual Modeling (ER Workshops 2012), Oct 2012, Florence, Italy
	inria-00504250v1 Journal articles Fernando Pereira, Luis Torres, Christine Guillemot, Touraj Ebrahimi, Riccardo Leonardi et al. Distributed Video Coding Selecting the Most Promising Application Scenarios Signal Processing: Image Communication, Elsevier, 2008, 23, pp.339-352
	inria-00504255v1 Journal articles Simon Malinowski, Xavier Artigas, Christine Guillemot, Luis Torres. Punctured Quasi-Arithmetic Codes for Distributed Source Coding IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2009, 57 (10), pp.4154-4158
	inria-00504518v1 Conference papers Xavier Artigas, Simon Malinowski, Christine Guillemot, Luis Torres. Overlapped arithmetic codes with memory European Signal Processing Conference, EUSIPCO, 2008, Lausanne, Switzerland
	hal-00243123v1 Conference papers Guillem Godoy, Sebastian Maneth, Sophie Tison. Classes of Tree Homomorphisms with Decidable Preservation of Regularity FOSSACS'08, Apr 2008, Hungary. pp.127-141
	inria-00412646v1 Journal articles Olivier Devillers, Ferran Hurtado, Gyula Károlyi, Carlos Seara. Chromatic Variants of the Erdös-Szekeres Theorem on Points in Convex Position Computational Geometry, Elsevier, 2003, 26, pp.193-208. ⟨10.1016/S0925-7721(03)00013-0⟩
	hal-00190004v1 Conference papers Guillem Godoy, Sophie Tison. On the Normalization and Unique Normalization Properties of Term Rewrite Systems CADE, 2007, Germany. pp.247-262, ⟨10.1007/978-3-540-73595-3_17⟩
	1 2 3 4 5 6 7 8 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 HTML Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Type of deposit Minimize

Year Minimize

Designed by Inria-IES Team : Hosted by HAL :