No. Title Author Year
1 Refinement of Parallel Algorithms down to LLVM Lammich, Peter 2022
2 Bounded-Deducibility Security (Invited Paper) Popescu, Andrei et al. 2021
3 Generating Verified LLVM from Isabelle/HOL Lammich, Peter 2019
4 Proof Pearl: Purely Functional, Simple and Efficient Priority Search Trees and Applications to Prim and Dijkstra Lammich, Peter et al. 2019
5 Refinement with Time - Refining the Run-Time of Algorithms in Isabelle/HOL Haslbeck, Maximilian P. L. et al. 2019
Current Page :
Number of result pages: 1
Number of documents: 5

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI