( en | de | ru )

 

Disambiguierung von "Wasowski, Andrzej"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Robust synthesis for real-time systems.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Andrzej Lingas

Andrzej Debski

Andrzej Piotrowski

Andrzej Tomczyk

Andrzej Szplit

 

Weitere Publikationen von Autoren mit dem selben Namen

Techniques for Efficient Interactive Configuration of Distribution Networks., , und . IJCAI, Seite 100-105. (2007)Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (Extended Version)., , und . CoRR, (2015)Formal Specification and Testing for Reinforcement Learning., , , und . Proc. ACM Program. Lang., 7 (ICFP): 125-158 (August 2023)Automatic Generation of Program Families by Model Restrictions. (2004)On efficient program synthesis from statecharts.. LCTES, Seite 163-170. ACM, (2003)Domain-Specific Languages - Effective Modeling, Automation, and Reuse, und . Springer, (2023)Symbolic Semantics for Probabilistic Programs., , , , und . QEST, Volume 14287 von Lecture Notes in Computer Science, Seite 329-345. Springer, (2023)Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT., , , , und . SE/SWM, Volume P-292 von LNI, Seite 91-92. GI, (2019)Privacy with Good Taste - A Case Study in Quantifying Privacy Risks in Genetic Scores., , , , , , , und . DPM/CBT@ESORICS, Volume 13619 von Lecture Notes in Computer Science, Seite 103-119. Springer, (2022)Language-Independent Traceability with Lässig., , und . ECMFA, Volume 8569 von Lecture Notes in Computer Science, Seite 148-163. Springer, (2014)