Katalog der Deutschen Nationalbibliothek

Neuigkeiten Wegen geplanter Wartungsarbeiten kann es am 22. Januar 2025 von 7:30 bis 16:00 Uhr zu Einschränkungen beim Zugriff auf unsere Online-Ressourcen und Inhaltsverzeichnisse kommen.
Due to scheduled maintenance on January 22, 2025, access to our online resources and content directories may be temporarily disrupted between 7:30 AM and 4:00 PM.
 
Neuigkeiten

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

 
 

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 22 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