Skip to Main content Skip to Navigation

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-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-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⟩
hal-01246370v1  Journal articles
Eric MarchandHideaki UchiyamaFabien Spindler. Pose Estimation for Augmented Reality: A Hands-On Survey
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2016, 22 (12), pp.2633 - 2651. ⟨10.1109/TVCG.2015.2513408⟩
hal-01391065v1  Journal articles
Pierre BuyssensOlivier Le MeurMaxime DaisyDavid TschumperléOlivier Lézoray. Depth-guided disocclusion inpainting of synthesized RGB-D images
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2017, 26 (2), pp.525-538. ⟨10.1109/TIP.2016.2619263⟩
hal-02378053v1  Journal articles
David GommeletJulien Le TanouAline RoumyMichael RopertChristine Guillemot. Optical-Flow Based Nonlinear Weighted Prediction for SDR and Backward Compatible HDR Video Coding
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, In press, pp.1-16. ⟨10.1109/TIP.2019.2945685⟩
hal-01388959v1  Journal articles
Elif VuralChristine Guillemot. Out-of-sample generalizations for supervised manifold learning for classification
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2016, 25 (3), pp.15. ⟨10.1109/tip.2016.2520368⟩
hal-02155040v1  Journal articles
Jinglei ShiXiaoran JiangChristine Guillemot. A framework for learning depth from a flexible subset of dense and sparse light field views
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2019, pp.5867-5880. ⟨10.1109/TIP.2019.2923323⟩
hal-01388955v1  Journal articles
Julio Cesar FerreiraElif VuralChristine Guillemot. Geometry-Aware Neighborhood Search for Learning Local Models for Image Superresolution
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2016, 25 (3), pp.14. ⟨10.1109/tip.2016.2522303⟩
hal-02130555v1  Journal articles
Mikaël Le PenduChristine GuillemotAljosa Smolic. A Fourier Disparity Layer representation for Light Fields
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, In press, pp.5740 - 5753. ⟨10.1109/TIP.2019.2922099⟩
hal-01591517v1  Journal articles
Reuben FarrugiaChristine Guillemot. Face Hallucination Using Linear Models of Coupled Sparse Support
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2017, 26 (9), pp.4562-4577. ⟨10.1109/TIP.2017.2717181⟩
hal-01388961v1  Journal articles
Mikaël Le PenduChristine GuillemotDominique Thoreau. Inter-Layer Prediction of Color in High Dynamic Range Image Scalable Compression
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2016, 25, pp.3585 - 3596. ⟨10.1109/TIP.2016.2571559⟩
hal-01663508v1  Journal articles
Eduardo CanalePablo RomeroGerardo Rubino. Factorization and Exact Evaluation of the Source-Terminal Diameter-Constrained Reliability
Networks, Wiley, 2017, Special Issue on Design of Resilient Communication Networks, 70 (4), pp.283-291. ⟨10.1002/net.21780⟩
hal-02012672v1  Journal articles
George GiakkoupisPhilipp Woelfel. Efficient Randomized Test-And-Set Implementations
Distributed Computing, Springer Verlag, In press, pp.565-586. ⟨10.1007/s00446-019-00349-z⟩
hal-02121567v2  Conference papers
Ronan GaugneValérie Gouranton. 3D pour l’archéologie : quelles interactions, pour quoi faire ?
2019 - Archéologie : imagerie numérique et 3D, Sylvie Eusèbe; Théophane Nicolas; Valérie Gouranton; Ronan Gaugne, Jun 2018, Rennes, France. ⟨10.34692/xvyt-hr49⟩
hal-02502648v1  Conference papers
Romain TerrierValérie GourantonCédric BachNico PallaminBruno Arnaldi. Scenario-based VR Framework for Product Design
VISIGRAPP 2020 - 15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, Feb 2020, Valletta, Malta. pp.1-8
hal-02126782v2  Conference papers
Cassio DantasJérémy CohenRémi Gribonval. Learning Tensor-structured Dictionaries with Application to Hyperspectral Image Denoising
EUSIPCO 2019 - 27th European Signal Processing Conference, Sep 2019, A Coruña, Spain. pp.1-5, ⟨10.23919/EUSIPCO.2019.8902593⟩
hal-02175630v1  Conference papers
Cassio DantasJérémy CohenRémi Gribonval. Hyperspectral Image Denoising using Dictionary Learning
WHISPERS 2019 - 10th Workshop on Hyperspectral Image and Signal Processing: Evolution in Remote Sensing, Sep 2019, Amsterdam, Netherlands. pp.1-5, ⟨10.1109/WHISPERS.2019.8921110⟩
hal-03197198v1  Journal articles
Wouter van TollJulien Pettré. Algorithms for Microscopic Crowd Simulation: Advancements in the 2010s
Computer Graphics Forum, Wiley, In press, Eurographics 2021, 40 (2)
hal-03195692v1  Conference papers
George GiakkoupisMehrdad Jafari GivPhilipp Woelfel. Efficient Randomized DCAS
STOC 2021 - 53rd Annual ACM SIGACT Symposium on Theory of Computing, Jun 2021, Rome (Virtual), Italy. pp.1-64
hal-02164770v1  Book sections
Jean-Baptiste BarreauEmmanuel LanoëRonan Gaugne. 3D Sketching of the Fortified Entrance of the Citadel of Aleppo from a Few Sightseeing Photos
Horst Kremers. Digital Cultural Heritage, Springer International Publishing, pp.359-371, 2020, 978-3-030-15200-0. ⟨10.1007/978-3-030-15200-0_24⟩
hal-03038560v1  Conference papers
Sébastien CanardAdela GeorgescuGuillaume KaimAdeline Roux-LangloisJacques Traoré. Constant-Size Lattice-Based Group Signature with Forward Security in the Standard Model
ProvSec 2020 - the 14th International Conference on Provable and Practical Security, Nov 2020, Singapore / Virtual, Singapore. pp.24-44, ⟨10.1007/978-3-030-62576-4_2⟩
hal-02944908v1  Conference papers
Patrick DerbezPaul HuynhVirginie LallemandMaría Naya-PlasenciaLéo Perrin et al.  Cryptanalysis Results on Spook: Bringing Full-round Shadow-512 to the Light
CRYPTO 2020 - 40th Annual International Cryptology Conference, Aug 2020, Santa Barbara / Virtual, United States. pp.359--388, ⟨10.1007/978-3-030-56877-1_13⟩
hal-03149211v1  Conference papers
Lamine NoureddineAnnelie HeuserCassius PuodziusOlivier Zendra. SE-PAC: A Self-Evolving PAcker Classifier against rapid packers evolution
CODASPY '21 - 11th ACM Conference on Data and Application Security and Privacy, Apr 2021, Virtual Event, United States. pp.1-12, ⟨10.1145/3422337.3447848⟩
hal-03198346v1  Conference papers
Hoang van TranTristan AllardLaurent d'OrazioAmr El Abbadi. FRESQUE: A Scalable Ingestion Framework for Secure Range Query Processing on Clouds
EDBT 2021 - 24th International Conference on Extending Database Technology, Mar 2021, Nicosia, Cyprus. ⟨10.5441/002/edbt.2021.19⟩
hal-01888300v2  Journal articles
Yves MocquardBruno SericolaEmmanuelle Anceaume. Probabilistic Analysis of Rumor Spreading Time
INFORMS Journal on Computing, Institute for Operations Research and the Management Sciences (INFORMS), 2020, 32 (1), ⟨10.1287/ijoc.2018.0845⟩
hal-03024408v1  Conference papers
Antoine DurandGuillaume HébertKhalifa ToumiGérard MemmiEmmanuelle Anceaume. The StakeCube blockchain : Instantiation, Evaluation & Applications
BCCA 2020 - International Conference on Blockchain Computing and Applications, Nov 2020, Virtual, Turkey. pp.1-8
hal-02896342v2  Journal articles
Joris DuguépérouxTristan Allard. From Task Tuning to Task Assignment in Privacy-Preserving Crowdsourcing Platforms
Transactions on Large-Scale Data- and Knowledge-Centered Systems, Springer Berlin / Heidelberg, 2020, pp.67-107. ⟨10.1007/978-3-662-62271-1_3⟩
hal-03038124v1  Conference papers
Olivier BernardAdeline Roux-Langlois. Twisted-PHS: Using the Product Formula to Solve Approx-SVP in Ideal Lattices
Asiacrypt 2020 - 26th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2020, Virtual, France
hal-03058482v1  Conference papers
Daniel de Almeida BragaPierre-Alain FouqueMohamed Sabt. Dragonblood is Still Leaking: Practical Cache-based Side-Channel in the Wild
ACSAC 2020 - Annual Computer Security Applications Conference, Dec 2020, Austin / Virtual, United States. pp.291-303, ⟨10.1145/3427228.3427295⟩
hal-02473843v1  Conference papers
Giuseppe Di LunaEmmanuelle AnceaumeSilvia BonomiLeonardo Querzoni. Synchronous Byzantine Lattice Agreement in O(log(f )) Rounds
ICDCS 2020 - 40th IEEE International Conference on Distributed Computing Systems, IEEE, Nov 2020, Singapore, Singapore. pp.1-11
hal-03043681v1  Conference papers
Geoffrey SaunoisFrédérique RobinEmmanuelle AnceaumeBruno Sericola. Permissionless Consensus based on Proof-of-Eligibility
NCA 2020 - 19th IEEE International Symposium on Network Computing and Applications, Nov 2020, Boston (virtual venue), United States
hal-03199313v1  Conference papers
Deise Santana MaiaMinh-Tan PhamSébastien Lefèvre. Watershed-based attribute profiles for pixel classification of remote sensing data
DGMM 2021 - IAPR International Conference on Discrete Geometry and Mathematical Morphology, May 2021, Uppsala / Virtual, Sweden
hal-02566587v1  Conference papers
Anne KiefferPatrick MailléBruno Tuffin. Non Neutrality With Users Deciding Differentiation: A Satisfying Option?
IEEE/ACM International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS) Workshop, Nov 2020, Nice, France
hal-02542689v1  Conference papers
Ximun CastoreoPatrick MailléBruno Tuffin. Weaknesses and Challenges of Network Neutrality Measurement Tools
16th International Conference on Network and Service Management (CNSM), Nov 2020, Bordeaux, France
hal-01938939v1  Conference papers
Patrick MailléBruno Tuffin. A Network Reliability Game
17th International Conference on the Economics of Grids, Clouds, Systems, and Services (GECON),, Sep 2020, Izola, Slovenia
hal-01578990v1  Conference papers
Tristan AllardTassadit BouadiJoris DuguépérouxVirginie Sans. From Self-Data to Self-Preferences: Towards Preference Elicitation in Personal Information Management Systems
International Workshop on Personal Analytics and Privacy (In conjunction with ECML PKDD 2017) , Sep 2017, Skopje, Macedonia