Max Korn: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Mitarbeiter |Vorname=Max |Nachname=Korn |Akademischer Titel=Dr.-Ing. |Forschungsgruppe=Verifikation und formale quantitative Analyse |Stellung=Wissenschaftlicher Mitarbeiter |Ehemaliger=0 |Email=max.korn@tu-dresden.de |Raum=APB 3004 |Bild=5L0A6742.jpg |DBLP=https://dblp.org/pid/339/2031.html |Publikationen anzeigen=1 |Abschlussarbeiten anzeigen=1 }}“) |
Johannes Lehmann (Diskussion | Beiträge) K (Textersetzung - „Verifikation und formale quantitative Analyse“ durch „Algebraische und logische Grundlagen der Informatik“) |
||
| Zeile 3: | Zeile 3: | ||
|Nachname=Korn | |Nachname=Korn | ||
|Akademischer Titel=Dr.-Ing. | |Akademischer Titel=Dr.-Ing. | ||
|Forschungsgruppe= | |Forschungsgruppe=Algebraische und logische Grundlagen der Informatik | ||
|Stellung=Wissenschaftlicher Mitarbeiter | |Stellung=Wissenschaftlicher Mitarbeiter | ||
|Ehemaliger=0 | |Ehemaliger=0 | ||
Aktuelle Version vom 5. März 2025, 14:48 Uhr
Dr.-Ing. Max Korn
Wissenschaftlicher Mitarbeiter Algebraische und logische Grundlagen der Informatik
Neueste Publikationen
Komplette Publikationsliste anzeigen
Max Korn, Julián Méndez, Sascha Klüppelholz, Ricardo Langner, Christel Baier, Raimund Dachselt
PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking
In Ferreira, Carla and Willemse, Tim A. C., eds., Software Engineering and Formal Methods, 361--375, 2023. Springer Nature Switzerland
Details
Max Korn, Philipp Chrszon, Sascha Klüppelholz, Christel Baier, Sascha Wunderlich
Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study
In Gilly, Katja and Thomas, Nigel, eds., Computer Performance Engineering, 19--34, 2023. Springer International Publishing
Details
