author-photo

Christel Baier

Dresden University of Technology
University of Bonn
University of Mannheim

340

Papers

11915

Citations

Citation Trend

Filter By

Papers (340) Sort By

Journal Conference Others

Interaction detection in configurable systems – A formal approach featuring roles

2023 Journal of Systems and Software
Show All
- Source
- Cite
- Save
Citations (0)
Causality in Configurable Software Systems.

2022 CoRR
Show All
- Source
- Cite
- Save
Citations (0)
On probability-raising causality in Markov decision processes.

2022 FoSSaCS | Foundations of Software Science and Computation Structure
Show All
- Source
- Cite
- Save
Citations (0)
The variance-penalized stochastic shortest path problem.

2022 CoRR
Show All
- Source
- Cite
- Save
Citations (0)
Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking.

2021 CONCUR | International Conference on Concurrency Theory
Show All
- Source
- Cite
- Save
Citations (0)
Determinization and Limit-determinization of Emerson-Lei automata.

2021 arXiv: Formal Languages and Automata Theory
Show All
- Source
- Cite
- Save
Citations (0)
Responsibility and verification: Importance value in temporal logics

2021 LICS | Logic in Computer Science
Show All
- Source
- Cite
- Save
Citations (1)
Responsibility and verification: Importance value in temporal logics.

2021 arXiv: Logic in Computer Science
Show All
- Source
- Cite
- Save
Citations (1)
A Game-Theoretic Account of Responsibility Allocation.

2021 arXiv: Computer Science and Game Theory
Show All
- Source
- Cite
- Save
Citations (1)
Human-inspired models for tactile computing

2021
Show All
- Source
- Cite
- Save
Citations (0)