( en | de | ru )

 

Disambiguierung von "Baier, Christel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Synthesis of Optimal Resilient Control Strategies.

, , , , und . ATVA, Volume 10482 von Lecture Notes in Computer Science, Seite 417-434. Springer, (2017)

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)

Wolfgang Baier

Gottfried Baier

Rudolf Baier

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Norm Functions for Probabilistic Bisimulations with Delays., und . FoSSaCS, Volume 1784 von Lecture Notes in Computer Science, Seite 1-16. Springer, (2000)Long-run Satisfaction of Path Properties., , , und . LICS, Seite 1-14. IEEE, (2019)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)On the probabilistic bisimulation spectrum with silent moves., , und . Acta Informatica, 57 (3-5): 465-512 (2020)Foundations of probability-raising causality in Markov decision processes., , und . CoRR, (2022)Verification Column.. ACM SIGLOG News, 10 (4): 24 (Oktober 2023)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)Rare-event verification for stochastic hybrid systems., , und . HSCC, Seite 217-226. ACM, (2012)