Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

FMplex: A Novel Method for Solving Linear Real Arithmetic Problems (Extended Version)., , , und . CoRR, (2023)FMplex: A Novel Method for Solving Linear Real Arithmetic Problems., , , und . GandALF, Volume 390 von EPTCS, Seite 16-32. (2023)Building User Journey Games from Multi-party Event Logs., , , und . ICPM Workshops, Volume 468 von Lecture Notes in Business Information Processing, Seite 71-83. Springer, (2022)Weighted Games for User Journeys., , , und . SEFM, Volume 13550 von Lecture Notes in Computer Science, Seite 253-270. Springer, (2022)Simulating User Journeys with Active Objects., , , , und . Active Object Languages: Current Research Trends, Volume 14360 von Lecture Notes in Computer Science, Springer, (2024)