Skip to Main content Skip to Navigation
Help


...
hal-01655955v1  Directions of work or proceedings
Maxime AmblardMichel MusiolManuel RebuschiJirka MaršíkStefan Jokulsson. (In)Coherence of discourse 3
Dec 2015, Nancy, France. 2015
hal-01344674v1  Directions of work or proceedings
Emmanuelle AnceaumeMaria Potop-ButucaruCachin Christian. Nineteenth International Conference on Principles of Distributed Systems (OPODIS)
LIPICS. Nineteenth International Conference on Principles of Distributed Systems (OPODIS), Dec 2015, Rennes, France. 2015
hal-01271678v1  Directions of work or proceedings
Miguel E. AndrésGeoffrey SmithCatuscia Palamidessi. Special Issue on Quantitative Information Flow
Andrés, Miguel; Palamidessi, Catuscia; Smith, Geoffrey. Cambridge University Press, 2015, ⟨10.1017/S0960129513000583⟩
...
hal-01244735v1  Directions of work or proceedings
Emmanuel BaccelliDave Raggett. The Internet of Things and The Web of Things
France. ERCIM, 2015, ERCIM News Special Issue on The Internet of Things and The Web of Things
hal-01238092v1  Directions of work or proceedings
Rémi BadonnelXiao JinAta ShingoFilip TurckGroza Voicu et al.  Integrated Management in the Age of Big Data, Proceedings of the 14th IFIP/IEEE Symposium on Integrated Network and Service Management (IM 2015).
Remi Badonnel and Jin Xiao and Shingo Ata and Filip de Turck and Voicu Groza and Carlos dos Santos. May 2015, Ottawa, Canada. 2015
hal-01165017v1  Directions of work or proceedings
Riyadh BaghdadiJaved AbsarUlysse BeaugnonAdam BettsAlbert Cohen et al.  Pencil A Platform-Neutral Compute Intermediate Language for DSL Compilers
10th International Conference on High Performance and Embedded Architectures and Compilers - HIPEAC 2015, Jan 2015, Amsterdam, Netherlands. 2015
hal-01244394v1  Directions of work or proceedings
Sanjoy BaruahLiliana Cucu-GrosjeanRobert DavisClaire Maiza. Mixed Criticality on Multicore/Manycore Platforms (Dagstuhl Seminar 15121)
Dagstuhl Seminar on Mixed Criticality on Multicore/Manycore Platforms , Mar 2015, Dagstuhl, Germany. 2015, ⟨10.4230/DagRep.5.3.84⟩
hal-01243625v1  Directions of work or proceedings
Nathalie BertrandMirco Tribastone. Proceedings of the Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'15)
Nathalie Bertrand; Mirco Tribastone. Apr 2015, London, United Kingdom. 194, 2015, EPTCS, ⟨10.4204/EPTCS.194⟩
hal-01353989v1  Directions of work or proceedings
Nataliia BielovaJuan CaballeroFrank Piessens. Engineering Secure Software and Systems (ESSoS 2015)
Frank Piessens; Juan Caballero; Nataliia Bielova. Engineering Secure Software and Systems, Mar 2015, Milan, Italy. 8978, pp.227, 2015, Lecture Notes on Computer Science, 978-3-319-15617-0. ⟨10.1007/978-3-319-15618-7⟩
...
hal-01169584v1  Directions of work or proceedings
Xavier BlancLaurence Duchien. Actes des Septièmes journées nationales du GDR Génie de la Programmation et du Logiciel
7eme journées du GDR Génie de la Programmation et du Logiciel, Jun 2015, Bordeaux, France. 2015
cea-01834980v1  Directions of work or proceedings
Jasmin Christian BlanchetteNikolai Kosmatov. Tests and Proofs
Jasmin Christian Blanchette; Nikolai Kosmatov. Tests and Proofs, Jul 2015, L’Aquila, Italy. 9154, Springer Verlag, 2015, 9783319212142. ⟨10.1007/978-3-319-21215-9⟩
hal-01194558v1  Directions of work or proceedings
Sandrine BlazyThomas Jensen. Static Analysis Symposium - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015. Proceedings
Sandrine Blazy; Thomas Jensen. Static Analysis Symposium - 22nd International Symposium, SAS 2015, Aug 2015, Saint-Malo, France. Lecture Notes in Computer Science (LNCS) (9291), Springer, pp.335, 2015, 978-3-662-48287-2
hal-01513496v1  Directions of work or proceedings
Lélia BlinFrédéric Giroire. 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications
17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France. 2015
hal-01219855v1  Directions of work or proceedings
Jean-Daniel BoissonnatAlbert CohenOlivier GibaruChristian GoutTom Lyche et al.  Curves and Surfaces, 8th International Conference Paris, France, June 12-18, 2014
Curves and Surfaces 2014, Jun 2014, Paris, France. 9213, Springer, 2015, Lecture Notes in Computer Science
hal-01534166v1  Directions of work or proceedings
Yann Busnel. 14th IEEE International Symposium on Network Computing and Applications (NCA 2015)
Yann Busnel. International Symposium on Network Computing and Applications (NCA), Sep 2015, Boston, United States. IEEE, 2015, 2015 IEEE 14th International Symposium on Network Computing and Applications
hal-01534171v1  Directions of work or proceedings
Yann BusnelIlir Gashi. EDCC 2015 - Fast Abstracts & Student Forum Proceedings
Yann Busnel, Ilir Gashi. The Tenth European Dependable Computing Conference, Sep 2015, Paris, France. 2015
hal-01244233v1  Directions of work or proceedings
Oscar CamaraTommaso MansiMihaela PopKawal RhodeMaxime Sermesant et al.  Statistical Atlases and Computational Models of the Heart - Imaging and Modelling Challenges
Oscar Camara; Tommaso Mansi; Mihaela Pop; Kawal Rhode; Maxime Sermesant; Alistair Young Statistical Atlases and Computational Models of the Heart, Sep 2014, Boston, United States. 8896, Springer, pp.296, 2015, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-14678-2⟩
hal-01758192v1  Directions of work or proceedings
Anne CarlierMichèle GoyensBéatrice Lamiroy. Le français en diachronie: nouveaux objets et méthodes
Anne Carlier (éd.); Michèle Goyens (éd.); Béatrice Lamiroy (éd.). France. Peter Lang, pp.464, 2015
...
medihal-01100828v1  Photos
Guillaume Cerutti. Mesh Optimization
Computer graphics. France. 2015
hal-01241728v1  Directions of work or proceedings
Ludovic ChamoinPedro Diez. Verification and validation for and with reduced order modeling
France. 2, 2015, Special Issue of Advanced Modeling and Simulation in Engineering Sciences
hal-01169441v1  Directions of work or proceedings
Pierre ChevaillierAmal El Fallah-SeghrouchniDomitile LourdeauxPatrick Reignier. Systèmes d'Intelligence Ambiante et Systèmes Immersifs
France. 29 (1), Hermes Science Publication, pp.141, 2015, Revue d'Intelligence Artificielle
hal-01257238v1  Directions of work or proceedings
Albert Cohen. 28th International Conference on the Architecture of Computing Systems (ARCS)
Albert Cohen. Porto, Portugal. Springer, 2015, LNCS
hal-01257234v1  Directions of work or proceedings
Albert CohenDavid Grove. Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)
Albert Cohen and David Grove. Burlingame, California, United States. ACM, 2015, 978-1-4503-3205-7