( en | de | ru )

 

Disambiguierung von "Baier, Christel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model Checking Action- and State-Labelled Markov Chains.

, , , , und . DSN, Seite 701-710. IEEE Computer Society, (2004)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Christel Baier

Ralf Christel

Aktive Schwingungsminderung an gekoppelten Zylindern in Rollenoffsetdruckmaschinen mittels piezokeramischer Aktoren an den Lagerstellen. Uni Hannover, (2010)

Helga Baier

Wolfgang Baier

Gottfried Baier

 

Weitere Publikationen von Autoren mit dem selben Namen

Norm Functions for Probabilistic Bisimulations with Delays., und . FoSSaCS, Volume 1784 von Lecture Notes in Computer Science, Seite 1-16. Springer, (2000)Partial and Conditional Expectations in Markov Decision Processes with Integer Weights., und . FoSSaCS, Volume 11425 von Lecture Notes in Computer Science, Seite 436-452. Springer, (2019)Long-run Satisfaction of Path Properties., , , und . LICS, Seite 1-14. IEEE, (2019)Theoretische Informatik eBook : Berechenbarkeit ..., Komplexität ..., formale Sprachen .., und . (2008)Foundations of probability-raising causality in Markov decision processes., , und . CoRR, (2022)10031 Abstracts Collection - Quantitative Models: Expressiveness and Analysis., , , und . Quantitative Models: Expressiveness and Analysis, Volume 10031 von Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2010)Responsibility and verification: Importance value in temporal logics., , , , und . LICS, Seite 1-14. IEEE, (2021)Rare-event verification for stochastic hybrid systems., , und . HSCC, Seite 217-226. ACM, (2012)Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems., , , , und . EPEW, Volume 12039 von Lecture Notes in Computer Science, Seite 133-147. Springer, (2019)Verification Column.. ACM SIGLOG News, 10 (4): 24 (Oktober 2023)