HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

hal-01112533v1  Conference papers
Louis-Marie TraonouezDavid DelfieuOlivier Roux. Synthèse de contraintes de conception à partir de réseaux de Petri temporels paramétrés
6ieme Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'07), Oct 2007, Lyon, France
hal-01432752v1  Conference papers
Yunbo LiAnne-Cécile OrgerieJean-Marc Menaud. Balancing the use of batteries and opportunistic scheduling policies for maximizing renewable energy consumption in a Cloud data center
PDP 2017 : 25th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, Mar 2017, St Petersburg, Russia. ⟨10.1109/PDP.2017.24⟩
hal-01398925v1  Journal articles
Sébastien BriotPhilippe MartinetFrançois Chaumette. Determining the Singularities for the Observation of Three Image Lines
IEEE Robotics and Automation Letters, IEEE 2017, 2 (2), pp.412-419
hal-01223119v1  Reports
Davide FreyRoy FriedmanAchour MostefaouiMatthieu PerrinMichel Raynal et al.  D.1.2 – Modular quasi-causal data structures
[Research Report] D1.2, LINA-University of Nantes; IRISA. 2015
hal-01789046v1  Directions of work or proceedings
Emmanuel MorinSophie RossetPascale Sébillot. Varia - Préface - 59-1
59 (1), ATALA, pp.7-11, 2019
hal-01787801v1  Conference papers
Damien ImbsAchour MostefaouiMatthieu PerrinMichel Raynal. Which Broadcast Abstraction Captures k-Set Agreement?
31st International Symposium on Distributed Computing (DISC 2017), Oct 2017, Vienna, Austria. pp.1-16, ⟨10.4230/LIPIcs.DISC.2017.27⟩
hal-01340989v1  Journal articles
Tran Anh Quang PhamKandaraj PiamratKamal SinghCésar Viho. Video Streaming over Ad hoc Networks: a QoE-based Optimal Routing Solution
IEEE Transactions on Vehicular Technology, Institute of Electrical and Electronics Engineers, 2017, 66 (2), ⟨10.1109/TVT.2016.2552041⟩
hal-01689726v2  Reports
Ronan-Alexandre CherrueauMatthieu SimoninAlexandre van Kempen. EnosStack: A LAMP-like stack for the experimenter
[Research Report] RR-9146, INRIA Rennes - Bretagne Atlantique. 2018, pp.1-14
hal-01826564v1  Conference papers
Tony RibeiroMaxime FolschetteMagnin MorganOlivier RouxKatsumi 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-01826690v1  Conference papers
Aghilas SiniDamien LoliveGaëlle VidalMarie TahonElisabeth Delais-Roussarie. SynPaFlex-Corpus: An Expressive French Audiobooks Corpus Dedicated to Expressive Speech Synthesis
Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC 2018), May 2018, Miyazaki, Japan
hal-01944915v1  Book sections
Ferran Argelaguet SanzBruno ArnaldiJean-Marie BurkhardtGéry CasiezStéphane Donikian et al.  Complexity and Scientific Challenges
Bruno Arnaldi; Pascal Guitton; Guillaume Moreau. Virtual Reality and Augmented Reality - Myths and Realities, chapitre 3, ISTE - Wiley, pp.123-216, 2018, 9781119341031. ⟨10.1002/9781119341031.ch3⟩
hal-02157804v1  Conference papers
Pierre TalbotDavid CacheraEric MonfroyCharlotte Truchet. Octogones entiers pour le problème RCPSP
JFPC 2019 - Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France. pp.1-10
hal-01946860v1  Conference papers
Clémence FriouxEnora FremyCamille TrottierAnne Siegel. Scalable and exhaustive screening of metabolic functions carried out by microbial consortia
ECCB - 2018 - 17th European Conference on Computational Biology, Sep 2018, Athènes, Greece. pp.i934-i943
hal-01917079v1  Journal articles
José FiadeiroAntónia LopesBenoit DelahayeAxel Legay. Dynamic networks of heterogeneous timed machines
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2018, 28 (06), pp.800 - 855. ⟨10.1017/S0960129517000135⟩
hal-02987638v1  Conference papers
Remous-Aris KoutsiamanisGeorgios PapadopoulosBruno QuoitinNicolas 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, ⟨10.1109/MSN50589.2020.00018⟩
hal-01939638v1  Journal articles
Romain BourcierDiala AbedMichel PiotinHocine RedjemJean-Christophe Ferré et al.  Multicenter initial experience with the EmboTrap device in acute anterior ischemic stroke
American Journal of Neuroradiology, American Society of Neuroradiology, 2018, 45 (4), pp.230-235