hal-03684205v1  Journal articles
Kamrul Islam, Sabeur Aridhi, Malika Smaïl-Tabbone. Negative Sampling and Rule Mining for Explainable Link Prediction in Knowledge Graphs
Knowledge-Based Systems, Elsevier, 2022, 250, pp.109083. ⟨10.1016/j.knosys.2022.109083⟩

hal-03332224v3  Journal articles
Natalia Tomashenko, Xin Wang, Emmanuel Vincent, Jose Patino, Brij Mohan Lal Srivastava et al.  The VoicePrivacy 2020 Challenge: Results and findings
Computer Speech and Language, Elsevier, 2022, 74, pp.101362. ⟨10.1016/j.csl.2022.101362⟩

hal-03636686v1  Journal articles
Leslie Lamport, Stephan Merz. Prophecy Made Simple
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2022, 44 (2), pp.1-27. ⟨10.1145/3492545⟩

hal-03697875v1  Journal articles
Clélie Amiot, François Charoy, Jérôme Dinet. Trustworthy automation for large-scale collaboration: a proposed exploratory study
CEUR Workshop Proceedings, CEUR Workshop Proceedings, 2022, Engaging with Automation - Understanding and Designing for Operation, Appropriation, and Behaviour Change 2022., Proceedings of the Workshop on Engaging with Automation (AutomationXP) co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2022) New Orleans, LA, USA, (3154)

hal-03359508v1  Journal articles
Dominik Kirst, Dominique Larchey-Wendling. Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2022, 18 (2), pp.17:1-17:29. ⟨10.46298/lmcs-18(2:17)2022⟩

hal-03620373v1  Journal articles
Arbia Riahi Sfar, Enrico Natalizio, Sahbi Mazlout, yacine Challal, Zied Chtourou. Privacy preservation using game theory in e-health application
Journal of information security and applications, Elsevier, 2022, 66, pp.103158. ⟨10.1016/j.jisa.2022.103158⟩

hal-03641349v1  Journal articles
Camille Schreck, Chris Wojtan. Coupling 3D Liquid Simulation with 2D Wave Propagation for Large Scale Water Surface Animation Using the Equivalent Sources Method
Computer Graphics Forum, Wiley, 2022, ⟨10.1111/cgf.14478⟩

hal-03664678v1  Journal articles
Matthijs Ebbens, Iordan Iordanov, Monique Teillaud, Gert Vegter. Delaunay triangulations of generalized Bolza surfaces
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2022, 13 (1), pp.125-177. ⟨10.20382/jocg.v13i1a5⟩

hal-03648041v1  Journal articles
Erwan Schild, Gautier Durantin, Jean-Charles Lamirel, Florian Miconi. Iterative and Semi-Supervised Design of Chatbots Using Interactive Clustering
International Journal of Data Warehousing and Mining (IJDWM), IGI Global, 2022, 18 (2), pp.1-19. ⟨10.4018/IJDWM.298007⟩

hal-03600315v1  Journal articles
Tripti Rastogi, Nicolas Girerd, Zohra Lamiral, Emmanuel Bresso, Erwan Bozec et al.  Impact of smoking on cardiovascular risk and premature ageing: Findings from the STANISLAS cohort
Atherosclerosis, Elsevier, 2022, 346, pp.1-9. ⟨10.1016/j.atherosclerosis.2022.02.017⟩

hal-03688845v2  Journal articles
Sorin Stratulat. Récurrence noethérienne pour le raisonnement de premier ordre
1024 : Bulletin de la Société Informatique de France, Société Informatique de France, 2022, pp.157-169. ⟨10.48556/SIF.1024.19.157⟩

hal-03602394v1  Journal articles
Matthieu Zins, Gilles Simon, Marie-Odile Berger. Object-Based Visual Camera Pose Estimation From Ellipsoidal Model and 3D-Aware Ellipse Prediction
International Journal of Computer Vision, Springer Verlag, 2022, 130, pp.1107-1126. ⟨10.1007/s11263-022-01585-w⟩

hal-03359505v2  Journal articles
Dominique Larchey-Wendling, yannick Forster. Hilbert's Tenth Problem in Coq (Extended Version)
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2022, 18 (1), ⟨10.46298/lmcs-18(1:35)2022⟩

hal-03616853v1  Journal articles
Spandan Dey, Md Sahidullah, Goutam Saha. An Overview of Indian Spoken Language Recognition from Machine Learning Perspective
ACM Transactions on Asian and Low-Resource Language Information Processing, ACM, In press, ⟨10.1145/3523179⟩

hal-03183755v2  Journal articles
Alexandre Bazin, Miguel Couceiro, Marie-Dominique Devignes, Amedeo Napoli. Steps Towards Causal Formal Concept Analysis
International Journal of Approximate Reasoning, Elsevier, 2022, 142, pp.338-348. ⟨10.1016/j.ijar.2021.12.007⟩

hal-03691141v1  Journal articles
Fabrice Boudot, Pierrick Gaudry, Aurore Guillevic, Nadia Heninger, Emmanuel Thomé et al.  The State of the Art in Integer Factoring and Breaking Public-Key Cryptography
IEEE Security and Privacy Magazine, Institute of Electrical and Electronics Engineers, 2022, 20 (2), pp.80-86. ⟨10.1109/MSEC.2022.3141918⟩

hal-03537744v1  Journal articles
Alain Gély, Miguel Couceiro, Laurent Miclet, Amedeo Napoli. A study of algorithms relating distributive lattices, median graphs, and Formal Concept Analysis
International Journal of Approximate Reasoning, Elsevier, 2022, 142, pp.370-382. ⟨10.1016/j.ijar.2021.12.011⟩

hal-03494504v1  Journal articles
Daniela Oliveira, Mathieu D’aquin. Extracting data models from background knowledge graphs
Knowledge-Based Systems, Elsevier, 2022, 237, pp.107818. ⟨10.1016/j.knosys.2021.107818⟩

hal-03468834v1  Journal articles
Gilles Barthe, Charlie Jacomme, Steve Kremer. Universal Equivalence and Majority of Probabilistic Programs over Finite Fields
ACM Transactions on Computational Logic, Association for Computing Machinery, 2022, 23 (1), pp.1-42. ⟨10.1145/3487063⟩

hal-03542913v1  Journal articles
A Michael West, James Hermus, Meghan Huber, Pauline Maurice, Dagmar Sternad et al.  Dynamic Primitives Limit Human Force Regulation during Motion
IEEE Robotics and Automation Letters, IEEE 2022, 7 (2), pp.2391 - 2398. ⟨10.1109/LRA.2022.3141778⟩

hal-03023830v1  Journal articles
Miguel Couceiro, Jimmy Devillet, Jean-Luc Marichal, Pierre Mathonet. Reducibility of $n$-ary Semigroups : from Quasitriviality Towards Idempotency
Beiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry, Springer Verlag, 2022, 63 (1), pp.149-166. ⟨10.1007/s13366-020-00551-2⟩

hal-03482422v1  Journal articles
Benedikt Kolbe, Myfanwy E Evans. Enumerating Isotopy Classes of Tilings guided by the symmetry of Triply-Periodic Minimal Surfaces
SIAM Journal on Applied Algebra and Geometry, Society for Industrial and Applied Mathematics 2022, 6 (1), ⟨10.1137/20M1358943⟩

hal-03656144v1  Journal articles
Zheng Cheng, Massimo Tisi. Deep Specification and Proof Preservation for the CoqTL Transformation Language
Software & Systems Modeling, In press, ⟨10.1007/s10270-022-01004-1⟩

hal-03185200v2  Journal articles
Adrien Bedel, yoann Coudert-Osmont, Jonàs Martínez, Rahnuma Islam Nishat, Sue Whitesides et al.  Closed space-filling curves with controlled orientation for 3D printing
Computer Graphics Forum, Wiley, In press, ⟨10.1111/cgf.14488⟩

hal-03659142v1  Journal articles
Qaiser Mehmood, Muhammad Saleem, Alokkumar Jha, Mathieu D’aquin. Efficient distributed path computation on RDF knowledge graphs using partial evaluation
World Wide Web, Springer Verlag, 2022, 25 (2), pp.1005-1036. ⟨10.1007/s11280-021-00965-5⟩

hal-03081725v1  Journal articles
Julien Francq, Loic Besson, Paul Huynh, Philippe Guillot, Gilles Millérioux et al.  Non-triangular self-synchronizing stream ciphers
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2022, 71 (1), pp.134-145. ⟨10.1109/TC.2020.3043714⟩

hal-03538732v1  Journal articles
Robert Reinecke, Tatjana A Nazir, Sarah Carvallo, Jacques Jayez. Factives at hand: When presupposition mode affects motor response
Journal of Experimental Psychology, American Psychological Association, In press, ⟨10.1037/xge0001167⟩

hal-03537852v1  Journal articles
David Desobry, François Protais, Nicolas Ray, Etienne Corman, Dmitry Sokolov. Frame Fields for CAD models
Lecture Notes in Computer Science, Springer, 2022, 13018, pp.421-434. ⟨10.1007/978-3-030-90436-4_34⟩

hal-03452182v1  Journal articles
Pierre Monnin, Chedy Raïssi, Amedeo Napoli, Adrien Coulet. Discovering alignment relations with Graph Convolutional Networks: A biomedical case study
Semantic Web – Interoperability, Usability, Applicability, IOS Press, 2022, pp.1-20. ⟨10.3233/SW-210452⟩

hal-03480483v1  Journal articles
Florent Balacheff, Vincent Despré, Hugo Parlier. Systoles and diameters of hyperbolic surfaces
Kyoto Journal of Mathematics, Duke University Press, 2022

hal-03586153v1  Journal articles
Sajjad Amini, Mohammad Soltanian, Mostafa Sadeghi, Shahrokh Ghaemmaghami. Non-Smooth Regularization: Improvement to Learning Framework through Extrapolation
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2022, 70, pp.1213 - 1223. ⟨10.1109/TSP.2022.3154969⟩

hal-03586826v1  Journal articles
David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse. Tamarin: Verification of Large-Scale, Real World, Cryptographic Protocols
IEEE Security and Privacy Magazine, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/msec.2022.3154689⟩

hal-03281827v3  Journal articles
Waldez Gomes, Pauline Maurice, Eloïse Dalin, Jean-Baptiste Mouret, Serena Ivaldi. Multi-objective Trajectory Optimization to Improve Ergonomics in Human Motion
IEEE Robotics and Automation Letters, IEEE 2022, 7 (1), pp.342 - 349. ⟨10.1109/LRA.2021.3125058⟩

hal-03684130v1  Journal articles
Lorenzo Vianello, Waldez Gomes, Freek Stulp, Alexis Aubry, Pauline Maurice et al.  Latent ergonomics maps: Real-time visualization of estimated ergonomics of human movements
Sensors, MDPI, In press, ⟨10.3390/s1010000⟩

hal-03662311v1  Journal articles
Otfried Cheong, Olivier Devillers, Marc Glisse, Ji-Won Park. Covering families of triangles
Periodica Mathematica Hungarica, Springer Verlag, In press

hal-03450952v1  Journal articles
Debashisha Mishra, Anna Maria Vegni, Valeria Loscri, Enrico Natalizio. Drone Networking in 6G Era - A Technology Overview
IEEE Communications Standards Magazine, Institute of Electrical and Electronics Engineers, 2022

hal-03654308v1  Journal articles
Nicolas Donati, Etienne Corman, Maks Ovsjanikov. Deep Orientation-Aware Functional Maps: Tackling Symmetry Issues in Shape Matching
CVPR "12 : IEEE Conference on Computer Vision and Pattern Recognition, In press, ⟨10.48550/arXiv.2204.13453⟩

hal-02943018v1  Journal articles
Miguel Couceiro, Lucien Haddad, Victor Lagerkvist. A Survey on the Fine-grained Complexity of Constraint Satisfaction Problems Based on Partial Polymorphisms
Journal of Multiple-Valued Logic and Soft Computing, Old City Publishing, 2022, 38 (1-2), pp.115-136

hal-03548379v1  Journal articles
Muneo Kitajima, Makoto Toyota, Jérôme Dinet. How Resonance Works for Development and Propagation of Memes
International Journal On Advances in Systems and Measurements, IARIA, 2021, 14 (1 & 2), pp.148-161

hal-03500114v1  Journal articles
Nouha Othman, Rim Faiz, Kamel Smaïli. Learning English and Arabic Question Similarity with Siamese Neural Networks in Community Question Answering services
Data and Knowledge Engineering, Elsevier, In press, ⟨10.1016/j.datak.2021.101962⟩

hal-03314551v2  Journal articles
Aurélie Bannay, Mathilde Bories, Pascal Le Corre, Christine Riou, Pierre Lemordant et al.  Leveraging national claim and hospital big data integration: a cohort study on a statin-drug interaction use case.
JMIR Medical Informatics, JMIR Publications, 2021, 9 (12), pp.e29286. ⟨10.2196/29286⟩

hal-03472082v1  Journal articles
Alex Hirtz, Nolwenn Lebourdais, Fabien Rech, yann Bailly, Athénaïs Vaginay et al.  GPER agonist G-1 disrupts tubulin dynamics and potentiates temozolomide to impair glioblastoma cell proliferation
Cells, MDPI, 2021, 10, pp.3438. ⟨10.3390/cells10123438⟩

hal-03504330v1  Journal articles
Benoît Cogliati, Jordan Ethan, Virginie Lallemand, Byeonghak Lee, Jooyoung Lee et al.  CTET+: A Beyond-Birthday-Bound Secure Tweakable Enciphering Scheme Using a Single Pseudorandom Permutation
IACR Transactions on Symmetric Cryptology, Ruhr Universität Bochum, 2021, 2021 (4), pp.1-35. ⟨10.46586/tosc.v2021.i4.1-35⟩

hal-03413650v1  Journal articles
Lorenzo Vianello, Luigi Penco, Waldez Gomes, yang you, Salvatore Maria Anzalone et al.  Human-humanoid interaction and cooperation: a review
Current Robotics Reports, 2021, 2 (4), pp.441-454. ⟨10.1007/s43154-021-00068-z⟩

hal-03538841v1  Journal articles
Mathilde Dargnat, Jacques Jayez. Mais et associés
Lexique, UMR 8163 « Savoirs, Textes, Langage » Université de Lille, 2021, pp.211-228

hal-03232723v1  Journal articles
Nirmalya Sen, Md Sahidullah, Hemant Patil, Shyamal Kumar das Mandal, Sreenivasa Krothapalli Rao et al.  Utterance partitioning for speaker recognition: an experimental review and analysis with new findings under GMM-SVM framework
International Journal of Speech Technology, Springer Verlag, 2021, 24, pp.1067-1088. ⟨10.1007/s10772-021-09862-8⟩

hal-03431518v1  Journal articles
Xavier Bonnetain, Samuel Jaques. Quantum Period Finding against Symmetric Primitives in Practice
IACR Transactions on Cryptographic Hardware and Embedded Systems, IACR, 2021, 2022 (1), pp.1-27. ⟨10.46586/tches.v2022.i1.1-27⟩

hal-03467701v1  Journal articles
Pr Tahar Chouihed, Adrien Bassand, Kevin Duarte, Déborah Jaeger, yann Roth et al.  Head-to-head comparison of diagnostic scores for acute heart failure in the emergency department: results from the PARADISE cohort
Internal and Emergency Medicine, Springer, 2021, ⟨10.1007/s11739-021-02879-6⟩

hal-03330769v1  Journal articles
Fatmir Asllanaj, Sylvain Contassot-Vivier, Olivier Botella, Francis H.R. França. Numerical solutions of radiative heat transfer in combustion systems using a parallel modified discrete ordinates method and several recent formulations of WSGG model
Journal of Quantitative Spectroscopy and Radiative Transfer, Elsevier, 2021, 274, pp.107863. ⟨10.1016/j.jqsrt.2021.107863⟩

hal-03290606v1  Journal articles
Semyon Efremov, Jonàs Martínez, Sylvain Lefebvre. 3D periodic cellular materials with tailored symmetry and implicit grading
Computer-Aided Design, Elsevier, 2021, 140, ⟨10.1016/j.cad.2021.103086⟩

hal-03408925v2  Journal articles
Stéphane Magnenat, Francis Colas. A Bayesian tracker for synthesizing mobile robot behaviour from demonstration
Autonomous Robots, Springer Verlag, 2021, ⟨10.1007/s10514-021-10019-4⟩

hal-03375681v1  Journal articles
Samuele Cornell, Maurizio Omologo, Stefano Squartini, Emmanuel Vincent. Overlapped speech detection and speaker counting using distant microphone arrays
Computer Speech and Language, Elsevier, 2021, 72, ⟨10.1016/j.csl.2021.101306⟩

hal-03176025v2  Journal articles
Myriam Guillevic, Aurore Guillevic, Martin K Vollmer, Paul Schlauri, Matthias Hill et al.  Automated fragment formula annotation for electron ionisation, high resolution mass spectrometry: application to atmospheric measurements of halocarbons
Journal of Cheminformatics, Chemistry Central Ltd. and BioMed Central, 2021, 13 (78), pp.1-27. ⟨10.1186/s13321-021-00544-w⟩

hal-03507532v1  Journal articles
Karyna Isaieva, yves Laprie, Justine Leclère, Ioannis K Douros, Jacques Felblinger et al.  Multimodal dataset of real-time 2D and static 3D MRI of healthy French speakers
Scientific Data , Nature Publishing Group, 2021, 8 (1), pp.258. ⟨10.1038/s41597-021-01041-3⟩

hal-03409798v1  Journal articles
Mohamed Said Frikha, Sonia Mettali Gammar, Abdelkader Lahmadi, Laurent Andrey. Reinforcement and deep reinforcement learning for wireless Internet of Things: A survey
Computer Communications, Elsevier, 2021, 178, pp.98-113. ⟨10.1016/j.comcom.2021.07.014⟩

hal-03161393v1  Journal articles
George Krait, Sylvain Lazard, Guillaume Moroz, Marc Pouget. Certified numerical algorithm for isolating the singularities of the plane projection of generic smooth space curves
Journal of Computational and Applied Mathematics, Elsevier, 2021, 394, pp.113553. ⟨10.1016/j.cam.2021.113553⟩

hal-03485185v1  Journal articles
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirović, Uwe Waldmann. Superposition with Lambdas
Journal of Automated Reasoning, Springer Verlag, 2021, 65 (7), pp.893-940. ⟨10.1007/s10817-021-09595-y⟩

hal-03540515v1  Journal articles
Md Kamrul Islam, Sabeur Aridhi, Malika Smaïl-Tabbone. An Experimental Evaluation of Similarity-Based and Embedding-Based Link Prediction Methods on Graphs
International Journal of Data Mining & Knowledge Management Process, AIRCC Publishing Corporation, 2021, 11, pp.1 - 18. ⟨10.5121/ijdkp.2021.11501⟩

hal-03483440v1  Journal articles
Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga. Parametric Analyses of Attack-fault Trees
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2021, 182 (1), pp.69 - 94. ⟨10.3233/fi-2021-2066⟩

hal-02880638v1  Journal articles
Zaineb Chelly Dagdia, Christine Zarges. A detailed study of the distributed rough set based locality sensitive hashing feature selection technique
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2021, 182 (2), pp.111-179. ⟨10.3233/FI-2021-2069⟩

hal-03169283v1  Journal articles
Melike Aydinlilar, Cédric Zanni. Fast ray tracing of scale-invariant integral surfaces
Computer Graphics Forum, Wiley, 2021, 40 (6), pp.117-134. ⟨10.1111/cgf.14208⟩

hal-02999678v1  Journal articles
Angela Fan, Claire Gardent, Chloé Braud, Antoine Bordes. Augmenting Transformers with KNN-Based Composite Memory for Dialog
Transactions of the Association for Computational Linguistics, The MIT Press, 2021, 9, ⟨10.1162/tacl_a_00356⟩

hal-03438175v1  Journal articles
Matthew England, François Boulier, Timur Sadykov, Thomas Sturm. Foreword, with a Dedication to Vladimir Gerdt
Mathematics in Computer Science, Springer, 2021, 15 (3), pp.369 - 371. ⟨10.1007/s11786-021-00509-0⟩

hal-03438176v1  Journal articles
Niclas Kruff, Christoph Lüders, Ovidiu Radulescu, Thomas Sturm, Sebastian Walcher. Algorithmic Reduction of Biological Networks with Multiple Time Scales
Mathematics in Computer Science, Springer, 2021, 15 (3), pp.499 - 534. ⟨10.1007/s11786-021-00515-2⟩