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)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)Automatic Generation of Program Families by Model Restrictions. (2004)Concepts, Operations, and Feasibility of a Projection-Based Variation Control System., , , и . ICSME, стр. 323-333. IEEE Computer Society, (2016)Modal I/O Automata for Interface and Product Line Theories., , и . ESOP, том 4421 из Lecture Notes in Computer Science, стр. 64-79. Springer, (2007)Identifying Redundancies in Fork-based Development., , , и . SANER, стр. 230-241. IEEE, (2019)Finding Suitable Variability Abstractions for Family-Based Analysis., , и . FM, том 9995 из Lecture Notes in Computer Science, стр. 217-234. (2016)Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT., , , , и . SE/SWM, том P-292 из LNI, стр. 91-92. GI, (2019)