Laboratoire de Recherche en Informatique 

• 
  Jean-Philippe Chancelier, Michel de Lara, Antoine Deza, Lionel Pournin. Geometry of Sparsity-Inducing Norms. 2025. ⟨hal-04886852⟩
• 
  Johanne Cohen, Laurence Pilard, Jonas Sénizergues. Autostabilizing Minimal Clique Decomposition with Byzantine Faults tolerance. 2025. ⟨hal-04872001⟩
• 
  Maxime Mahout, Ross Carlson, Sabine Peres. Answer Set Programming for Computing Constraints-Based Elementary Flux Modes: Application to Escherichia coli Core Metabolism. Processes, 2020, 8 (12), pp.1649. ⟨10.3390/pr8121649⟩. ⟨hal-03209519⟩
• 
  Jieying Chen. Knowledge Extraction from Description Logic Terminologies. Information Retrieval [cs.IR]. Université Paris Saclay (COmUE), 2018. English. ⟨NNT : 2018SACLS531⟩. ⟨tel-04471349v2⟩
• 
  Pierre Bergé, Jason Crampton, Gregory Gutin, Rémi Watrigant. The Authorization Policy Existence Problem. CODASPY: Conference on Data and Application Security and Privacy, Mar 2017, Scottsdale, United States. pp.1333-1344, ⟨10.1109/TDSC.2018.2883416⟩. ⟨hal-01995978⟩
• 
  Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, et al.. Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. 7th International Conference on NETworked sYStems (NETYS 2019), Jun 2019, Marrakech, Morocco. pp.93-09, ⟨10.1007/978-3-030-31277-0_7⟩. ⟨hal-02115599⟩
• 
  Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. Synchronous Gathering without Multiplicity Detection: a Certified Algorithm. Theory of Computing Systems, 2019, 63 (2), pp.200-218. ⟨10.1007/s00224-017-9828-z⟩. ⟨hal-01894618⟩
• 
  Sylvain Girbal, Nicolas Vasilache, Cédric Bastoul, Albert Cohen, David Parello, et al.. Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies. International Journal of Parallel Programming, 2006, 34 (3), pp.261--317. ⟨10.1007/s10766-006-0012-3⟩. ⟨hal-01257288⟩
• 
  Florent Foucaud, Ararat Harutyunyan, Pavol Hell, Sylvain Legay, Yannis Manoussakis, et al.. The complexity of tropical graph homomorphisms.. Discrete Applied Mathematics, 2017, 229, pp.64-81. ⟨10.1016/j.dam.2017.04.027⟩. ⟨hal-01520739⟩
• 
  Zhan Wang, Alain Lambert, Xun Zhang. Dynamic ICSP Graph Optimization Approach for Car-Like Robot Localization in Outdoor Environments. Computers, 2019, 8 (3), pp.63. ⟨10.3390/computers8030063⟩. ⟨hal-02516033⟩

3 095

1 794