Patricia Bouyer-Decitre (published as Patricia Bouyer, born 1976) is a French theoretical computer scientist known for her research on timed automata, model checking, and temporal logic. She is a senior researcher for the French National Centre for Scientific Research (CNRS), and director of the Laboratoire Méthodes Formelles (Formal Methods Lab) of CNRS and the École normale supérieure Paris-Saclay.
Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - Patricia Bouyer-Decitre (de)
- Patricia Bouyer-Decitre (fr)
- Patricia Bouyer-Decitre (en)
|
rdfs:comment
| - Patricia Bouyer-Decitre (* 18. Oktober 1976) ist eine französische Informatikerin. Für ihre Forschungsarbeit über zeitgesteuerte Automaten wurde sie 2011 mit dem Presburger Award ausgezeichnet. (de)
- Patricia Bouyer-Decitre est une chercheuse française en informatique, née le 18 octobre 1976. Elle a obtenu le prix Presburger en 2011, pour ses travaux sur les automates temporisés. (fr)
- Patricia Bouyer-Decitre (published as Patricia Bouyer, born 1976) is a French theoretical computer scientist known for her research on timed automata, model checking, and temporal logic. She is a senior researcher for the French National Centre for Scientific Research (CNRS), and director of the Laboratoire Méthodes Formelles (Formal Methods Lab) of CNRS and the École normale supérieure Paris-Saclay. (en)
|
foaf:depiction
| |
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
thumbnail
| |
cs1-dates
| |
date
| |
has abstract
| - Patricia Bouyer-Decitre (* 18. Oktober 1976) ist eine französische Informatikerin. Für ihre Forschungsarbeit über zeitgesteuerte Automaten wurde sie 2011 mit dem Presburger Award ausgezeichnet. (de)
- Patricia Bouyer-Decitre est une chercheuse française en informatique, née le 18 octobre 1976. Elle a obtenu le prix Presburger en 2011, pour ses travaux sur les automates temporisés. (fr)
- Patricia Bouyer-Decitre (published as Patricia Bouyer, born 1976) is a French theoretical computer scientist known for her research on timed automata, model checking, and temporal logic. She is a senior researcher for the French National Centre for Scientific Research (CNRS), and director of the Laboratoire Méthodes Formelles (Formal Methods Lab) of CNRS and the École normale supérieure Paris-Saclay. (en)
|
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is Wikipage disambiguates
of | |
is foaf:primaryTopic
of | |