24 results on '"Hölzl, Johannes"'
Search Results
2. Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic
3. Formalising Semantics for Expected Running Time of Probabilistic Programs
4. A Formalized Hierarchy of Probabilistic System Types
5. A Verified Compiler for Probability Density Functions
6. Truly Modular (Co)datatypes for Isabelle/HOL
7. Recursive Functions on Lazy Lists via Domains and Topologies
8. Type Classes and Filters for Mathematical Analysis in Isabelle/HOL
9. Noninterfering Schedulers
10. Formalizing Probabilistic Noninterference
11. Verifying pCTL Model Checking
12. Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL
13. Three Chapters of Measure Theory in Isabelle/HOL
14. Formalising Semantics for Expected Running Time of Probabilistic Programs.
15. A Verified Compiler for Probability Density Functions.
16. A Formalized Hierarchy of Probabilistic System Types.
17. Recursive Functions on Lazy Lists via Domains and Topologies.
18. Truly Modular (Co)datatypes for Isabelle/HOL.
19. Type Classes and Filters for Mathematical Analysis in Isabelle/HOL.
20. Formalizing Probabilistic Noninterference.
21. Noninterfering Schedulers.
22. Proving Concurrent Noninterference.
23. Verifying pCTL Model Checking.
24. Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.