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

Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version)., , und . CoRR, (2015)Automatic Generation of Program Families by Model Restrictions. (2004)Techniques for Efficient Interactive Configuration of Distribution Networks., , und . IJCAI, Seite 100-105. (2007)On efficient program synthesis from statecharts.. LCTES, Seite 163-170. ACM, (2003)Symbolic Semantics for Probabilistic Programs., , , , und . QEST, Volume 14287 von Lecture Notes in Computer Science, Seite 329-345. Springer, (2023)Privacy with Good Taste - A Case Study in Quantifying Privacy Risks in Genetic Scores., , , , , , , und . DPM/CBT@ESORICS, Volume 13619 von Lecture Notes in Computer Science, Seite 103-119. Springer, (2022)Modal I/O Automata for Interface and Product Line Theories., , und . ESOP, Volume 4421 von Lecture Notes in Computer Science, Seite 64-79. Springer, (2007)Finding Suitable Variability Abstractions for Family-Based Analysis., , und . FM, Volume 9995 von Lecture Notes in Computer Science, Seite 217-234. (2016)Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT., , , , und . SE/SWM, Volume P-292 von LNI, Seite 91-92. GI, (2019)Identifying Redundancies in Fork-based Development., , , und . SANER, Seite 230-241. IEEE, (2019)