Skip to Main content Skip to Navigation

hal-01074177v1  Reports
Bi LiFatima Zahra MoatazNicolas NisseKarol Suchan. Size-Constrained Tree Decompositions
[Research Report] INRIA Sophia-Antipolis. 2014
hal-01076953v1  Reports
Martin BauerMartins BruverisPhilipp HarmsBoris KhesinStephen Marsland et al.  Math in the Cabin - Shape Analysis Workshop in Bad Gastein
[Research Report] Brunel University London; University of Vienna. 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-01084230v1  Reports
Fedor V. FominPierre FraigniaudNicolas NisseDimitrios M. Thilikos. Report on GRASTA 2014
[Research Report] AlGCo project team, CNRS, LIRMM, Montpellier, France. 2014
hal-01088664v1  Reports
Jørgen Bang-JensenFrédéric HavetAnders Yeo. The complexity of finding arc-disjoint branching flows
[Research Report] RR-8640, INRIA Sophia Antipolis; INRIA. 2014
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-01082274v1  Reports
Julien DeantoniCharles AndréRégis Gascon. CCSL denotational semantics
[Research Report] RR-8628, Inria. 2014, pp.29
hal-01093589v2  Reports
José Grimm. Fibonacci numbers and the Stern-Brocot tree in Coq
[Research Report] RR-8654, Inria Sophia Antipolis; INRIA. 2014, pp.76
hal-01096313v1  Reports
Fuqi SongOlivier Corby. Heuristics-based SPARQL Query Planning
[Research Report] RR-8655, Inria Sophia Antipolis; I3S; INRIA. 2014, pp.17
hal-01088423v2  Reports
David CoudertGuillaume DucoffeNicolas Nisse. Diameter of Minimal Separators in Graphs
[Research Report] RR-8639, Inria Sophia Antipolis; I3S; INRIA. 2014, pp.16