We stand with Ukraine  

Johannes Lehmann

Orcid: 0000-0001-7047-3813

Affiliations:
  • Dresden University of Technology, Department of Computer Science, Germany
  • RWTH Aachen University, Aachen, Germany (former)


According to our database1, Johannes Lehmann authored at least 3 papers between 2022 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Backward Responsibility in Transition Systems Using General Power Indices.
[BibTeX]
[DOI]
Christel Baier
,
Roxane van den Bossche
,
Sascha Klüppelholz
,
Johannes Lehmann
,
Jakob Piribauer
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Towards a Formal Account on Negative Latency.
[BibTeX]
[DOI]
Clemens Dubslaff
,
Jonas Schulz
,
Patrick Wienhöft
,
Christel Baier
,
Frank H. P. Fitzek
,
Stefan J. Kiebel
,
Johannes Lehmann
Proceedings of the Bridging the Gap Between AI and Reality, 2023

2022
Out of Control: Reducing Probabilistic Models by Control-State Elimination.
[BibTeX]
[DOI]
Tobias Winkler
,
Johannes Lehmann
,
Joost-Pieter Katoen
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022


  Loading...