Skip to content Skip to footer

Research Portal of the TU Dresden

Johannes Alexander Lehmann Master of Science
Person

Affiliations

Chair of Algebraic and Logical Foundations of Computer Science
- Academic Staff
- johannes_alexander.lehmann@tu-dresden.de

Identification Numbers

ORCID	0000-0001-7047-3813
Scopus author ID	59887774700

Backward Responsibility in Transition Systems Beyond Safety

Baier, C., Klatt, R., Klüppelholz, S. & Lehmann, J., 2026, Formal Methods for Industrial Critical Systems: 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings. Remke, A. & Steffen, B. (eds.). Springer, Cham, p. 105-123 18 p. (Lecture Notes in Computer Science, Vol. 16040).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Responsibility in Actor-Based Systems

Baier, C., Klüppelholz, S. & Lehmann, J., 2025, Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday. Lee, E. A., Mousavi, M. R. & Talcott, C. (eds.). Springer Science and Business Media B.V., p. 44-69 26 p. (Lecture notes in computer science, Vol. 15560 LNCS).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Chapter in book/Anthology/Report › Contributed › peer-review

Backward Responsibility in Transition Systems Using General Power Indices

Baier, C., van den Bossche, R., Klüppelholz, S., Lehmann, J. & Piribauer, J., 25 Mar 2024, In: Proceedings of the AAAI Conference on Artificial Intelligence. 38, 18, p. 20320-20327 8 p.

Research output: Contribution to journal › Conference article › Contributed › peer-review

Towards a Formal Account on Negative Latency

Dubslaff, C., Schulz, J., Wienhöft, P., Baier, C., Fitzek, F. H. P., Kiebel, S. J. & Lehmann, J., 2024, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings. Steffen, B. (ed.). Springer, Cham, p. 188–214 27 p. (Lecture Notes in Computer Science, Volume 14380).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

View all research output (4)