( en | de | ru )

 

Disambiguierung von "Baier, Christel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reachability in Dynamical Systems with Rounding.

, , , , , , , , und . FSTTCS, Volume 182 von LIPIcs, Seite 36:1-36:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

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)

Angela Baier

Thomas Baier

Cristina Baier

 

Weitere Publikationen von Autoren mit dem selben Namen

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)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)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)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)Rare-event verification for stochastic hybrid systems., , und . HSCC, Seite 217-226. ACM, (2012)Responsibility and verification: Importance value in temporal logics., , , , und . LICS, Seite 1-14. IEEE, (2021)