Arbeitsgruppe Algorithmen und Komplexität

Hauke Brinkop

Wiss. Mitarbeiter

Christian-Albrechts-Platz 4, Raum 1009
Telefon: +49 431 880-7522
Telefax: +49 431 880-7614

Email-Brinkop

Publikationen:

  •  Tobias Nipkow, Hauke Brinkop: Amortized Complexity Verified. J. Autom. Reasoning 62(3): 367-391 (2019) [PDF]
  •  Hauke Brinkop, Tobias Nipkow: Pairing Heap. Archive of Formal Proofs 2016 (2016) [Link zur Theory]