Searching for authors named "Patricia Bouyer" – sorted by Relevance.
34 documents found, showing 1 through 10.
Next 10 →
-
A Logical Characterization of Data Languages
- … Patricia BOUYER LSV - CNRS UMR 8643 - ENS de Cachan 61, Av. du Prsident Wilson - 94235 Cachan Cedex…
- Cited by 7 (1 self) – Add To MetaCart
-
Weighted timed automata: model-checking and games
- …Weighted Timed Automata: Model-Checking and Games Abstract Patricia Bouyer 1,2 LSV – CNRS & ENS de…
- Cited by 3 (1 self) – Add To MetaCart
-
Timed Automata May Cause Some Troubles
- …Patricia Bouyer Timed Automata May Cause Some Troubles Research Report LSV-02-9, Jul. 2002 Ecole…
- Cited by 2 (1 self) – Add To MetaCart
-
Updatable Timed Automata, an Algorithmic Approach
- … Updatable Timed Automata, an Algorithmic Approach Patricia BOUYER ? LSV - CNRS UMR 8643 - ENS de Cachan 61…
- Cited by 1 (0 self) – Add To MetaCart
-
A New Algorithm to Decide Emptiness of Updatable Timed Automata
- … Patricia Bouyer LSV, CNRS UMR 8643, ENS de Cachan, 61 Av. du Prsident Wilson, 94235 Cachan Cedex, France…
- Cited by 1 (1 self) – Add To MetaCart
-
Extended Timed Automata and Time Petri Nets
- …Patricia Bouyer, Serge Haddad and Pierre-Alain Reynier Extended Timed Automata and Time Petri Nets…
- Cited by 1 (0 self) – Add To MetaCart
-
Timed Control with Partial Observability
- …. Timed Control with Partial Observability ? Patricia Bouyer 1?? , Deepak D'Souza 2? ? ? , P…
- Cited by 19 (4 self) – Add To MetaCart
-
A Kleene/Büchi-like Theorem for Clock Languages
- …. A KLEENE/BCHI-LIKE THEOREM FOR CLOCK LANGUAGES Patricia Bouyer and Antoine Petit y LSV, CNRS UMR…
- Cited by 7 (2 self) – Add To MetaCart
-
Forward Analysis of Updatable Timed Automata
- …. Forward Analysis of Updatable Timed Automata Patricia B##### LSV -- CNRS UMR 8643 & ENS de Cachan BRICS…
- Cited by 17 (4 self) – Add To MetaCart
-
Decomposition and Composition of Timed Automata
- …, pages 210-219. Springer, 1999. Decomposition and composition of timed automata Patricia Bouyer…
- Cited by 11 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
