Skip to Main content Skip to Navigation

hal-03293643v1  Conference papers
Shrey MishraLucas PluvinagePierre Senellart. Towards Extraction of Theorems and Proofs in Scholarly Articles
DocEng '21 - 21st ACM Symposium on Document Engineering, Aug 2021, Limerick, Ireland
hal-03275286v1  Conference papers
Zakaria OurnaniMohammed Chakib BelgaidRomain RouvoyPierre RustJoel Penhoat. Evaluating the Impact of Java Virtual Machines on Energy Consumption
15th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), Oct 2021, Bari, Italy
hal-03269174v1  Conference papers
Antonin DureyPierre LaperdrixWalter RudametkinRomain Rouvoy. FP-Redemption: Studying Browser Fingerprinting Adoption for the Sake of Web Security
International Conference on the Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA), Jul 2021, Lisboa, Portugal
hal-03269168v1  Conference papers
Édouard GuégainClément QuintonRomain Rouvoy. On Reducing the Energy Consumption of Software Product Lines
Systems and Software Product Line Conference (SPLC), Sep 2021, Leicester, United Kingdom
hal-03269129v1  Conference papers
Zakaria OurnaniRomain RouvoyPierre RustJoel Penhoat. Comparing the Energy Consumption of Java I/O Libraries and Methods
37th International Conference on Software Maintenance and Evolution (ICSME), Sep 2021, Luxembourg, Luxembourg
hal-03256621v2  Conference papers
Camille-Sovanneary GauthierRomaric GaudelElisa FromontBoammani Lompo. Parametric Graph for Unimodal Ranking Bandit
International Conference on Machine Learning (ICML), Jul 2021, Virtual, Canada
hal-03236458v1  Conference papers
Camille-Sovanneary GauthierRomaric GaudelElisa FromontAser Lompo. Ordonnancement d'objets par bandits unimodaux sur des graphes paramétriques
CAp 2021 - Conférence sur l'Apprentissage automatique, Jun 2021, Saint-Etienne (en ligne), France. pp.1
hal-03236409v1  Conference papers
Heng ZhangElisa FromontSébastien LefevreBruno Avignon. Deep Active Learning from Multispectral Data Through Cross-Modality Prediction Inconsistency
ICIP 2021 - 28th IEEE International Conference on Image Processing, Sep 2021, Anchorage, United States. pp.1-5
hal-03231609v1  Conference papers
Lendy MulotGuillaume GicquelWilliam FrierMaud MarchalClaudio Pacchierotti et al.  Curvature Discrimination for Dynamic Ultrasound Mid-Air Haptic Stimuli
WHC 2021 - IEEE World Haptics Conference, Jul 2021, Montréal / Virtual, Canada. pp.1
hal-03173410v1  Conference papers
Guillaume FieniRomain RouvoyLionel Seinturier. SELFWATTS: On-the-fly Selection of Performance Events to Optimize Software-defined Power Meters
CCGRID 2021 - 21th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing, May 2021, Melbourne, Australia
hal-03111679v1  Conference papers
Florent CapelliJean-Marie LagniezPierre Marquis. Certifying Top-­Down Decision-­DNNF Compilers
AAAI 2021 - 35th Conference on Artificial Intelligence, Feb 2021, Virtual, France
hal-03163763v1  Conference papers
Camille-Sovanneary GauthierRomaric GaudelElisa Fromont. Bandit Algorithm for Both Unknown Best Position and Best Item Display on Web Pages
IDA 2021 - 19th International Symposium on Intelligent Data Analysis, Apr 2021, Porto (virtual), Portugal. pp.1-12
hal-03140067v1  Conference papers
Yann RamusatSilviu ManiuPierre Senellart. Provenance-Based Algorithms for Rich Queries over Graph Databases
EDBT 2021 - 24th International Conference on Extending Database Technology, Mar 2021, Nicosia / Virtual, Cyprus
hal-03137054v1  Journal articles
Alain FinkelSerge HaddadIgor Khmelnitsky. Commodification of accelerations for the Karp and Miller Construction.
Discrete Event Dynamic Systems, Springer Verlag, In press
hal-03103528v1  Conference papers
Ashish DandekarDebabrota BasuPierre SenellartStéphane Bressan. Confidentialité différentielle à risque : Relier les sources d’aléa et un budget de confidentialité
BDA 2020 - 36ème Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2020, Paris / Virtuel, France
hal-03103509v1  Conference papers
Yann RamusatSilviu ManiuPierre Senellart. Algorithmes à base de provenance pour des requêtes enrichies sur les bases de données graphes
BDA 2020 - 36ème Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2020, Paris / Virtuel, France
hal-03017222v1  Conference papers
Vikas MishraPierre LaperdrixWalter RudametkinRomain Rouvoy. Déjà vu: Abusing Browser Cache Headers to Identify and Track Online Users
PETS 2021 - The 21th International Symposium on Privacy Enhancing Technologies, Jul 2021, Virtual, France
hal-03052622v1  Conference papers
Tarek HamelMinh-Duc HuaClaude Samson. Deterministic observer design for vision-aided inertial navigation
CDC 2020 - 59th IEEE Conference on Decision and Control, Dec 2020, Jeju Island (virtual ), South Korea
hal-03040311v1  Conference papers
9th International Symposium Europe China Stem Cells and Regenerative Medicine, Oct 2019, Strasbourg, France
hal-03040165v1  Book sections
Simon ChatelinRaoul PopCéline GiraudeauKhalid AmbarkiNing Jin et al.  Magnetic Resonance Elastography and Portal Hypertension: Influence of the Portal Venous Flow on the Liver Stiffness
Stem Cells and Regenerative Medicine – the 9th International Europe-China Symposium, Strasbourg 2-4 Oct 2019, In press
hal-02935501v1  Conference papers
Edouard BonnetNicolas BousquetStéphan ThomasséRémi Watrigant. When Maximum Stable Set Can Be Solved in FPT Time
30th International Symposium on Algorithms and Computation (ISAAC 2019), Dec 2019, Shanghai, China. ⟨10.4230/LIPIcs.ISAAC.2019.49⟩
hal-02984946v1  Book sections
Jérôme EuzenatMarie-Christine Rousset. Semantic web
Pierre Marquis, Odile Papini, Henri Prade. A guided tour of artificial intelligence research, Springer, pp.181-207, 2020, 978-3-030-06169-2. ⟨10.1007/978-3-030-06170-8_6⟩
hal-02962224v1  Conference papers
Ewan DunbarJulien KaradayiMathieu BernardXuan-Nga CaoRobin Algayres et al.  The Zero Resource Speech Challenge 2020: Discovering discrete subword and word units
Interspeech 2020 - Conference of the International Speech Communication Association, Oct 2020, Shangai / Virtual, China
hal-02962195v1  Conference papers
Maha ElbayadLaurent BesacierJakob Verbeek. Efficient Wait-k Models for Simultaneous Machine Translation
Interspeech 2020 - Conference of the International Speech Communication Association, Oct 2020, Shangai (Virtual Conf), China. pp.1461--1465, ⟨10.21437/Interspeech.2020-1241⟩
hal-02935911v1  Journal articles
Maria ChudnovskyMarcin PilipczukMichał PilipczukStéphan Thomassé. On the Maximum Weight Independent Set Problem in Graphs without Induced Cycles of Length at Least Five
SIAM Journal on Discrete Mathematics, Society for Industrial and Applied Mathematics, 2020, 34 (2), pp.1472-1483. ⟨10.1137/19M1249473⟩
hal-02935899v1  Journal articles
Ararat HarutyunyanTien-Nam LeAlantha NewmanStéphan Thomassé. Coloring Dense Digraphs
Combinatorica, Springer Verlag, 2019, 39 (5), pp.1021-1053. ⟨10.1007/s00493-019-3815-8⟩
hal-02929843v1  Conference papers
Olivier BlazyPatrick TowaDamien Vergnaud. Public-Key Generation with Verifiable Randomness
Asiacrypt 2020 - 26th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2020, Daejeon / Virtual, South Korea. pp.97-127, ⟨10.1007/978-3-030-64837-4_4⟩
hal-02929841v1  Conference papers
Patrick TowaDamien Vergnaud. Succinct Diophantine-Satisfiability Arguments
Asiacrypt 2020 - 26th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2020, Daejeon / Virtual, South Korea. pp.774-804, ⟨10.1007/978-3-030-64840-4_26⟩
hal-02919705v1  Other publications
Lisa ElkinJean-Baptiste BeauGéry CasiezDaniel Vogel. A 26-Contact Tangible Pen-Like Input Device for Capacitive Displays
Adjunct Proceedings of the ACM Conference on Human Factors in Computing Systems (CHI 2020), Demonstration, 2020, pp.1-4. ⟨10.1145/3334480.3383157⟩
hal-02919928v1  Conference papers
Hakim Si-MohammedCatarina Lopes-DiasMaría DuarteFerran Argelaguet SanzCamille Jeunet et al.  Detecting System Errors in Virtual Reality Using EEG Through Error-Related Potentials
VR 2020 - 27th IEEE Conference on Virtual Reality and 3D User Interfaces, Mar 2020, Atlanta, United States. pp.653-661, ⟨10.1109/VR46266.2020.00088⟩
hal-02919710v1  Journal articles
Cecile Scotto Di Cesarevan Hoan VuGéry CasiezLaure Fernandez. Sensorimotor control and linear visuomotor gains
Experimental Brain Research, Springer Verlag, 2020, 238 (9), pp.1997-2007. ⟨10.1007/s00221-020-05856-1⟩
hal-02919664v1  Conference papers
Lisa ElkinJean-Baptiste BeauGéry CasiezDaniel Vogel. Manipulation, Learning, and Recall with Tangible Pen-Like Input
CHI 2020 - ACM Conference on Human Factors in Computing Systems, Apr 2020, Honolulu, United States. pp.1-12, ⟨10.1145/3313831.3376772⟩
hal-02919659v1  Conference papers
Margaret FoleyGéry CasiezDaniel Vogel. Comparing Smartphone Speech Recognition and Touchscreen Typing for Composition and Transcription
CHI 2020 - ACM Conference on Human Factors in Computing Systems, Apr 2020, Honolulu, United States. pp.1-11, ⟨10.1145/3313831.3376861⟩
hal-02892900v1  Conference papers
Zakaria OurnaniRomain RouvoyPierre RustJoël Penhoat. On Reducing the Energy Consumption of Software: From Hurdles to Requirements
ESEM 2020 - ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, Oct 2020, Bari, Italy. ⟨10.1145/3382494.3410678⟩
hal-02541391v1  Conference papers
Lakhdar MeftahRomain RouvoyIsabelle Chrisment. Capturing Privacy-preserving User Contexts with IndoorHash
DAIS 2020 - 20th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2020, Valletta, Malta. ⟨10.1007/978-3-030-50323-9_2⟩
hal-02470128v1  Conference papers
Guillaume FieniRomain RouvoyLionel Seinturier. SmartWatts: Self-Calibrating Software-Defined Power Meter for Containers
CCGRID 2020 - 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing, May 2020, Melbourne, Australia. ⟨10.1109/CCGrid49817.2020.00-45⟩
hal-02867619v1  Documents associated with scientific events
Damien MassonSylvain MalacriaEdward LankGéry Casiez. Bringing Interactivity to Research Papers and Presentations with Chameleon
Adjunct Proceedings of the ACM Conference on Human Factors in Computing Systems (CHI 2020), Demonstration, May 2020, Honolulu HI USA, France. ACM, pp.1-4, ⟨10.1145/3334480.3383173⟩
hal-01621467v1  Journal articles
Romain GarnierBenoît Sagot. A shared substrate between Greek and Italic
Indogermanische Forschungen, De Gruyter, 2017, 122 (1), pp.29-60. ⟨10.1515/if-2017-0002⟩
hal-01737064v1  Conference papers
Thierry Mefenza NountuDamien Vergnaud. Lattice Attacks on Pairing-Based Signatures
IMACC 2017 - 16th IMA International Conference on Cryptography and Coding, Dec 2017, Oxford, United Kingdom. pp.352-370, ⟨10.1007/978-3-319-71045-7_18⟩
hal-02395052v1  Conference papers
Eyal KushilevitzRafail OstrovskyEmmanuel ProuffAdi RosénAdrian Thillard et al.  Lower and Upper Bounds on the Randomness Complexity of Private Computations of AND
TCC 2019 - 17th International Conference on Theory of Cryptography, Dec 2019, Nuremberg, Germany. pp.386-406, ⟨10.1007/978-3-030-36033-7_15⟩
hal-01893905v1  Conference papers
Louiza KhatiDamien Vergnaud. Analysis and Improvement of an Authentication Scheme in Incremental Cryptography
SAC 2018 - 25th International Conference on Selected Areas in Cryptography, Aug 2018, Calgary, Canada. pp.50-70, ⟨10.1007/978-3-030-10970-7_3⟩
hal-02495831v2  Conference papers
Agniva SenguptaRomain LagneauAlexandre KrupaEric MarchandMaud Marchal. Simultaneous Tracking and Elasticity Parameter Estimation of Deformable Objects
ICRA 2020 - IEEE International Conference on Robotics and Automation, May 2020, Paris, France. pp.1-7
hal-02560760v1  Conference papers
Anna GogolouTheophanis TsandilasKarima EchihabiAnastasia BezerianosThemis Palpanas. Data Series Progressive Similarity Search with Probabilistic Quality Guarantees
ACM SIGMOD International Conference on Management of Data, Jun 2020, Portland, United States. pp.1857-1873, ⟨10.1145/3318464.3389751⟩
hal-01225823v1  Directions of work or proceedings
Heriberto CuayáhuitlNina DethlefsLutz FrommbergerMartijn van OtterloOlivier Pietquin. Proceedings of The 4th Workshop on Machine Learning for Interactive Systems (MLIS­2015)
Jul 2015, Lille, France. 43, 2015, JMLR Workshop and Conference Proceedings
hal-01172057v1  Conference papers
Daniel RomeroClément QuintonLaurence DuchienLionel SeinturierCarolina Valdez. SmartyCo: Managing Cyber-Physical Systems for Smart Environments
9th European Conference, ECSA 2015, Sep 2015, Dubrovnik/Cavtat, Croatia. pp.294-302
hal-02398969v1  Conference papers
Julien LeveauXavier BlancLaurent RéveillèreJean-Rémy FalleriRomain Rouvoy. Fostering the Diversity of Exploratory Testing in Web Applications
ICST 2020 - IEEE International Conference on Software Testing, Verification and Validation, Mar 2020, Porto, Portugal. ⟨10.1109/ICST46399.2020.00026⟩
hal-02484620v1  Conference papers
Achour MostefaouiMatthieu PerrinMichel Raynal. A New Insight into Local Coin-Based Randomized Consensus
PRDC 2019 - 24th IEEE Pacific Rim International Symposium on Dependable Computing, Dec 2019, Kyoto, Japan. pp.207-216, ⟨10.1109/PRDC47002.2019.00051⟩
hal-02472202v1  Conference papers
Jung Hee CheonPierre-Alain Fouque. Cryptanalysis of the New CLT Multilinear Map over the Integers.
Advances in Cryptology – EUROCRYPT 2016 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques,, May 2016, Vienne, Austria. pp.509-536
hal-02472180v1  Conference papers
Patrick DerbezPierre-Alain Fouque. Automatic Search of Meet-in-the-Middle and Impossible Differential Attacks.
CRYPTO 2016 36th Annual International Cryptology Conference,, Aug 2016, Santa Barbara, United States. pp.157-184
hal-02471031v1  Conference papers
Nicolas DesmoulinsPierre-Alain FouqueCristina OneteOlivier Sanders. Pattern Matching on Encrypted Streams.
ASIACRYPT International Conference on the Theory and Application of Cryptology and Information Security, Dec 2018, Brisbane, Australia. pp.121-148
hal-02470995v1  Journal articles
Brice MinaudPatrick DerbezPierre-Alain FouquePierre Karpman. Key-Recovery Attacks on ASASA.
Journal of Cryptology, Springer Verlag, 2018, 31 (3), pp.845-884
hal-02467817v1  Conference papers
Damien MassonSylvain MalacriaEdward LankGéry Casiez. Chameleon: Bringing Interactivity to Static Digital Documents
CHI 2020 - ACM Conference on Human Factors in Computing Systems, Apr 2020, Honolulu, United States. ⟨10.1145/3313831.3376559⟩
hal-02403379v1  Conference papers
Zakaria OurnaniMohammed Chakib BelgaidRomain RouvoyPierre RustJoël Penhoat et al.  Taming Energy Consumption Variations in Systems Benchmarking
ICPE'2020 - 11th ACM/SPEC International Conference on Performance Engineering, Apr 2020, Edmonton, Canada. ⟨10.1145/3358960.3379142⟩
hal-02444752v1  Conference papers
Rémy DelanauxAngela BonifatiMarie-Christine RoussetRomuald Thion. RDF graph anonymization robust to data linkage
WISE 2019 - 20th International Conference on Web Information Systems Engineering, Jan 2020, Hong Kong, China. pp.491-506, ⟨10.1007/978-3-030-34223-4_31⟩
hal-02441653v1  Conference papers
Antoine VastelWalter RudametkinRomain RouvoyXavier Blanc. FP-Crawlers: Studying the Resilience of Browser Fingerprinting to Block Crawlers
MADWeb'20 - NDSS Workshop on Measurements, Attacks, and Defenses for the Web, Feb 2020, San Diego, United States. ⟨10.14722/ndss.2020.23xxx⟩
hal-02390677v1  Journal articles
Giuseppe da PratoArnaud Debussche. Gradient Estimates and Maximal Dissipativity for the Kolmogorov Operator in $\Phi^4_2$.
Electronic Communications in Probability, Institute of Mathematical Statistics (IMS), 2020, 25 (paper no. 9), 16 pp. ⟨10.1214/20-ECP294⟩
hal-02181518v1  Journal articles
Ararat HarutyunyanTien-Nam LeStéphan ThomasséHehui Wu. Coloring tournaments: From local to global
Journal of Combinatorial Theory, Series B, Elsevier, 2019, 138, pp.166-171. ⟨10.1016/j.jctb.2019.01.005⟩
hal-02158330v1  Journal articles
Nicolas BousquetWilliam LochetStéphan Thomassé. A proof of the Erdős–Sands–Sauer–Woodrow conjecture
Journal of Combinatorial Theory, Series B, Elsevier, 2019, Elsevier Journal of Combinatorial Theory, Series B, 137, pp.316-319. ⟨10.1016/j.jctb.2018.11.005⟩
hal-02275082v1  Journal articles
Pierre AboulkerNathann CohenFrédéric HavetWilliam LochetPhablo Moura et al.  Subdivisions in Digraphs of Large Out-Degree or Large Dichromatic Number
The Electronic Journal of Combinatorics, Open Journal Systems, 2019, 26, pp.P3.19
hal-01781257v2  Journal articles
Yvon MadayOlga Mula. An Adaptive Parareal Algorithm
Journal of Computational and Applied Mathematics, Elsevier, 2020, ⟨10.1016/⟩
hal-02275202v1  Journal articles
Louis EsperetRoss KangStéphan Thomassé. Separation Choosability and Dense Bipartite Induced Subgraphs
Combinatorics, Probability and Computing, Cambridge University Press (CUP), 2019, 28 (5), pp.720-732. ⟨10.1017/S0963548319000026⟩