Autor der Publikation

Exercices de programmation fonctionnelle en OCaml une approche pédagogique par l'algorithmique, la preuve et la compléxité

, , und . Ellipses, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Interactive Physical Zero-Knowledge Proof for Norinori., , , , , und . COCOON, Volume 11653 von Lecture Notes in Computer Science, Seite 166-177. Springer, (2019)Conflict Optimization for Binary CSP Applied to Minimum Partition into Plane Subgraphs and Graph Coloring., , , , , , , , , und 1 andere Autor(en). CoRR, (2023)RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol (Long version)., , und . IACR Cryptol. ePrint Arch., (2022)Improved Constructions of Anonymous Credentials From Structure-Preserving Signatures on Equivalence Classes., , und . IACR Cryptol. ePrint Arch., (2021)Fast Cramer-Shoup Cryptosystem., , und . SECRYPT, Seite 766-771. SCITEPRESS, (2021)Samba: A System for Secure Federated Multi-Armed Bandits., , , , und . ICDE, Seite 3154-3157. IEEE, (2022)Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality., , und . ICDCN, Seite 76-85. ACM, (2021)Secure Strassen-Winograd Matrix Multiplication with MapReduce., , , und . ICETE (2), Seite 220-227. SciTePress, (2019)Secure Intersection with MapReduce., , , und . ICETE (2), Seite 236-243. SciTePress, (2019)GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation., und . DBSec, Volume 12122 von Lecture Notes in Computer Science, Seite 347-366. Springer, (2020)