Patricia Bouyer-Decitre
http://dbpedia.org/resource/Patricia_Bouyer-Decitre an entity of type: Thing
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.
rdf:langString
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.
rdf:langString
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.
rdf:langString
rdf:langString
Patricia Bouyer-Decitre
rdf:langString
Patricia Bouyer-Decitre
rdf:langString
Patricia Bouyer-Decitre
xsd:integer
67755648
xsd:integer
1035320934
rdf:langString
ly
rdf:langString
April 2021
rdf:langString
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.
rdf:langString
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.
rdf:langString
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.
xsd:nonNegativeInteger
8111
