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

	1 2 3 4 5 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
	tel-01995823v1 Habilitation à diriger des recherches Cătălin Hriţcu. The Quest for Formally Secure Compartmentalizing Compilation Programming Languages [cs.PL]. ENS Paris; PSL Research University, 2019
	inria-00344013v1 Reports Marcos Didonet del Fabro, Patrick Albert, Jean Bézivin, Frédéric Jouault. Industrial-strength Rule Interoperability using Model Driven Engineering [Research Report] RR-6747, INRIA. 2008
	inria-00379423v1 Conference papers Valérie Issarny, Consortium Connect. CONNECT: Emergent Connectors for Eternal Software Intensive Networked Systems FET'09 - The European Future Technologies Conference and Exhibition, European Commission, Apr 2009, Prague, Czech Republic
	hal-01700565v1 Journal articles François Pellegrini. La liberté à l'ère numérique Politeia - Les Cahiers de l'Association Française des Auditeurs de l'Académie Internationale de Droit constitutionnel, Association française des auditeurs de l'Académie internationale de droit constitutionnel, 2017, Les métamorphoses des droits fondamentaux à l'ère du numérique, 31, pp.161-172
	hal-01386917v1 Conference papers Rachit Agarwal, David Gomez Fernandez, Tarek Elsaleh, Amelie Gyrard, Jorge Lanza et al. Unified IoT Ontology to Enable Interoperability and Federation of Testbeds 3rd IEEE World Forum on Internet of Things, Dec 2016, Reston, United States. ⟨10.1109/WF-IoT.2016.7845470⟩
	hal-01668250v1 Preprints, Working Papers, ... François Thiré. Exporting an Arithmetic Library from Dedukti to HOL 2017
	hal-01678845v1 Reports Gilles Dowek, Catherine Dubois, Brigitte Pientka, Florian Rabe. Universality of proofs [Research Report] Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise; Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (Institut Mines-Télécom-Télécom SudParis-CNRS); INRIA Saclay - Ile de France (INRIA); Jacobs University [Bremen]; École normale supérieure - Cachan; McGill University / Université McGill. 2017, pp.24
	inria-00479661v1 Journal articles Romain Cavagna, Jérôme Royan, Patrick Gioia, Christian Bouville, Maha Abdallah et al. Peer-to-peer visualization of very large 3D landscape and city models using MPEG-4 Signal Processing: Image Communication, Elsevier, 2009, Signal Processing: Image Communication, 24 (1-2), pp.115 - 121. ⟨10.1016/j.image.2008.10.012⟩
	tel-01415945v1 Theses Raphaël Cauderlier. Object-Oriented Mechanisms for Interoperability between Proof Systems Logic in Computer Science [cs.LO]. Conservatoire National Des Arts et Métiers, Paris, 2016. English
	hal-01556256v1 Preprints, Working Papers, ... Garvita Bajaj, Rachit Agarwal, Pushpendra Singh, Nikolaos Georgantas, Valerie Issarny. A study of existing Ontologies in the IoT-domain 2017
	inria-00542314v1 Conference papers Nacer Boudjlida. A Walk Trough Semantic Interoperability of Entreprise Systems: A Tutorial Conference Africaine en Informatique et Mathématiques Appliquées, Oct 2010, Yamoussoukro, Côte d’Ivoire
	inria-00542310v1 Conference papers Nacer Boudjlida. From Fine Grain to Large-Scale Semantic Ineroperability Conference Africaine en Informatique et Mathématiques Appliquées, Oct 2010, Yamoussoukro, Côte d’Ivoire. pp.31--32
	edutice-00161113v1 Other publications Christophe Reffay, Thierry Chanier, Nikolaos Avouris, Laurent Romary. Symposium Corpus d'apprentissage en ligne : Conception, réutilisation, échange 2007
	hal-01485213v1 Conference papers Rafael Angarita, Nikolaos Georgantas, Cristhian Parra, James Holston, Valérie Issarny. Leveraging the Service Bus Paradigm for Computer-mediated Social Communication Interoperability International Conference on Software Engineering (ICSE), Software Engineering in Society (SEIS) Track, May 2017, Buenos Aires, Argentina
	hal-01700607v1 Documents associated with scientific events François Pellegrini. Liberté à l'ère numérique Defense Security Cyber, Jul 2016, Bordeaux, France. pp.1-27, 2016
	hal-01790629v1 Conference papers Stéphanie Challita, Faiez Zalila, Philippe Merle. Specifying Semantic Interoperability between Heterogeneous Cloud Resources with the FCLOUDS Formal Language CLOUD 2018 - 11th IEEE International Conference on Cloud Computing, Jul 2018, San Francisco, United States
	hal-01519831v1 Conference papers Stéphanie Challita, Fawaz Paraiso, Philippe Merle. Towards Formal-based Semantic Interoperability in Multi-Clouds 10th IEEE International Conference on Cloud Computing (CLOUD), Jun 2017, Honolulu, Hawaii, United States. pp.710-713
	hal-01253448v1 Other publications Boudjlida Nacer. From Small-Grained to Large-Grained Semantic Interoperability. 2015, ⟨10.13140/RG.2.1.4975.8806⟩
	hal-00710623v1 Conference papers Jonathan Labéjof, Antoine Léger, Philippe Merle, Lionel Seinturier, Hugues Vincent. R-MOM: A Component-Based Framework for Interoperable and Adaptive Asynchronous Middleware Systems First International Workshop on Service and Cloud Based Data Integration (SCDI) at the 16th IEEE International EDOC Conference, Sep 2012, Beijing, China. pp.204-213, ⟨10.1109/EDOCW.2012.35⟩
	hal-00694700v1 Conference papers Fawaz Paraiso, Nicolas Haderer, Philippe Merle, Romain Rouvoy, Lionel Seinturier. A Federated Multi-Cloud PaaS Infrastructure CLOUD 2012 - 5th IEEE International Conference on Cloud Computing, Jun 2012, hawaii, United States. pp.392 - 399, ⟨10.1109/CLOUD.2012.79⟩
	hal-00812330v1 Conference papers Samir Amir, Ioan Marius Bilasco, Thierry Urruty, Chaabane Djeraba. Vers une Interopérabilité Multi-Niveaux des Métadonnées INFORSID 2011, May 2011, Lille, France
	hal-01111453v1 Journal articles Hamri Salah, Boudjlida Nacer, Boufaida Mahmoud. Semantic Annotations for Workflow Interoperability Informatica, Slovene Society Informatika, Ljubljana, 2014, 38 (4), pp.347-366
	hal-01358399v1 Conference papers Valérie Issarny, Georgios Bouloukakis, Nikolaos Georgantas, Benjamin Billet. Revisiting Service-oriented Architecture for the IoT: A Middleware Perspective 14th International Conference on Service Oriented Computing (ICSOC), Oct 2016, Banff, Alberta, Canada
	hal-02304074v1 Journal articles Georgios Bouloukakis, Nikolaos Georgantas, Patient Ntumba, Valérie Issarny. Automated synthesis of mediators for middleware-layer protocol interoperability in the IoT Future Generation Computer Systems, Elsevier, 2019, 101, pp.1271-1294. ⟨10.1016/j.future.2019.05.064⟩
	hal-00912869v1 Preprints, Working Papers, ... Benjamin Billet, Georgios Bouloukakis, Nikolaos Georgantas, Sara Hachem, Valérie Issarny et al. Final CHOReOS Architectural Style and its Relation with the CHOReOS Development Process and IDRE 2013
	hal-01104252v1 Conference papers Karima Rafes, Julien Nauroy, Cécile Germain. TFT, Tests For Triplestores Semantic Web Challenge, part of the International Semantic Web Conference, Oct 2014, Riva Del Garda, Italy
	inria-00629059v1 Conference papers Gordon Blair, Amel Bennaceur, Nikolaos Georgantas, Paul Grace, Valérie Issarny et al. The Role of Ontologies in Emergent Middleware: Supporting Interoperability in Complex Distributed Systems 12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.410-430, ⟨10.1007/978-3-642-25821-3_21⟩
	hal-00399881v1 Journal articles Laurent Romary, Chris Armbruster. Beyond institutional repositories International Journal of Digital Library Systems, IGI Global, 2010, 1 (1), pp.44-61
	inria-00586630v1 Book sections Valérie Issarny, Amel Bennaceur, Yérom-David Bromberg. Middleware-layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability Marco Bernardo and Valerie Issarny. 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems, 6659, Springer, pp.217-255, 2011, Lecture notes in computer science, 978-3-642-21454-7. ⟨10.1007/978-3-642-21455-4⟩
	inria-00586638v1 Book sections Paul Grace, Nikolaos Georgantas, Amel Bennaceur, Gordon Blair, Franck Chauvel et al. The CONNECT Architecture Marco Bernardo and Valerie Issarny. 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems, 6659, Springer, pp.27-52, 2011, Lecture notes in computer science, 978-3-642-21454-7. ⟨10.1007/978-3-642-21455-4⟩
	1 2 3 4 5 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