Skip to Main content Skip to Navigation


...
hal-01675570v2  Reports
Guangshuo ChenAline Carneiro VianaMarco FioreCarlos Sarraute. Individual Trajectory Reconstruction from Mobile Network Data
[Technical Report] RT-0495, INRIA Saclay - Ile-de-France. 2018, pp.1-23
...
hal-01907894v1  Reports
Martin ClochardAndrei PaskevichClaude Marché. Deductive Verification via Ghost Debugging
[Research Report] RR-9219, Inria Saclay Ile de France. 2018
...
hal-01870560v1  Reports
Enhui HuangLiping PengLuciano Di PalmaAhmed AbdelkafiAnna Liu et al.  Optimization for Active Learning-based Interactive Database Exploration
[Technical Report] Ecole Polytechnique; University of Massachusetts Amherst. 2018
...
hal-01870148v1  Reports
Lutz Straßburger. On the Decision Problem for MELL
[Research Report] 9203, Inria Saclay Ile de France. 2018
...
hal-01325900v6  Reports
Šejla ČebirićFrançois GoasdouéPawel GuzewiczIoana Manolescu. Compact Summaries of Rich Heterogeneous Graphs
[Research Report] RR-8920, INRIA Saclay; Université Rennes 1. 2018, pp.1-40
...
hal-01725835v1  Reports
Benoît BarbotBéatrice BérardYann DuplouySerge Haddad. Integrating Simulink Models into the Model Checker Cosmos
[Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); LIP6, Sorbonne Université, CNRS, UMR 7606; LACL, Université Paris-Est. 2018
...
hal-01675573v2  Reports
Guangshuo Chen. Spatiotemporal Individual Mobile Data Traffic Prediction
[Technical Report] RT-0497, INRIA Saclay - Ile-de-France. 2018
hal-01678845v1  Reports
Gilles DowekCatherine DuboisBrigitte PientkaFlorian Rabe. Universality of proofs
[Research Report] Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise; Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (Institut Mines-Télécom-Télécom SudParis-CNRS); INRIA Saclay - Ile de France (INRIA); Jacobs University [Bremen]; École normale supérieure - Cachan; McGill University / Université McGill. 2017, pp.24
...
hal-01644750v1  Reports
Lutz StraßburgerRoman Kuznets. Maehara-style Modal Nested Calculi
[Research Report] RR-9123, Inria Saclay. 2017
...
hal-01612924v1  Reports
Mael Rouxel-LabbéMathijs WintraeckenJean-Daniel Boissonnat. Discretized Riemannian Delaunay Triangulations
[Research Report] RR-9103, INRIA Sophia Antipolis - Méditerranée. 2017, pp.51
...
hal-01577431v1  Reports
Šejla ČebirićFrançois GoasdouéIoana Manolescu. A Framework for Efficient Representative Summarization of RDF Graphs
[Research Report] RR-9090, Inria Saclay Ile de France; Ecole Polytechnique,; Université de Rennes 1 [UR1]. 2017, pp.11
...
hal-01568030v1  Reports
Olivier DevillersMarc Glisse. Delaunay triangulation of a random sample of a good sample has linear size
[Research Report] RR-9082, Inria Saclay Ile de France; Inria Nancy - Grand Est. 2017, pp.6
...
hal-01511183v1  Reports
Clément FumexClaude MarchéYannick Moy. Automated Verification of Floating-Point Computations in Ada Programs
[Research Report] RR-9060, Inria Saclay Ile de France. 2017, pp.53
...
hal-01498468v1  Reports
Lutz Straßburger. Combinatorial Flows and Proof Compression
[Research Report] RR-9048, Inria Saclay. 2017
...
hal-01496700v1  Reports
Tien Duc CaoIoana ManolescuXavier Tannier. Extracting Linked Data from statistic spreadsheets
[Research Report] Inria Saclay Ile de France. 2017
...
hal-01393361v2  Reports
Guangshuo ChenSahar HoteitAline Carneiro VianaMarco FioreCarlos Sarraute. Spatio-Temporal Predictability of Cellular Data Traffic
[Research Report] RT-0483, INRIA Saclay - Ile-de-France. 2017, pp.17
...
hal-01421021v1  Reports
Pierre AlliezChristophe DelageMenelaos KaravelasSylvain PionMonique Teillaud et al.  Delaunay Tessellations and Voronoi Diagrams in CGAL
[Research Report] INRIA Sophia Antipolis - Méditerranée; University of Crete. 2010
hal-01126094v1  Reports
Pierre CubaudAlexandre TopolEmmanuel Pietriga. ALMA Graphical User Interfaces
[Research Report] CEDRIC-10-2442, CEDRIC Lab/CNAM. 2010
...
hal-00841374v2  Reports
Marc GlisseSylvain LazardJulien MichelMarc Pouget. Silhouette of a random polytope
[Research Report] RR-8327, INRIA. 2013, pp.13
...
hal-00879133v1  Reports
Jean-Daniel BoissonnatRamsay DyerArijit Ghosh. Delaunay triangulation of manifolds
[Research Report] RR-8389, INRIA. 2013, pp.28
...
hal-00806107v2  Reports
Jean-Daniel BoissonnatRamsay DyerArijit Ghosh. Delaunay stability via perturbations
[Research Report] RR-8275, INRIA. 2013, pp.26