Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

Professur für Algebraische und logische Grundlagen der Informatik

Organisation: Professur

Organisationsprofil

Inhaber:in der Professur: Prof. Dr. rer. nat. Christel Baier

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

TUD Webseite: https://tu-dresden.de/ing/informatik/thi/alg

Ü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)

Baier, Christel

christel.baier@tu-dresden.de

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

Person

Chau, Calvin

calvin.chau@tu-dresden.de

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

Person

Käfer, Nikolai

nikolai.kaefer@tu-dresden.de

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

Person

Klüppelholz, Sascha

sascha.klueppelholz@tu-dresden.de

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

Person

Korn, Max

max.korn@tu-dresden.de

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

Person

Alle Forschenden mit öffentlichem Profil ansehen (10)

Configuring BDD Compilation Techniques for Feature Models

Käfer, N., Dubslaff, C. & Husung, N., 2 Sept. 2024, SPLC '24: Proceedings of the 28th ACM International Systems and Software Product Line Conference. Association for Computing Machinery (ACM), Band A. S. 209-216

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

Linear dynamical systems with continuous weight functions

Aghamov, R., Baier, C., Karimov, T., Ouaknine, J. & Piribauer, J., 14 Mai 2024, HSCC 2024 - Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, part of CPS-IoT Week. Association for Computing Machinery, Inc, S. 22:1-22:11 11 S. 22. (HSCC 2024 - Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, part of CPS-IoT Week).

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

Backward Responsibility in Transition Systems Using General Power Indices

Baier, C., van den Bossche, R., Klüppelholz, S., Lehmann, J. & Piribauer, J., 25 März 2024, in: Proceedings of the AAAI Conference on Artificial Intelligence. 38, 18, S. 20320-20327 8 S.

Publikation: Beitrag in Fachzeitschrift › Konferenzartikel › Beigetragen › Begutachtung

Lazy model checking for recursive state machines

Dubslaff, C., Wienhöft, P. & Fehnker, A., 20 März 2024, in: Software and systems modeling. 23, 2, S. 369-401 33 S.

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Foundations of probability-raising causality in Markov decision processes

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

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (161)

Proceedings of the AAAI Conference on Artificial Intelligence

ISSNs: 2159-5399

Weitere durchsuchbare ISSN (elektronisch): 2374-3468

AAAI Press

Fachzeitschrift: Zeitschrift

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,863

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 (2023): CiteScore 3,8 SJR 0,511 SNIP 0,916

Fachzeitschrift: Zeitschrift

ACM SIGLOG News

ISSNs: 2372-3491

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

Fachzeitschrift: Zeitschrift

IEEE Transactions on Software Engineering

ISSNs: 0098-5589

Weitere durchsuchbare ISSN (elektronisch): 1939-3520

IEEE Xplore, USA/Vereinigte Staaten

Scopus-Bewertung (2023): CiteScore 9,7 SJR 1,868 SNIP 2,591

Fachzeitschrift: Zeitschrift

Alle Zeitschriften ansehen (27)

Probabilistic Feature Models

Käfer, N. (Redner:in)

9 Apr. 2024

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

Backward Responsibility in Transition Systems Using General Power Indices

Lehmann, J. A. (Redner:in)

22 Feb. 2024

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

Strachey Lecture: From classical to nonclassical stochastic shortest path problems

Baier, C. (Dozent:in)

6 Feb. 2024

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

Binary Classifiers in Markov Decision Processes

Ziemek, R. (Redner:in)

28 Sept. 2023

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

Computing Responsibility in Transition Systems

Lehmann, J. A. (Redner:in)

28 Sept. 2023

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

Alle Aktivitäten ansehen (157)

ACM SIGBED HSCC Best Paper Award

Aghamov, Rajab (Empfänger:in), Piribauer, Jakob (Empfänger:in), Baier, Christel (Empfänger:in), Karimov, Toghrul (Empfänger:in) & Ouaknine, Joël (Empfänger:in), 2024

Auszeichnung: Preis › Publikations-/Konferenzpreis

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

Alle Auszeichnungen ansehen (8)

dimagic

Käfer, N. (Urheber:in), Husung, N. (Urheber:in) & Dubslaff, C. (Urheber:in), Zenodo, 10 Juli 2024

DOI: https://doi.org/10.5281/zenodo.12707100

Forschungsdaten: Software

Alle Forschungsdaten ansehen (1)