Maximilian P. L. Haslbeck

From MaRDI portal
Person:1799113

Available identifiers

zbMath Open haslbeck.maximilian-p-lMaRDI QIDQ1799113

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q58754282023-02-03Paper
Verified Textbook Algorithms2022-12-22Paper
For a few dollars more. Verified fine-grained algorithm analysis down to LLVM2021-10-18Paper
Hoare logics for time bounds. A study in meta theory2019-09-16Paper
Verifying asymptotic time complexity of imperative programs in Isabelle2018-10-18Paper
Verified iptables firewall analysis and verification2018-08-21Paper
Verified Analysis of List Update Algorithms.2018-04-19Paper
Mining the Archive of Formal Proofs2015-11-20Paper
A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions2013-10-04Paper

Research outcomes over time

This page was built for person: Maximilian P. L. Haslbeck

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