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)Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version)., , и . CoRR, (2015)Formal Specification and Testing for Reinforcement Learning., , , и . Proc. ACM Program. Lang., 7 (ICFP): 125-158 (августа 2023)Automatic Generation of Program Families by Model Restrictions. (2004)On efficient program synthesis from statecharts.. LCTES, стр. 163-170. ACM, (2003)Domain-Specific Languages - Effective Modeling, Automation, and Reuse, и . Springer, (2023)Symbolic Semantics for Probabilistic Programs., , , , и . QEST, том 14287 из Lecture Notes in Computer Science, стр. 329-345. Springer, (2023)Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT., , , , и . SE/SWM, том P-292 из LNI, стр. 91-92. GI, (2019)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)Language-Independent Traceability with Lässig., , и . ECMFA, том 8569 из Lecture Notes in Computer Science, стр. 148-163. Springer, (2014)