| http://dbpedia.org/ontology/abstract
|
Christel Baier (born 26 September 1965) is … Christel Baier (born 26 September 1965) is a German theoretical computer scientist known for her work in model checking, temporal logic, and automata theory. She is a professor at TU Dresden, where she holds the chair for Algebraic and Logic Foundations of Computer Science in the Faculty of Computer Science. Baier is the editor-in-chief of Acta Informatica.s the editor-in-chief of Acta Informatica.
, Christel Baier (* 26. September 1965 in Karlsruhe) ist eine deutsche theoretische Informatikerin. Sie ist Inhaberin der Professur für algebraische und logische Grundlagen der Informatik an der TU Dresden.
|
| http://dbpedia.org/ontology/wikiPageID
|
65497934
|
| http://dbpedia.org/ontology/wikiPageLength
|
3351
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1068726021
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Principles_of_Model_Checking +
, http://dbpedia.org/resource/Category:1965_births +
, http://dbpedia.org/resource/Category:University_of_Mannheim_alumni +
, http://dbpedia.org/resource/Acta_Informatica +
, http://dbpedia.org/resource/Automata_theory +
, http://dbpedia.org/resource/TU_Dresden +
, http://dbpedia.org/resource/Category:Theoretical_computer_scientists +
, http://dbpedia.org/resource/Category:German_computer_scientists +
, http://dbpedia.org/resource/Temporal_logic +
, http://dbpedia.org/resource/Theoretical_computer_science +
, http://dbpedia.org/resource/Academia_Europaea +
, http://dbpedia.org/resource/Category:Members_of_Academia_Europaea +
, http://dbpedia.org/resource/University_of_Mannheim +
, http://dbpedia.org/resource/Habilitation +
, http://dbpedia.org/resource/Category:TU_Dresden_faculty +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/University_of_Bonn +
, http://dbpedia.org/resource/Joost-Pieter_Katoen +
, http://dbpedia.org/resource/Category:German_women_computer_scientists +
, http://dbpedia.org/resource/Model_checking +
, http://dbpedia.org/resource/Category:University_of_Bonn_faculty +
|
| http://dbpedia.org/property/cs1Dates
|
ly
|
| http://dbpedia.org/property/date
|
October 2020
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Google_Scholar_id +
, http://dbpedia.org/resource/Template:Use_list-defined_references +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Compu-scientist-stub +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:R +
, http://dbpedia.org/resource/Template:Reflist +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Members_of_Academia_Europaea +
, http://dbpedia.org/resource/Category:1965_births +
, http://dbpedia.org/resource/Category:German_women_computer_scientists +
, http://dbpedia.org/resource/Category:University_of_Mannheim_alumni +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:University_of_Bonn_faculty +
, http://dbpedia.org/resource/Category:TU_Dresden_faculty +
, http://dbpedia.org/resource/Category:German_computer_scientists +
, http://dbpedia.org/resource/Category:Theoretical_computer_scientists +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Christel_Baier?oldid=1068726021&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Christel_Baier +
|
| owl:sameAs |
http://data.bibliotheken.nl/id/thes/p184653339 +
, https://global.dbpedia.org/id/9nJiA +
, https://orcid.org/0000-0002-5321-9343 +
, http://d-nb.info/gnd/12400301X +
, http://viaf.org/viaf/52611758 +
, http://arz.dbpedia.org/resource/%D9%83%D8%B1%D9%8A%D8%B3%D8%AA%D9%84_%D8%A8%D8%A7%D9%8A%D8%B1 +
, http://www.wikidata.org/entity/Q62415763 +
, http://de.dbpedia.org/resource/Christel_Baier +
, https://dblp.org/pid/b/ChristelBaier +
, http://d-nb.info/gnd/101591263X +
, http://d-nb.info/gnd/1068166959 +
, http://dbpedia.org/resource/Christel_Baier +
|
| rdfs:comment |
Christel Baier (* 26. September 1965 in Karlsruhe) ist eine deutsche theoretische Informatikerin. Sie ist Inhaberin der Professur für algebraische und logische Grundlagen der Informatik an der TU Dresden.
, Christel Baier (born 26 September 1965) is … Christel Baier (born 26 September 1965) is a German theoretical computer scientist known for her work in model checking, temporal logic, and automata theory. She is a professor at TU Dresden, where she holds the chair for Algebraic and Logic Foundations of Computer Science in the Faculty of Computer Science. Baier is the editor-in-chief of Acta Informatica.s the editor-in-chief of Acta Informatica.
|
| rdfs:label |
Christel Baier
|
