Skip to Main content Skip to Navigation

hal-03366962v1  Conference papers
Bruno BlanchetVincent ChevalVéronique Cortier. ProVerif with Lemmas, Induction, Fast Subsumption, and Much More
S&P'22 - 43rd IEEE Symposium on Security and Privacy, May 2022, San Francisco, United States
hal-03501774v1  Conference papers
Hee-Soo ChoiBruno GuillaumeKarën Fort. Corpus-based Language Universals Analysis using Universal Dependencies
Quasy (Quantitative Syntax), SyntaxFest 2021, Mar 2022, Sofia, Bulgaria
hal-03494462v1  Conference papers
Sylvain KahaneMartine VanhoveRayan ZianeBruno Guillaume. A morph-based and a word-based treebank for Beja
TLT 2021 - 20th International Workshop on Treebanks and Linguistic Theories, Mar 2022, Sofia, Bulgaria
hal-03509136v1  Conference papers
Kim GerdesBruno GuillaumeSylvain KahaneGuy Perrier. Starting a new treebank? Go SUD! Theoretical and practical benefits of the Surface-Syntactic distributional approach
Sixth International Conference on Dependency Linguistics (Depling, SyntaxFest 2021), Mar 2022, Sofia, Bulgaria
hal-03537989v1  Book sections
Alain GélyMiguel CouceiroAmedeo Napoli. Towards Distributivity in FCA for Phylogenetic Data
Rokia Missaoui, Leonard Kwuida, Talel Abdessalem. Complex Data Analysis with Formal Concept Analysis, Springer, In press, Complex Data Analysis with Formal Concept Analysis
hal-03249123v2  Conference papers
Guillaume Moroz. New data structure for univariate polynomial approximation and applications to root isolation, numerical multipoint evaluation, and other problems
FOCS 2021 - 62nd Annual IEEE Symposimum on Foundations of Computer Science, Feb 2022, Denver, United States
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-03466807v1  Conference papers
Guillaume AmbalSergueï LengletAlan Schmitt. Certified Abstract Machines for Skeletal Semantics
Certified Programs and Proofs, Jan 2022, Philadelphia, United States
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-03540341v1  Book sections
Md Kamrul IslamSabeur AridhiMalika Smaïl-Tabbone. Simple negative sampling for link prediction in knowledge graphs
Complex Networks & Their Applications X, 1016, Springer International Publishing, pp.549-562, 2022, Studies in Computational Intelligence, 978-3-030-93412-5. ⟨10.1007/978-3-030-93413-2_46⟩
hal-03480483v1  Journal articles
Florent BalacheffVincent DespréHugo Parlier. Systoles and diameters of hyperbolic surfaces
Kyoto Journal of Mathematics, Duke University Press, 2022
hal-03538732v1  Journal articles
Robert ReineckeTatjana 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-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
tel-03500477v1  Theses
Waldez Gomes. Improving Ergonomics Through Physical Human-Robot Collaboration
Engineering Sciences [physics]. Université de lorraine, 2021. English
hal-03480304v1  Conference papers
Noreddine Belhadj-CheikhAbdessamad ImineMichaël Rusinowitch. FOX: Fooling with Explanations Privacy Protection with Adversarial Reactions in Social Media
18th Annual International Conference on Privacy, Security and Trust (PST2021), Dec 2021, Auckland/Virtual, New Zealand
hal-03356021v2  Conference papers
Pierre ChampionThomas ThebaudGaël Le LanAnthony LarcherDenis Jouvet. On the invertibility of a voice privacy system using embedding alignement
ASRU 2021 - IEEE Automatic Speech Recognition and Understanding Workshop, Dec 2021, Cartagena, Colombia
tel-03508140v1  Theses
Ahmad Abboud. Efficient Rules Management Algorithms in Software Defined Networking
Computer Science [cs]. University of Lorraine, 2021. English