Loading...
Latest publications
-
-
Ella Hamonic, Rémi Sharrock, Petra Bonfert-Taylor, Michael Goudzwaard, Gérard Memmi, et al.. Designing a unique revision loop updating courses simultaneously on different MOOC platforms. Learning With MOOCs, MIT, Oct 2023, Cambridge (MA), US, United States. pp.1-6, ⟨10.1109/LWMOOCS58322.2023.10305900⟩. ⟨hal-04255412⟩
-
Hassan Chaitou, Thomas Robert, Jean Leneutre, Laurent Pautet. Intrinsic weaknesses of IDSs to malicious adversarial attacks and their mitigation. Communications in Computer and Information Science, 2023, Communications in Computer and Information Science, 1849, pp.122-155. ⟨10.1007/978-3-031-45137-9_6⟩. ⟨hal-04320964⟩
-
Ana de Almeida Borges, Annalí Casanueva Artís, Jean-Rémy Falleri, Emilio Jesús Gallego Arias, Érik Martin-Dorel, et al.. Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users. 14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18, ⟨10.4230/LIPIcs.ITP.2023.12⟩. ⟨hal-04098856v2⟩
-
-
-
-
-
-