Concepedia

Christian Hensel

CH

3

Publications

65

Citations

3

H-Index

2019

Active since

Affiliations

RWTH Aachen University(Current)

Christian Hensel is an author at RWTH Aachen University specializing in computer science, engineering, and computational complexity.

Top concepts

Publications per year

2019–2024

3

Publications

3

Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination

Christel Baier, Christian Hensel, Lisa Hutschenreiter et al. · Information and Computation · 2019 · 33 citations

, , +4

The probabilistic model checker Storm

Christian Hensel, Sebastian Junges, Joost-Pieter Katoen et al. · International Journal on Software Tools for Technology Transfer · 2021 · 18 citations · Full text

Parameter synthesis for Markov models: covering the parameter space

Sebastian Junges, Erika Ábrahám, Christian Hensel et al. · Formal Methods in System Design · 2024 · 14 citations · Full text

, , +22

Rows per page

1–3 of 3