Skip to Main content Skip to Navigation

hal-00934408v1  Reports
Julien CretinDidier Rémy. System F with Coercion Constraints
[Research Report] RR-8456, INRIA. 2014, pp.36
hal-01130630v1  Reports
Benoit LangeToan Nguyen. A Hadoop distribution for engineering simulation
[Research Report] INRIA Grenoble - Rhône-Alpes. 2014
hal-01078117v1  Reports
Fabio SolariManuela ChessaKartheek MedathatiPierre Kornprobst. What can we expect from a classical V1-MT feedforward architecture for optical flow estimation?
[Research Report] RR-8618, INRIA Sophia Antipolis; University of Genoa - DIBRIS, Italy; INRIA. 2014, pp.22
hal-01102231v1  Reports
Karthikeyan BhargavanCédric FournetMarkulf KohlweissAlfredo PirontiPierre-Yves Strub et al.  Proving the TLS Handshake Secure (as it is)
[Research Report] 2014/182, Cryptology ePrint Archive. 2014, pp.48
hal-01088698v1  Reports
Julio AraujoFrédéric HavetMathieu Schmitt. Steinberg-like theorems for backbone colouring
[Research Report] RR-8641, INRIA Sophia Antipolis; INRIA. 2014
hal-01096313v1  Reports
Fuqi SongOlivier Corby. Heuristics-based SPARQL Query Planning
[Research Report] RR-8655, Inria Sophia Antipolis; I3S; INRIA. 2014, pp.17
hal-01084230v1  Reports
Fedor V. FominPierre FraigniaudNicolas NisseDimitrios M. Thilikos. Report on GRASTA 2014
[Research Report] AlGCo project team, CNRS, LIRMM, Montpellier, France. 2014