Skip to Main content Skip to Navigation
  1. Search


...
inria-00445212v2  Journal articles
Simon Kramer, Catuscia Palamidessi, Roberto Segala, Andrea Turrini, Christelle Braun. A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding
Journal of Applied Non-Classical Logics, Taylor & Francis, 2009, 19 (4), pp.489-516. ⟨10.3166/jancl.19.489-516⟩
...
inria-00407778v1  Reports
Georges Gonthier, Roux Stéphane Le. An Ssreflect Tutorial
[Technical Report] RT-0367, INRIA. 2009, pp.33
...
tel-01950884v2  Theses
Nadim Kobeissi. Formal Verification for Real-World Cryptographic Protocols and Implementations
Computer Science [cs]. INRIA Paris; Ecole Normale Supérieure de Paris - ENS Paris, 2018. English
...
inria-00357655v1  Reports
Massimo Vecchio, Aline Carneiro Viana, Artur Ziviani, Roy Friedman. Proactive Data Dissemination in Wireless Sensor Networks with Uncontrolled Sink Mobility
[Research Report] RR-6820, INRIA. 2009, pp.20
...
inria-00442048v1  Reports
Samuel Kadoury, Nikolaos Paragios. Inferring Preoperative Reconstructed Spine Models to Volumetric CT Data through High-Order MRFs
[Technical Report] RT-0374, INRIA. 2009
hal-01837891v1  Directions of work or proceedings
Martin Leucker, Jorge Pérez, Camilo Rueda, Frank D. Valencia. Special Issue: Best Papers Presented at ICTAC 2015
Cambridge University Press, 2018, Mathematical Structures in Computer Science
...
inria-00442131v1  Reports
Abdulhalim Dandoush, Alain Jean-Marie. Download Process in Distributed Systems, Flow-level vs. Packet-level Simulation Analysis
[Research Report] RR-7159, INRIA. 2009, pp.22
...
inria-00576472v1  Reports
C. Mouton. Configuration File Parser Library
[Technical Report] 2009, pp.12
...
inria-00395336v1  Reports
Waldo Gonzalo Cancino Ticona, Laetitia Jourdan, El-Ghazali Talbi. A multi-objective evolutionary approach to phylogenetic inference problems: Initial experiences porting PhyloMOEA to ParadisEO framework
[Technical Report] RT-0366, INRIA. 2009
...
inria-00576469v1  Reports
C. Mouton. Linear Algebra Libraries
[Technical Report] 2009, pp.35
...
tel-00633206v1  Theses
Jean-Marc Peyrat. Comparison of Cardiac Anatomy and Function: Statistics on Fibre Architecture from DT-MRI and Registration of 4D CT Images
Computer Science [cs]. Université Nice Sophia Antipolis, 2009. English
...
tel-00633697v1  Theses
Ender Konukoglu. Modeling Glioma Growth and Personalizing Growth Models in Medical Images
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2009. English. ⟨NNT : 2009NICE4000⟩
hal-01724375v1  Journal articles
Imen Ben Othmane, Joseph Di Martino, Kais Ouni. Enhancement of esophageal speech using statistical and neuromimetic voice conversion techniques
Journal of International Science and General Applications, ISGA, 2018, 1 (1), pp.10
...
hal-01964682v1  Journal articles
Katharina Huber, Vincent Moulton, Marie-France Sagot, Blerina Sinaimeri. Exploring and Visualising Spaces of Tree Reconciliations
Systematic Biology, Oxford University Press (OUP), 2018, pp.1-36. ⟨10.1093/sysbio/syy075⟩
hal-01992078v1  Journal articles
Alhussein Fawzi, Omar Fawzi, Pascal Frossard. Analysis of classifiers’ robustness to adversarial perturbations
Machine Learning, Springer Verlag, 2018, 107 (3), pp.481-508
...
hal-01817505v1  Journal articles
Adam Gaier, Alexander Asteroth, Jean-Baptiste Mouret. Data-Efficient Design Exploration through Surrogate-Assisted Illumination
Evolutionary Computation, Massachusetts Institute of Technology Press (MIT Press), 2018, 26 (3), pp.381-410. ⟨10.1162/evcoa_00231⟩
...
hal-01631397v1  Journal articles
Slim Ouni, Guillaume Gris. Dynamic Lip Animation from a Limited number of Control Points: Towards an Effective Audiovisual Spoken Communication
Speech Communication, Elsevier : North-Holland, 2018, 96, pp.49-57. ⟨10.1016/j.specom.2017.11.006⟩
hal-01949207v1  Journal articles
Niki Vazou, Éric Tanter, David van Horn. Gradual liquid type inference
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (OOPSLA), pp.1-25. ⟨10.1145/3276502⟩
...
hal-01672734v1  Journal articles
Danel Ahman. Handling Fibred Algebraic Effects
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (POPL), pp.1-29. ⟨10.1145/3158095⟩
hal-01949209v1  Journal articles
Max New, Amal Ahmed. Graduality from embedding-projection pairs
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1-30. ⟨10.1145/3236768⟩
hal-01890511v1  Journal articles
Jan-Oliver Kaiser, Beta Ziliani, Robbert Krebbers, Yann Régis-Gianas, Derek Dreyer. Mtac2: typed tactics for backward reasoning in Coq
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1 - 31. ⟨10.1145/3236773⟩
...
hal-01672735v1  Journal articles
William J. Bowman, Youyou Cong, Nick Rioux, Amal Ahmed. Type‐Preserving CPS Translation of Σ and Π Types is Not Not Possible
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (POPL), pp.1-33. ⟨10.1145/3158110⟩
...
lirmm-02062622v1  Journal articles
Deepesh Kumar, Alejandro González, Abhijit Das, Anirban Dutta, Philippe Fraisse et al.  Virtual Reality-Based Center of Mass-Assisted Personalized Balance Training System
Frontiers in Bioengineering and Biotechnology, Frontiers, 2018, 5, pp.#85. ⟨10.3389/fbioe.2017.00085⟩