Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Maximilian P. L. Haslbeck

Maximilian Paul Louis Haslbeck

> Home > Persons

Person information

affiliation: Technical University of Munich, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2021
[b1]
- view
- export record
  dblp key:
  - phd/de/Haslbeck21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/de/Haslbeck21
Maximilian Paul Louis Haslbeck:
Verified Quantitative Analysis of Imperative Algorithms (Verifizierte Quantitative Analyse von Imperativen Algorithmen). Technical University of Munich, Germany, 2021

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2022
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/HaslbeckL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/HaslbeckL22
Maximilian P. L. Haslbeck, Peter Lammich:
For a Few Dollars More: Verified Fine-Grained Algorithm Analysis Down to LLVM. ACM Trans. Program. Lang. Syst. 44(3): 14:1-14:36 (2022)
2019
[j3]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/HaslbeckLB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/HaslbeckLB19
Maximilian P. L. Haslbeck, Peter Lammich, Julian Biendarra:
Kruskal's Algorithm for Minimum Spanning Forest. Arch. Formal Proofs 2019 (2019)
2018
[j2]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/HaslbeckN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/HaslbeckN18
Maximilian P. L. Haslbeck, Tobias Nipkow:
Hoare Logics for Time Bounds. Arch. Formal Proofs 2018 (2018)
2016
[j1]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/HaslbeckN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/HaslbeckN16
Maximilian P. L. Haslbeck, Tobias Nipkow:
Analysis of List Update Algorithms. Arch. Formal Proofs 2016 (2016)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2021
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/HaslbeckL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/HaslbeckL21
Maximilian P. L. Haslbeck, Peter Lammich:
For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM. ESOP 2021: 292-319
2020
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/NipkowEH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/NipkowEH20
Tobias Nipkow, Manuel Eberl, Maximilian P. L. Haslbeck:
Verified Textbook Algorithms - A Biased Survey. ATVA 2020: 25-53
2019
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/itp/HaslbeckL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/HaslbeckL19
Maximilian P. L. Haslbeck, Peter Lammich:
Refinement with Time - Refining the Run-Time of Algorithms in Isabelle/HOL. ITP 2019: 20:1-20:18
2018
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/ZhanH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/ZhanH18
Bohua Zhan, Maximilian P. L. Haslbeck:
Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle. IJCAR 2018: 532-548
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ruleml/HaslbeckW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/HaslbeckW18
Maximilian Paul Louis Haslbeck, Simon Wimmer:
Competitive Proving for Fun. LuxLogAI (Student / Workshop Papers) 2018: 9-14
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HaslbeckN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HaslbeckN18
Maximilian P. L. Haslbeck, Tobias Nipkow:
Hoare Logics for Time Bounds - A Study in Meta Theory. TACAS (1) 2018: 155-171
2016
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/HaslbeckN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/HaslbeckN16
Maximilian P. L. Haslbeck, Tobias Nipkow:
Verified Analysis of List Update Algorithms. FSTTCS 2016: 49:1-49:15
2013
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/NipkowH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/NipkowH13
Tobias Nipkow, Maximilian P. L. Haslbeck:
A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions. TABLEAUX 2013: 10-12

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2018
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1802-01336
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-01336
Bohua Zhan, Maximilian P. L. Haslbeck:
Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle. CoRR abs/1802.01336 (2018)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.