Skip to Main content Skip to Navigation

hal-03636686v1  Journal articles
Leslie LamportStephan 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 AmiotFrançois CharoyJé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 KirstDominique 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-03664678v1  Journal articles
Matthijs EbbensIordan IordanovMonique TeillaudGert 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 SchildGautier DurantinJean-Charles LamirelFlorian 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-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-03359505v2  Journal articles
Dominique Larchey-Wendlingyannick 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-03640199v1  Journal articles
C. QuantinG. MercierF. TenenbaumA. Bannay. Colloque Adelf-Emois
Epidemiology and Public Health / Revue d'Epidémiologie et de Santé Publique, Elsevier Masson, 2022, 70, pp.S1. ⟨10.1016/j.respe.2022.01.002⟩
hal-03616853v1  Journal articles
Spandan DeyMd SahidullahGoutam 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 BazinMiguel CouceiroMarie-Dominique DevignesAmedeo 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 BoudotPierrick GaudryAurore GuillevicNadia HeningerEmmanuel 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-03574379v1  Journal articles
Étienne AndréDidier LimeOlivier Henri Roux. Reachability and liveness in parametric timed automata
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2022, 18 (1), ⟨10.46298/lmcs-18(1:31)2022⟩
hal-03468834v1  Journal articles
Gilles BartheCharlie JacommeSteve 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-03527433v1  Journal articles
Andrii Dmytrovych ShachykovJulien FrèrePatrick Henaff. Simulation of spinal muscle control in human gait using OpenSim
IEEE Transactions on Medical Robotics and Bionics, IEEE, 2022, 4 (1), pp.254-265. ⟨10.1109/tmrb.2022.3143263⟩
hal-03023830v1  Journal articles
Miguel CouceiroJimmy DevilletJean-Luc MarichalPierre 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 KolbeMyfanwy 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-03081725v1  Journal articles
Julien FrancqLoic BessonPaul HuynhPhilippe GuillotGilles 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 ReineckeTatjana A NazirSarah CarvalloJacques 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 DesobryFrançois ProtaisNicolas RayEtienne CormanDmitry 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 MonninChedy RaïssiAmedeo NapoliAdrien 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 BalacheffVincent DespréHugo Parlier. Systoles and diameters of hyperbolic surfaces
Kyoto Journal of Mathematics, Duke University Press, 2022
hal-03586153v1  Journal articles
Sajjad AminiMohammad SoltanianMostafa SadeghiShahrokh 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 BasinCas CremersJannik DreierRalf 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-03627464v1  Journal articles
Monique BaronMonique Grandbastien. Introduction (FR)
Revue Ouverte d'Intelligence Artificielle, Association pour la diffusion de la recherche francophone en intelligence artificielle, 2022, 3 (1-2), pp.1-18. ⟨10.5802/roia.14fr⟩
hal-03630330v1  Journal articles
Nicolas PassatPhuc Ngoyukiko KenmochiHugues Talbot. Homotopic affine transformations in the 2D Cartesian grid
Journal of Mathematical Imaging and Vision, Springer Verlag, In press, ⟨10.1007/s10851-022-01094-y⟩
hal-03662311v1  Journal articles
Otfried CheongOlivier DevillersMarc GlisseJi-Won Park. Covering families of triangles
Periodica Mathematica Hungarica, Springer Verlag, In press
hal-03468938v1  Journal articles
Florian DelcontePhuc NgoBertrand KerautretIsabelle Debled-RennessonVan-Tho Nguyen et al.  CNN-based Method for Segmenting Tree Surface Singularites
Image Processing On Line, IPOL - Image Processing on Line, 2022, 12, pp.1--26. ⟨10.5201/ipol.2022.369⟩
hal-03660862v1  Journal articles
Abir Ismaili-AlaouiKarim BainaKhalid Benali. IoDEP: Towards an IoT-Data Analysis and Event Processing Architecture for Business Process Incident Management
International journal of advanced computer science and applications (IJACSA), The Science and Information Organization, 2022, 13 (4), ⟨10.14569/IJACSA.2022.01304104⟩
hal-03450952v1  Journal articles
Debashisha MishraAnna Maria VegniValeria LoscriEnrico Natalizio. Drone Networking in 6G Era - A Technology Overview
IEEE Communications Standards Magazine, Institute of Electrical and Electronics Engineers, 2022
hal-02943018v1  Journal articles
Miguel CouceiroLucien HaddadVictor 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 KitajimaMakoto ToyotaJé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-03538841v1  Journal articles
Mathilde DargnatJacques Jayez. Mais et associés
Lexique, UMR 8163 « Savoirs, Textes, Langage » Université de Lille, 2021, pp.211-228
hal-03431518v1  Journal articles
Xavier BonnetainSamuel 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-03517010v1  Journal articles
Gilles Simon. La machine à perspective de Jan Van Eyck
Interstices, INRIA, 2021
hal-03463467v1  Journal articles
Marion Créhange. Ma randonnée informatique
Interstices, INRIA, 2021
hal-03485185v1  Journal articles
Alexander BentkampJasmin BlanchetteSophie TourretPetar 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 IslamSabeur AridhiMalika 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 LimeMathias RamparisonMarië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-03169283v1  Journal articles
Melike AydinlilarCé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 FanClaire GardentChloé BraudAntoine 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 EnglandFrançois BoulierTimur SadykovThomas 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⟩