Matthias Daum

From MaRDI portal
Person:736845

Available identifiers

zbMath Open daum.matthiasMaRDI QIDQ736845

List of research outcomes





PublicationDate of PublicationType
Search for an interaction mediated by axion-like particles with ultracold neutrons at the PSI2024-06-21Paper
Concerned with the unprivileged: user programs in kernel refinement2016-08-05Paper
Challenges and Experiences in Managing Large-Scale Proofs2012-09-07Paper
Proving fairness and implementation correctness of a microkernel scheduler2009-08-31Paper
Integration of a Software Model Checker into Isabelle2008-05-27Paper

Research outcomes over time

This page was built for person: Matthias Daum

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:736845&oldid=6910839"
Powered by MediaWiki