-
Computer Science
-
Research
-
Research Profile
Algorithmic and formal fundamentals
Anish Mukherjee, Thomas Schwentick , Thomas Zeume: Reachability Is in DynFO. J. ACM 65(5): 33:1-33:24 (2018). DOI: 10.1145/3212685 Mark de Berg, Kevin Buchin , Bart M. P. Jansen, Gerhard J. Woeginger: Fine-grained …