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.

 

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

Techniques for Efficient Interactive Configuration of Distribution Networks., , и . IJCAI, стр. 100-105. (2007)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)Symbolic Semantics for Probabilistic Programs., , , , и . QEST, том 14287 из Lecture Notes in Computer Science, стр. 329-345. Springer, (2023)On efficient program synthesis from statecharts.. LCTES, стр. 163-170. ACM, (2003)Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version)., , и . CoRR, (2015)Automatic Generation of Program Families by Model Restrictions. (2004)Modal I/O Automata for Interface and Product Line Theories., , и . ESOP, том 4421 из Lecture Notes in Computer Science, стр. 64-79. Springer, (2007)Finding Suitable Variability Abstractions for Family-Based Analysis., , и . FM, том 9995 из Lecture Notes in Computer Science, стр. 217-234. (2016)Concepts, Operations, and Feasibility of a Projection-Based Variation Control System., , , и . ICSME, стр. 323-333. IEEE Computer Society, (2016)A Modal Specification Theory for Components with Data., , , , и . FACS, том 7253 из Lecture Notes in Computer Science, стр. 61-78. Springer, (2011)