Max Korn

Orcid: 0000-0003-3049-2539

According to our database¹, Max Korn authored at least 4 papers between 2022 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

Interactive Visualization Meets Probabilistic Model Checking Artifact.

[BibT_eX]

[DOI]

Dataset, June, 2023

Interactive Visualization Meets Probabilistic Model Checking Artifact.

[BibT_eX]

[DOI]

Dataset, June, 2023

PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

2022

Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 18th European Workshop, 2022

Max Korn

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...