Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

Professur für Algebraische und logische Grundlagen der Informatik

Organisation: Professur

Kontakt

Adressentyp: Besucheradresse.

Nöthnitzer Straße 46

Andreas-Pfitzmann-Bau

01187

Dresden

Deutschland

Adressentyp: Postadresse.

01162

Dresden

Deutschland

Telefon: 0351 463 38549

E-Mail: christel.baier@tu-dresden.de
E-Mail: secretary_alg@mailbox.tu-dresden.de

Übergeordnete Einrichtungen

Institut für Theoretische Informatik

Schlagworte

DFG-Fachsystematik nach Fachkollegium

Theoretische Informatik

Fächergruppen, Lehr- und Forschungsbereiche, Fachgebiete nach Destatis

Theoretische Informatik

Forschungsschwerpunkte

Verknüpfte Inhalte und Forschende (öffentliche Profile)

Forschende (öffentliche Profile)
Veröffentlichungen
Zeitschriften
Aktivitäten
Auszeichnungen

Baier, Christel

christel.baier@tu-dresden.de

Professur für Algebraische und logische Grundlagen der Informatik - Wissenschaftliches Personal
Fakultät Informatik - Wissenschaftliches Personal
Exzellenzcluster CeTI: Zentrum für Taktiles Internet - Mitglied

Person: Aktiv

Käfer, Nikolai

nikolai.kaefer@tu-dresden.de

Professur für Algebraische und logische Grundlagen der Informatik - Wissenschaftliches Personal

Person: Aktiv

Alle Forschenden mit öffentlichem Profil ansehen (2)

Lazy model checking for recursive state machines

Dubslaff, C., Wienhöft, P. & Fehnker, A., 20 März 2024, in: Software and systems modeling.

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Foundations of probability-raising causality in Markov decision processes

Baier, C., Piribauer, J. & Ziemek, R., 2024, in: Logical methods in computer science : LMCS. 20, 1, S. 4:1–4:66

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Towards a Formal Account on Negative Latency

Dubslaff, C., Schulz, J., Wienhöft, P., Baier, C., Fitzek, F. H. P., Kiebel, S. J. & Lehmann, J., 14 Dez. 2023, Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings. Steffen, B. (Hrsg.). Springer, Cham, S. 188–214 (Lecture Notes in Computer Science, Volume 14380).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking

Korn, M., Méndez, J., Klüppelholz, S., Langner, R., Baier, C. & Dachselt, R., 31 Okt. 2023, Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. Ferreira, C. & Willemse, T. A. C. (Hrsg.). Cham: Springer, Cham, S. 361-375 15 S. (Lecture Notes in Computer Science, Volume 14323).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

More for Less: Safe Policy Improvement with Stronger Performance Guarantees

Wienhöft, P., Suilen, M., Simão, T. D., Dubslaff, C., Baier, C. & Jansen, N., Aug. 2023, Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. S. 4406-4415

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (149)

Electronic notes in theoretical computer science : ENTCS

ISSNs: 1571-0661

Weitere durchsuchbare ISSN (elektronisch): 1571-0661

Elsevier Science B.V., Niederlande

Scopus-Bewertung (2021): CiteScore 2 SJR 0,357 SNIP 0,846

Fachzeitschrift: Zeitschrift

Science of computer programming : methods of software design: techniques and applications

ISSNs: 0167-6423

Weitere durchsuchbare ISSN (elektronisch): 0167-6423

Elsevier Science B.V., Niederlande

Scopus-Bewertung (2022): CiteScore 3,5 SJR 0,517 SNIP 1,123

Fachzeitschrift: Zeitschrift

ACM SIGLOG News

ISSNs: 2372-3491

Association for Computing Machinery (ACM), New York, USA/Vereinigte Staaten

Fachzeitschrift: Zeitschrift

Communications of the ACM : CACM ; a publ. of the Association for Computing Machinery / ed.-in-chief M. Stuart Lynn

ISSNs: 0001-0782

Weitere durchsuchbare ISSN (elektronisch): 1557-7317

Association for Computing Machinery (ACM), New York

Scopus-Bewertung (2022): CiteScore 9,8 SJR 1,514 SNIP 3,392

Fachzeitschrift: Zeitschrift

Fundamenta Informaticae

ISSNs: 0169-2968

Weitere durchsuchbare ISSN (elektronisch): 1875-8681

IOS Press, Amsterdam [u. a.], Niederlande

Scopus-Bewertung (2022): CiteScore 3,2 SJR 0,338 SNIP 0,688

Fachzeitschrift: Zeitschrift

Alle Zeitschriften ansehen (24)

Probabilistic Feature Diagrams

Käfer, N. (Redner:in)

9 Apr. 2024

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen

From classical to non-classical stochastic shortest path problems

Baier, C. (Redner:in)

18 Juli 2023

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen

Probability-raising Causality in Markov Decision Processes

Baier, C. (Redner:in)

17 Juli 2023

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen

Probabilistic Causality in Markovian Models

Baier, C. (Redner:in)

11 Nov. 2022

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen

Thirty-Seventh Annual ACM/IEEE Symposium onLogic in Computer Science (LICS) (Veranstaltung)

Baier, C. (Herausgeber:in), Fisman, D. (Herausgeber:in)

2 Aug. 2022 → 5 Aug. 2022

Aktivität: Begutachtung von Manuskripten und herausgeberische Tätigkeiten › Herausgebertätigkeit

Alle Aktivitäten ansehen (141)

Jean-Claude Laprie Award in Dependable Computing

Baier, Christel (Empfänger:in), 2023

Auszeichnung: Preis › Forschungspreis

Ehrendoktorwürde der RWTH Aachen

Baier, Christel (Empfänger:in), 9 Sept. 2022

Auszeichnung: Ehrung/Würdigung › Ehrendoktorwürde

Test-of-Time Award CONCUR

Baier, Christel (Empfänger:in), 2022

Auszeichnung: Preis › Forschungspreis

Best paper award ATVA 2021

Baier, Christel (Preisträger:in), John, Tobias (Preisträger:in), Klüppelholz, Sascha (Preisträger:in) & Jantsch, Simon (Preisträger:in), Okt. 2021

Auszeichnung: Preis › Publikations-/Konferenzpreis

ACM SIGBED HCSS 2018 Best Paper Award

Gburek (geb. Krähmann), Daniel (Preisträger:in) & Baier, Christel (Preisträger:in), 2018

Auszeichnung: Preis › Publikations-/Konferenzpreis

Alle Auszeichnungen ansehen (7)