( en | de | ru )

 

Disambiguierung von "Baier, Christel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model checking meets performance evaluation.

, , , und . SIGMETRICS Perform. Evaluation Rev., 32 (4): 10-15 (2005)

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)

Andreas Baier

Jürgen Baier

Angela Baier

 

Weitere Publikationen von Autoren mit dem selben Namen

Theoretische Informatik eBook : Berechenbarkeit ..., Komplexität ..., formale Sprachen .., und . (2008)Theoretische Informatik. Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101~Beispielen, und . Pearson Studium, München, (2002)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)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)On the probabilistic bisimulation spectrum with silent moves., , und . Acta Informatica, 57 (3-5): 465-512 (2020)Verification Column.. ACM SIGLOG News, 10 (4): 24 (Oktober 2023)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)