Johannes Lehmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2022–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FMICS | Backward Responsibility in Transition Systems Beyond Safety. | Christel Baier, Rio Klatt, Sascha Klppelholz, Johannes Lehmann |
| 2024 | AAAI | Backward Responsibility in Transition Systems Using General Power Indices. | Christel Baier, Roxane van den Bossche, Sascha Klppelholz, Johannes Lehmann, Jakob Piribauer |
| 2023 | VECoS | Towards a Formal Account on Negative Latency. | Clemens Dubslaff, Jonas Schulz, Patrick Wienhft, Christel Baier, Frank H. P. Fitzek, Stefan J. Kiebel, Johannes Lehmann |
| 2022 | VMCAI | Out of Control: Reducing Probabilistic Models by Control-State Elimination. | Tobias Winkler, Johannes Lehmann, Joost-Pieter Katoen |