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-02159287v1  Journal articles
Claire Marant MicallefKevin D. ShieldJérôme VignatIsabelle BaldiBarbara Charbotel et al.  Cancers in France in 2015 attributable to occupational exposures
International Journal of Hygiene and Environmental Health, Elsevier, 2019, 222 (1), pp.22-29. ⟨10.1016/j.ijheh.2018.07.015⟩
...
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⟩
...
inria-00118903v1  Journal articles
Julien Narboux. A Graphical User Interface for Formal Proofs in Geometry.
Journal of Automated Reasoning, Springer Verlag, 2007, Special Issue on User Interfaces in Theorem Proving, 39 (2), pp.161-180. ⟨10.1007/s10817-007-9071-4⟩
...
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⟩
...
hal-01377901v1  Journal articles
Wesley WillettYvonne JansenPierre Dragicevic. Embedded Data Representations
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2017, pp.461 - 470. ⟨10.1109/TVCG.2016.2598608⟩
...
hal-00932606v1  Journal articles
Heidi LamEnrico BertiniPetra IsenbergCatherine PlaisantSheelagh Carpendale. Empirical Studies in Information Visualization: Seven Scenarios
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2012, 18 (9), pp.1520--1536. ⟨10.1109/TVCG.2011.279⟩
...
hal-00702012v1  Journal articles
Nathalie HenryAnastasia BezerianosJean-Daniel Fekete. Improving the Readability of Clustered Social Networks using Node Duplication
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2008, 14 (6), pp.1317-1324. ⟨10.1109/TVCG.2008.141⟩
...
hal-00717203v1  Journal articles
Bongshin LeePetra IsenbergNathalie Henry RicheSheelagh Carpendale. Beyond Mouse and Keyboard: Expanding Design Considerations for Information Visualization Interactions
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2012, Proceedings Scientific Visualization / Information Visualization, 18 (12), pp.2689--2698. ⟨10.1109/TVCG.2012.204⟩
...
hal-00722505v1  Journal articles
Luís LeitãoPável CaladoMelanie Herschel. Efficient and Effective Duplicate Detection in Hierarchical Data
IEEE Transactions on Knowledge and Data Engineering, Institute of Electrical and Electronics Engineers, 2012, 99 (PrePrints), ⟨10.1109/TKDE.2012.60⟩
...
hal-01369906v1  Journal articles
Emmanuel MaggioriYuliya TarabalkaGuillaume CharpiatPierre Alliez. Convolutional Neural Networks for Large-Scale Remote Sensing Image Classification
IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2017, 55, pp.645-657. ⟨10.1109/tgrs.2016.2612821⟩
...
hal-01660764v1  Journal articles
Emmanuel MaggioriGuillaume CharpiatYuliya TarabalkaPierre Alliez. Recurrent Neural Networks to Correct Satellite Image Classification Maps
IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2017, 55 (9), pp.4962-4971. ⟨10.1109/TGRS.2017.2697453⟩
...
inria-00115471v1  Journal articles
Stéphane GrumbachLeonardo Tininini. On the content of materialized aggregate views
Journal of Computer and System Sciences, Elsevier, 2003, 66 (1), pp.133-168
...
inria-00177320v1  Journal articles
Zena AriolaHugo Herbelin. Control Reduction Theories: the Benefit of Structural Substitution
Journal of Functional Programming, Cambridge University Press (CUP), 2007
hal-01254663v1  Journal articles
Mathieu ColinLaurent Di MenzaJean-Claude Saut. Solitons in quadratic media
Nonlinearity, IOP Publishing, 2016, 29 (3), pp.1000-1035