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-02399723v1 Preprints, Working Papers, ... Daniel Richter, Romain Watteaux, Thomas Vannier, Jade Leconte, Paul Frémont et al. Genomic evidence for global ocean plankton biogeography shaped by large-scale current systems 2020
	hal-03122968v2 Journal articles Tomas Lagos Jenschke, Remous-Aris Koutsiamanis, Georgios Papadopoulos, Nicolas Montavont. ODeSe: On-Demand Selection for multi-path RPL networks Ad Hoc Networks, Elsevier, 2021, 114, pp.102431. ⟨10.1016/j.adhoc.2021.102431⟩
	hal-02651685v1 Conference papers Tomas Lagos Jenschke, Georgios Papadopoulos, Remous-Aris Koutsiamanis, Nicolas Montavont. Stratégies d'ancêtre commun pour les réseaux RPL multi-chemins CORES2020, Sep 2020, Lyon, France
	hal-02749045v1 Conference papers Dimitrios Sourailidis, Remous-Aris Koutsiamanis, Georgios Papadopoulos, Dominique Barthel, Nicolas Montavont. RFC 6550: On Minimizing the Control Plane Traffic of RPL-based Industrial Networks 2020 IEEE 21st International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM), Aug 2020, Cork, Ireland. pp.439-444, ⟨10.1109/WoWMoM49955.2020.00080⟩
	hal-02987638v1 Conference papers Remous-Aris Koutsiamanis, Georgios Papadopoulos, Bruno Quoitin, Nicolas Montavont. A Centralized Controller for Reliable and Available Wireless Schedules in Industrial Networks MSN 2020 - 16th International Conference on Mobility, Sensing and Networking, Dec 2020, Virtual, Japan. pp.1-9
	hal-03125960v1 Reports Mohammad Rasool Mojallizadeh, Bernard Brogliato, Andrey Polyakov, Subiksha Selvarajan, Loïc Michel et al. Discrete-time differentiators in closed-loop control systems: experiments on electro-pneumatic system and rotary inverted pendulum [Research Report] INRIA Grenoble. 2021
	hal-02289699v1 Book sections Damien Chablat, Guillaume Moroz, Fabrice Rouillier, Philippe Wenger. Using Maple to analyse parallel robots Jürgen Gerhard; Ilias Kotsireas. Maple in Mathematics Education and Research, Springer, Cham, pp.50-64, 2020, Maple in Mathematics Education and Research, 978-3-030-41257-9. ⟨10.1007/978-3-030-41258-6_4⟩
	hal-03040548v2 Preprints, Working Papers, ... Stéphanie Delaune, Patrick Derbez, Paul Huynh, Marine Minier, Victor Mollimard et al. Efficient Methods to Search for Best Differential Characteristics on SKINNY 2021
	hal-01942097v1 Conference papers Ye Xia, Xavier Etchevers, Loic Letondeur, Adrien Lebre, Thierry Coupaye et al. Combining Heuristics to Optimize and Scale the Placement of IoT Applications in the Fog UCC 2018 : 11th IEEE/ACM Conference on Utility and Cloud Computing, Dec 2018, Zurich, Switzerland. pp.1-11, ⟨10.1109/UCC.2018.00024⟩
	hal-01766530v1 Conference papers Loïg Jezequel, Thomas Chatain, Maurice Comlan, David Delfieu, Olivier Roux. Pomsets and Unfolding of Reset Petri Nets LATA 2018 - 12th International Conference on Language and Automata Theory and Applications, Apr 2018, Ramat Gan, Israel
	hal-01735406v1 Conference papers Loïg Jezequel, Agnes Madalinski, Stefan Schwoon. Distributed computation of vector clocks in Petri nets unfolding for test selection Workshop on Discrete Event Systems (WODES), May 2018, Sorrento, Italy
	hal-03171577v1 Journal articles Yiru Zhang, Tassadit Bouadi, Yewan Wang, Arnaud Martin. A distance for evidential preferences with application to group decision making Information Sciences, Elsevier, In press, ⟨10.1016/j.ins.2021.03.011⟩
	hal-01926434v1 Poster communications Bruno Dutailly, Sylvie Eusèbe, Valentin Grimaud, Nicolas Lefèvre, Mathieu Quantin et al. Life cycle of 3d data for cultural heritage Visual Heritage 2018, Nov 2018, Vienne, Austria
	hal-01575603v1 Book sections Damien Eveillard, Anne Siegel, Philippe Vandenkoornhuyse. L'écologie des systèmes Mokrane Bouzeghoub et Rémy Mosseri. Les Big Data à Découvert, CNRS éditions, 2017, 978-2-271-11464-8
	hal-03119901v1 Journal articles David Espinel Sarmiento, Adrien Lebre, Lucas Nussbaum, Abdelhadi Chari. Decentralized SDN Control Plane for a Distributed Cloud-Edge Infrastructure: A Survey Communications Surveys and Tutorials, IEEE Communications Society, Institute of Electrical and Electronics Engineers, 2021, IEEE Communications Surveys & Tutorials, 23 (1), pp.256-281. ⟨10.1109/COMST.2021.3050297⟩
	hal-02108806v1 Conference papers Farah Ait Salaht, Frédéric Desprez, Adrien Lebre, Charles Prud'Homme, Mohamed Abderrahim. Service Placement in Fog Computing Using Constraint Programming SCC 2019 : IEEE International Conference on Services Computing, Jul 2019, Milan, Italy. pp.19-27, ⟨10.1109/SCC.2019.00017⟩
	hal-02313711v2 Reports Farah Ait Salaht, Frédéric Desprez, Adrien Lebre. An overview of service placement problem in Fog and Edge Computing [Research Report] RR-9295, Univ Lyon, EnsL, UCBL, CNRS, Inria, LIP, LYON, France. 2019, pp.1-43
	hal-02596419v1 Journal articles Farah Ait Salaht, Frédéric Desprez, Adrien Lebre. An overview of service placement problem in Fog and Edge Computing ACM Computing Surveys, Association for Computing Machinery, 2020, 53 (3), Article 65, 35 p. ⟨10.1145/3391196⟩
	hal-03081731v1 Journal articles Ahmed Khalifa, Olivier Kermorgant, Salvador Dominguez, Philippe Martinet. Platooning of Car-like Vehicles in Urban Environments: Longitudinal Control Considering Actuator Dynamics, Time Delays, and Limited Communication Capabilities IEEE Transactions on Control Systems Technology, Institute of Electrical and Electronics Engineers, 2020, ⟨10.1109/TCST.2020.3044786⟩
	hal-02922930v1 Conference papers Sirine Sayadi, Estelle Geffard, Mario Südholt, Nicolas Vince, Pierre-Antoine Gourraud. Distributed Contextualization of Biomedical Data: a case study in precision medicine AICCSA 2020 - 17th IEEE/ACS International Conference on Computer Systems and Applications, Nov 2020, Antalya, Turkey. pp.1-6
	hal-01826564v1 Conference papers Tony Ribeiro, Maxime Folschette, Magnin Morgan, Olivier Roux, Katsumi Inoue. Learning Dynamics with Synchronous, Asynchronous and General Semantics 28th International Conference on Inductive Logic Programming, Fabrizio Riguzzi; Elena Bellodi; Riccardo Zese, Sep 2018, Ferrara, Italy. ⟨10.1007/978-3-319-99960-9_8⟩
	hal-02422437v1 Journal articles Mohamed Boussaa, Olivier Barais, Gerson Sunyé, Benoit Baudry. Leveraging metamorphic testing to automatically detect inconsistencies in code generator families Software Testing, Verification and Reliability, Wiley, 2019, ⟨10.1002/stvr.1721⟩
	hal-02279523v1 Journal articles Achour Mostefaoui, Matthieu Perrin, Michel Raynal, Jiannong Cao. Crash-Tolerant Causal Broadcast in O(n) Messages Information Processing Letters, Elsevier, 2019, 151, pp.1-9. ⟨10.1016/j.ipl.2019.105837⟩
	hal-01987856v1 Journal articles Zane Zake, François Chaumette, Nicolò Pedemonte, Stéphane Caro. Vision-Based Control and Stability Analysis of a Cable-Driven Parallel Robot IEEE Robotics and Automation Letters, IEEE 2019, 4 (2), pp.1029-1036. ⟨10.1109/lra.2019.2893611⟩
	hal-02061643v1 Journal articles Sébastien Briot, Paolo Robuffo Giordano. Physical Interpretation of Rigidity for Bearing Formations: Application to Mobility and Singularity Analyses Journal of Mechanisms and Robotics, American Society of Mechanical Engineers, 2019, 11 (3), pp.031006-1--031006-10. ⟨10.1115/1.4043050⟩
	hal-01963668v1 Journal articles Robin Tournemenne, Jean-François Petiot, Bastien Talgorn, Joel Gilbert, Michael Kokkolaras. Sound simulation-based design optimization of brass wind instruments Journal of the Acoustical Society of America, Acoustical Society of America, 2019, 145 (6), pp.3795-3804. ⟨10.1121/1.5111346⟩
	hal-02466551v1 Conference papers Jean-François Petiot, Robin Tournemenne, Joel Gilbert. Physical modeling sound simulations for the study of the quality of wind instruments ICSV2019 - 26th International Congress on Sound and Vibration, Jul 2019, Montréal, Canada
	tel-03107626v2 Habilitation à diriger des recherches Assia Mahboubi. Machine-checked computer-aided mathematics Logic in Computer Science [cs.LO]. Université de Nantes (UN), Nantes, FRA., 2021
	hal-03116698v1 Preprints, Working Papers, ... Guilhem Jaber, Andrzej Murawski. Complete trace models of state and control 2021
	hal-03120580v1 Journal articles Nicolas Tabareau, Éric Tanter, Matthieu Sozeau. The Marriage of Univalence and Parametricity Journal of the ACM (JACM), Association for Computing Machinery, 2021, 68 (1), pp.1-44. ⟨10.1145/3429979⟩
	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

Type of deposit Minimize

Year Minimize