Skip to Main content Skip to Navigation


...
hal-00737920v1  Journal articles
Romain Vuillemot. Création et évaluation d'interfaces visuelles interactives à partir de services web
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2012, Extraction de connaissances et visualisation de grands réseaux, 26 (4/2012), pp.429-453. ⟨10.3166/ria.26.429-453⟩
...
hal-01217564v1  Journal articles
Anh Tuan GiangAnthony BussonAlain LambertDominique Gruyer. Capacity of IEEE 802.11p based VANET: models, simulations and experimentations
IEEE Transactions on Vehicular Technology, Institute of Electrical and Electronics Engineers, 2015, 15p. ⟨10.1109/TVT.2015.2474156⟩
...
hal-00922261v1  Conference papers
Anh Tuan GiangAnthony BussonAlain LambertDominique Gruyer. Topology Control in VANET and Capacity Estimation
2013 IEEE Vehicular Networking Conference (VNC), Dec 2013, BOSTON, United States. ⟨10.1109/vnc.2013.6737600⟩
...
hal-02933477v1  Conference papers
Adélaïde GenayAnatole LécuyerMartin Hachet. Incarner un Avatar en Réalité Augmentée : Revue de la Littérature
WACAI 2020 - Workshop sur les Affects, Compagnons artificiels et Interactions, CNRS, Université Toulouse Jean Jaurès, Université de Bordeaux, Jun 2020, Saint Pierre d'Oléron, France
hal-01429540v1  Journal articles
Douglas S. GonçalvesAntonio MucherinoCarlile LavorLeo Liberti. Recent Advances on the Interval Distance Geometry
Journal of Global Optimization, Springer Verlag, 2017, 69 (3), pp.525-545
...
hal-02105295v1  Journal articles
Douglas GonçalvesAntonio MucherinoCarlile LavorLeo Liberti. Recent advances on the interval distance geometry problem
Journal of Global Optimization, Springer Verlag, 2017, 69 (3), pp.525-545. ⟨10.1007/s10898-016-0493-6⟩
...
hal-02946930v2  Reports
Guillaume AmbalAlan SchmittSergueï Lenglet. Automatic Transformation of a Big-Step Skeletal Semantics into Small-Step
[Research Report] RR-9363, Inria Rennes - Bretagne Atlantique. 2020
...
hal-01242268v1  Journal articles
Sébastien GambsMarc-Olivier KillijianMiguel Nuñez del Prado Cortez. De-anonymization attack on geolocated data
Journal of Computer and System Sciences, Elsevier, 2014, 80 (8), pp.1597-1614. ⟨10.1016/j.jcss.2014.04.024⟩
...
hal-01091189v2  Journal articles
Pierre Roux. Formal Proofs of Rounding Error Bounds
Journal of Automated Reasoning, Springer Verlag, 2015, pp.23. ⟨10.1007/s10817-015-9339-z⟩
...
hal-02536463v2  Journal articles
Guillaume AmbalSergueï LengletAlan Schmitt. HOπ in Coq
Journal of Automated Reasoning, Springer Verlag, 2020, ⟨10.1007/s10817-020-09553-0⟩
...
hal-01493442v1  Journal articles
Cérès CartonAurélie LemaitreBertrand Coüasnon. Eyes Wide Open: an interactive learning method for the design of rule-based systems
International Journal on Document Analysis and Recognition, Springer Verlag, 2017, 20 (2), pp.91-103. ⟨10.1007/s10032-017-0282-x⟩
inria-00543100v1  Journal articles
Yehuda AfekEli GafniSergio RajsbaumMichel RaynalCorentin Travers. The k-simultaneous consensus problem
Distributed Computing, Springer Verlag, 2010, 22 (3), pp.185-196. ⟨10.1007/s00446-009-0090-8⟩
...
hal-01851306v1  Journal articles
Tanja BlascheckLonni BesançonAnastasia BezerianosBongshin LeePetra Isenberg. Glanceable Visualization: Studies of Data Comparison Performance on Smartwatches
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2019, 25 (1), pp.616--629. ⟨10.1109/TVCG.2018.2865142⟩
...
hal-00717503v2  Journal articles
Luana MicallefPierre DragicevicJean-Daniel Fekete. Assessing the Effect of Visualizations on Bayesian Reasoning Through Crowdsourcing
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2012, 18 (12), pp.2536 - 2545. ⟨10.1109/TVCG.2012.199⟩
...
hal-01205821v1  Journal articles
Benjamin BachConglei ShiNicolas HeulotTara MadhyasthaTom Grabowski et al.  Time Curves: Folding Time to Visualize Patterns of Temporal Evolution in Data
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2016, 22 (1), ⟨10.1109/TVCG.2015.2467851⟩
...
hal-01188973v1  Journal articles
Jeremy BoyLouis EveillardFrançoise DetienneJean-Daniel Fekete. Suggested Interactivity: Seeking Perceived Affordances for Information Visualization
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2016, 22 (1), pp.639-648. ⟨10.1109/TVCG.2015.2467201⟩