Algorithms and Complexity Group

Hauke Brinkop

Researcher

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

Email-Brinkop

Publications:

  •  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]