( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Robust synthesis for real-time systems.

, , , и . Theor. Comput. Sci., (2014)

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.

Andrzej Piotrowski

Andrzej Tomczyk

Andrzej Lingas

Andrzej Debski

Andrzej Szczerbakow

 

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

Techniques for Efficient Interactive Configuration of Distribution Networks., , и . IJCAI, стр. 100-105. (2007)Automatic Generation of Program Families by Model Restrictions. (2004)Formal Specification and Testing for Reinforcement Learning., , , и . Proc. ACM Program. Lang., 7 (ICFP): 125-158 (августа 2023)Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version)., , и . CoRR, (2015)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)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)Domain-Specific Languages - Effective Modeling, Automation, and Reuse, и . Springer, (2023)A Modal Specification Theory for Components with Data., , , , и . FACS, том 7253 из Lecture Notes in Computer Science, стр. 61-78. Springer, (2011)ROBUST: 221 bugs in the Robot Operating System., , , , и . Empir. Softw. Eng., 29 (3): 57 (мая 2024)