Thomas Luedi

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 2

Top Topics

Finite State Automata

String Matching

Top Venues

Theor. Comput. Sci.

Publications

Klaus-Tycho Foerster, Thomas Luedi, Jochen Seidel, Roger Wattenhofer
Local checkability, no strings attached: (A)cyclicity, reachability, loop free updates in SDNs. Theor. Comput. Sci. 709 (2018)
Klaus-Tycho Förster, Thomas Luedi, Jochen Seidel, Roger Wattenhofer
Local checkability, no strings attached. ICDCN (2016)