English Patricia Bouyer-Decitre Cited by user David Eppstein on 24 May 2021 Patricia Bouyer-Decitre (published as Patricia Bouyer, born 1976) is a French theoretical computer scientist known for her research on timed automata, model checking…