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)

Aghamov, Rajab

rajab.aghamov@tu-dresden.de

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

Person

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

Alle Forschenden mit öffentlichem Profil ansehen (11)

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 8 S.

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

Entropic risk for turn-based stochastic games

Baier, C., Chatterjee, K., Meggendorfer, T. & Piribauer, J., Dez. 2024, in: Information and computation. 301(2024), Part A, 105214.

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › 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. (CPSWeek: Cyber-physical Systems).

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

Alle Veröffentlichungen ansehen (163)

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)

Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes

Chau, C. (Redner:in)

10 Sept. 2024

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

Probabilistic Feature Models

Käfer, N. (Redner:in)

9 Apr. 2024

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

Dagstuhl Research Meeting 24134

Chau, C. (Teilnehmer:in)

24 März 2024 → 27 März 2024

Aktivität: Veranstaltungsorganisation und -teilnahmen › Teilnahme an einer Veranstaltung

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

Alle Aktivitäten ansehen (160)

QEST+FORMATS Outstanding Artifact Award

Baier, C. (Empfänger:in), Chau, C. (Empfänger:in) & Klüppelholz, S. (Empfänger:in), 11 Sept. 2024

Auszeichnung: Preis › Publikations-/Konferenzpreis

ACM SIGBED HSCC Best Paper Award

Aghamov, R. (Empfänger:in), Piribauer, J. (Empfänger:in), Baier, C. (Empfänger:in), Karimov, T. (Empfänger:in) & Ouaknine, J. (Empfänger:in), 2024

Auszeichnung: Preis › Publikations-/Konferenzpreis

Jean-Claude Laprie Award in Dependable Computing

Baier, C. (Empfänger:in), 2023

Auszeichnung: Preis › Forschungspreis

Ehrendoktorwürde der RWTH Aachen

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

Auszeichnung: Ehrung/Würdigung › Ehrendoktorwürde

Test-of-Time Award CONCUR

Baier, C. (Empfänger:in), 2022

Auszeichnung: Preis › Forschungspreis

Alle Auszeichnungen ansehen (9)

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)