Your search returned the following 4 documents:

4. Online Checkpointing with Improved Worst-Case Guarantees
   Karl Bringmann, Benjamin Doerr, Adrian Neumann, and Jakub Sliacan
   In: Automata, Languages, and Programming - 40th International Colloquium (ICALP 2013), Riga, Latvia, 2013, 255-266
   
3. Implementation of Schmidt's algorithm for certifying triconnectivity testing
   Adrian Neumann
   Master's thesis, Universität des Saarlandes, 2011
   
2. Certifying 3-Edge-Connectivity
   Kurt Mehlhorn, Adrian Neumann, and Jens M. Schmidt
   . Note: Manuscript
   
   
1. Remarks on Category-Based Routing in Social Networks
   Karl Bringmann, Kurt Mehlhorn, and Adrian Neumann