From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

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