Maximilian P. L. Haslbeck

Available identifiers

zbMath Open haslbeck.maximilian-p-lMaRDI QIDQ1799113

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5875428	2023-02-03	Paper
Verified Textbook Algorithms	2022-12-22	Paper
For a few dollars more. Verified fine-grained algorithm analysis down to LLVM	2021-10-18	Paper
Hoare logics for time bounds. A study in meta theory	2019-09-16	Paper
Verifying asymptotic time complexity of imperative programs in Isabelle	2018-10-18	Paper
Verified iptables firewall analysis and verification	2018-08-21	Paper
Verified Analysis of List Update Algorithms.	2018-04-19	Paper
Mining the Archive of Formal Proofs	2015-11-20	Paper
A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions	2013-10-04	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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