Laboratoire de Recherche en Informatique

• 
  Frédérique Bassino, Mathilde Bouvel, Valentin Féray, Lucas Gerin, Adeline Pierrot. The Brownian limit of separable permutations. Annals of Probability, 2018, 46 (4), pp.2134 - 2189. ⟨10.1214/17-AOP1223⟩. ⟨hal-01818309⟩
• 
  Frédérique Bassino, Mathilde Bouvel, Adeline Pierrot, Carine Pivoteau, Dominique Rossin. An algorithm computing combinatorial specifications of permutation classes. Discrete Applied Mathematics, 2017, 224, pp.16-44. ⟨10.1016/j.dam.2017.02.013⟩. ⟨hal-01175234⟩
• 
  Frédérique Bassino, Mathilde Bouvel, Adeline Pierrot, Dominique Rossin. An algorithm for deciding the finiteness of the number of simple permutations in permutation classes. Advances in Applied Mathematics, 2015, 64, pp.124 - 200. ⟨10.1016/j.aam.2014.12.001⟩. ⟨hal-01818308⟩
• 
  Maxime Mahout. Compilation de connaissances pour l'analyse des réseaux métaboliques. Bio-informatique [q-bio.QM]. 2020. ⟨dumas-04350929⟩
• 
  Coline Gianfrotta, Vladimir Reinharz, Olivier Lespinet, Dominique Barth, Alain Denise. On the predictibility of A-minor motifs from their local contexts. RNA Biology, 2022, 19 (1), pp.1208-1227. ⟨10.1080/15476286.2022.2144611⟩. ⟨hal-03864666⟩
• 
  Julien Allali, Cédric Saule, Cedric Chauve, Yves d'Aubenton-Carafa, Alain Denise, et al.. BRASERO: A resource for benchmarking RNA secondary structure comparison algorithms. Advances in Bioinformatics, 2012, 2012, pp.1-5. ⟨10.1155/2012/893048⟩. ⟨hal-00647725⟩
• 
  Alexis Courbet, Patrick Amar, François Fages, Eric Renard, Franck Molina. Computer‐aided biochemical programming of synthetic microreactors as diagnostic devices. Molecular Systems Biology, 2018, 14 (4), ⟨10.15252/msb.20177845⟩. ⟨hal-01779791⟩
• 
  Jean-Baptiste Lamy. A data science approach to drug safety: Semantic and visual mining of adverse drug events from clinical trials of pain treatments. Artificial Intelligence in Medicine, 2021, pp.102074. ⟨10.1016/j.artmed.2021.102074⟩. ⟨hal-03201049⟩
• 
  Cecile Moulin. Analyse des voies métaboliques au cours du cycle cellulaire : application au métabolisme du cancer. Bio-Informatique, Biologie Systémique [q-bio.QM]. Université Paris-Saclay, 2020. Français. ⟨NNT : 2020UPASG022⟩. ⟨tel-03164566⟩
• 
  Véronique Benzaken, Sarah Cohen-Boulakia, Évelyne Contejean, Chantal Keller, Rébecca Zucchini. Vers une formalisation en Coq de la provenance de données. 31ème Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France. pp.72-87. ⟨hal-03080066⟩

79