HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation


hal-02995771v1  Book sections
Olivier BournezGilles DowekRémi GilleronSerge GrigorieffJean-Yves Marion et al.  Theoretical Computer Science: Computational Complexity
A Guided Tour of Artificial Intelligence Research - Volume III: Interfaces and Applications of Artificial Intelligence (10.1007/978-3-030-06170-8), Springer International Publishing, 2020
hal-03173193v1  Book sections
Olivier BournezGilles DowekRémi GilleronSerge GrigorieffJean-Yves Marion et al.  Theoretical Computer Science: Computability, Decidability and Logic
A Guided Tour of Artificial Intelligence Research - Volume III: Interfaces and Applications of Artificial Intelligence (10.1007/978-3-030-06170-8), Springer International Publishing, pp.1-50, 2020, ⟨10.1007/978-3-030-06170-8_1⟩
...
hal-03471926v1  Book sections
Luca de FeoCyprien Delpech de Saint GuilhemTako Boris FouotsaPéter KutasAntonin Leroux et al.  Séta: Supersingular Encryption from Torsion Attacks
Advances in Cryptology – ASIACRYPT 2021, 13093, Springer International Publishing, pp.249-278, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-92068-5_9⟩
...
hal-01079893v1  Book sections
Yann PontyFabrice Leclerc. Drawing and Editing the Secondary Structure(s) of RNA.
Ernesto Picardi. RNA Bioinformatics, 1269, Springer New York, pp.63-100, 2015, Methods in Molecular Biology, 978-1-4939-2290-1. ⟨10.1007/978-1-4939-2291-8_5⟩
...
hal-01060490v1  Book sections
Loïc PaulevéCourtney ChancellorMaxime FolschetteMagnin MorganOlivier Roux. Analyzing Large Network Dynamics with Process Hitting
Luis Fariñas del Cerro; Katsumi Inoue. Logical Modeling of Biological Systems, Wiley, pp.125 - 166, 2014, 978-1-84821-680-8