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: idn=12400301X



Zurück



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 9 Publikationen
  1. From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
    Enthalten in Innovations in systems and software engineering 9.4.2022: 1-19
  2. A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select
    Baier, Christel. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013
  3. ...
Beteiligt an 14 Publikationen
  1. Certificates and Witnesses for Probabilistic Model Checking
    Jantsch, Simon. - Dresden : Technische Universität Dresden, 2022
  2. Quantitative Analysis of Configurable and Reconfigurable Systems
    Dubslaff, Clemens. - Dresden : Technische Universität Dresden, 2022
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration