Matthias Daum
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Search for an interaction mediated by axion-like particles with ultracold neutrons at the PSI New Journal of Physics | 2024-06-21 | Paper |
| Concerned with the unprivileged: user programs in kernel refinement Formal Aspects of Computing | 2016-08-05 | Paper |
| Challenges and experiences in managing large-scale proofs Lecture Notes in Computer Science | 2012-09-07 | Paper |
| Proving fairness and implementation correctness of a microkernel scheduler Journal of Automated Reasoning | 2009-08-31 | Paper |
| Integration of a Software Model Checker into Isabelle Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Research outcomes over time
This page was built for person: Matthias Daum
