Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: nid=12400301X



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/12400301X
Person Baier, Christel
Akademischer Grad Prof. Dr.
Quelle LCAuth
Homepage: http://wwwtcs.inf.tu-dresden.de/~baier/index.html
Land Deutschland (XA-DE)
Beruf(e) Informatikerin
Mathematikerin
Weitere Angaben Diplom in Mathematik, Univ. Mannheim, 1990, Ph.D. in Informatik, Univ. Mannheim, 1994, Habilitation 1999
Beziehungen zu Organisationen Technische Universität Dresden (Professorin) (2006-)
Rheinische Friedrich-Wilhelms-Universität Bonn (Professorin) (1999-2006)
Typ Person (piz)
Autor von 18 Publikationen
  1. From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
    John, Tobias. - Dresden : Technische Universität Dresden, 2024
  2. Probabilistic causes in Markov chains
    Ziemek, Robin. - Dresden : Technische Universität Dresden, 2024
  3. ...
Beteiligt an 18 Publikationen
  1. Probabilistic Causality in Markovian Models
    Ziemek, Robin. - Dresden : Technische Universität Dresden, 2024
  2. Probabilistic Model Checking for Temporal Logics in Weighted Structures
    Wunderlich, Sascha. - Dresden : Technische Universität Dresden, 2024
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration