4 citations · 6 across the 4 of their papers we have counts for
3 papers · 1 filter
Courcelle's Theorem Made Dynamic
Patricia Bouyer-Decitre, Vincent Jugé, Nicolas Markey
Dynamic complexity is concerned with updating the output of a problem when the input is slightly changed. We study the dynamic complexity of model checking a fixed monadic second-o…
Dynamic Complexity of Parity Games with Bounded Tree-Width
Patricia Bouyer, Vincent Jugé, Nicolas Markey
Dynamic complexity is concerned with updating the output of a problem when the input is slightly changed. We study the dynamic complexity of two-player parity games over graphs of…
Dynamic Complexity of the Dyck Reachability
Patricia Bouyer, Vincent Jugé
Dynamic complexity is concerned with updating the output of a problem when the input is slightly changed. We study the dynamic complexity of Dyck reachability problems in directed…