Max W. Haslbeck

Homepages 🌐

• http://cl-informatik.uibk.ac.at/users/mhaslbeck/

Entries

2020

Skip Lists

by Max W. Haslbeck 🌐 and Manuel Eberl 🌐

Jan 09

2019

Farkas' Lemma and Motzkin's Transposition Theorem

by Ralph Bottesch 🌐, Max W. Haslbeck 🌐 and René Thiemann 🌐

Jan 17

2018

Treaps

by Max W. Haslbeck 🌐, Manuel Eberl 🌐 and Tobias Nipkow 🌐

Feb 06

A verified LLL algorithm

by Ralph Bottesch, Jose Divasón 🌐, Max W. Haslbeck 🌐, Sebastiaan J. C. Joosten 🌐, René Thiemann 🌐 and Akihisa Yamada

Feb 02

2016

Simple Firewall

by Cornelius Diekmann 🌐, Julius Michaelis 🌐 and Max W. Haslbeck 🌐

Aug 24

Algorithms for Reduced Ordered Binary Decision Diagrams

by Julius Michaelis 🌐, Max W. Haslbeck 🌐, Peter Lammich 🌐 and Lars Hupel 🌐

Apr 27