Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

Professur für Algebraische und logische Grundlagen der Informatik

Organisation: Professur

Kontakt

Besucheradresse:

Nöthnitzer Straße 46

Andreas-Pfitzmann-Bau

01187

Dresden

Deutschland

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

Person: Aktiv

Alle Forschenden mit öffentlichem Profil ansehen (1)

Configurable-by-construction runtime monitoring

Dubslaff, C. & Köhl, M. A., 1 Okt. 2022, International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Springer, 1 S. (Lecture Notes in Computer Science).

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

Operational causality – Necessarily sufficient and sufficiently necessary

Baier, C., Dubslaff, C., Funke, F., Jantsch, S., Piribauer, J. & Ziemek, R., 7 Sep. 2022, A Journey from Process Algebra via Timed Automata to Model Learning – Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (Hrsg.). Springer, Band 13560. S. 27–45 19 S. (Lecture Notes in Computer Science).

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

Causality in configurable software systems

Dubslaff, C., Weis, K., Baier, C. & Apel, S., 5 Juli 2022, Proceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering, ICSE 2022. Association for Computing Machinery (ACM), New York, S. 325-337 13 S.

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

The variance-penalized stochastic shortest path problem

Piribauer, J., Sankur, O. & Baier, C., 1 Juli 2022, 49th EATCS International Conference on Automata, Languages, and Programming, ICALP 2022: ICALP 2022, July 4–8, 2022, Paris, France. Bojańczyk, M., Merelli, E. & Woodruff, D. P. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, S. 129:1–129:19 19 S. 129. (49th EATCS International Conference on Automata, Languages, and Programming (ICALP 2022) ; Vol. 229, Band 229).

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

Admissibility in Probabilistic Argumentation

Käfer, N., Baier, C., Diller, M., Dubslaff, C., Gaggl, S. A. & Hermanns, H., 26 Juni 2022, in: Journal of Artificial Intelligence Research. 74, S. 957-1009 53 S.

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (138)

ACM SIGLOG News

ISSNs: 2372-3491

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

Fachzeitschrift: Zeitschrift

Fundamenta Informaticae

ISSNs: 0169-2968

Weitere durchsuchbare ISSN (elektronisch): 1875-8681

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

Scopus-Bewertung (2021): CiteScore 3,1 SJR 0,385 SNIP 0,767

Fachzeitschrift: Zeitschrift

Innovations in Systems and Software Engineering

ISSNs: 1614-5054, 1614-5046

Springer London

Scopus-Bewertung (2021): CiteScore 2,1 SJR 0,38 SNIP 0,918

Fachzeitschrift: Zeitschrift

Logical methods in computer science : LMCS

ISSNs: 1860-5974

Weitere durchsuchbare ISSN (elektronisch): 1860-5974

Department of Theoretical Computer Science, Technical University of Braunschweig, Deutschland

Scopus-Bewertung (2021): CiteScore 2 SJR 0,696 SNIP 1,024

In DOAJ indiziert

Fachzeitschrift: Zeitschrift

Formal Methods in System Design

ISSNs: 0925-9856

Weitere durchsuchbare ISSN (elektronisch): 1572-8102

Springer Fachmedien

Scopus-Bewertung (2021): CiteScore 2,8 SJR 0,502 SNIP 1,274

Fachzeitschrift: Zeitschrift

Alle Zeitschriften ansehen (20)

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

Feature Causes of Quantitative Effect Properties

Dubslaff, C. (Redner:in)

3 Apr. 2022

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

Iterative Variable Reordering: Taming Huge System Families

Dubslaff, C. (Redner:in)

2 Apr. 2022

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

System Configurations Matter – An Experience Report on Reproducibility

Dubslaff, C. (Redner:in)

2 Apr. 2022

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

Feature Causality with Uncertain Effects

Dubslaff, C. (Redner:in)

31 März 2022

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

Alle Aktivitäten ansehen (136)

Ehrendoktorwürde der RWTH Aachen

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

Auszeichnung: Ehrung/Würdigung › Ehrendoktorwürde

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 › Publikationspreis

ACM SIGBED HCSS 2018 Best Paper Award

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

Auszeichnung: Preis › Publikationspreis

ETAPS Best Theory Paper Award 2014

Baier, Christel (Preisträger:in), Klüppelholz, Sascha (Preisträger:in), Klein, Joachim (Preisträger:in) & Märcker, Steffen (Preisträger:in), Apr. 2014

Auszeichnung: Preis › Publikationspreis

EATCS Award for Best ETAPS Paper 2008

Baier, Christel (Preisträger:in), Bertrand, Nathalie (Preisträger:in) & Größer, Marcus (Preisträger:in), 17 Juli 2008

Auszeichnung: Preis › Publikationspreis

Alle Auszeichnungen ansehen (5)