( en | de | ru )

 

Disambiguierung von "Wąsowski, Andrzej"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automatic Generation of Program Families by Model Restrictions

. (2004)

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 Szczerbakow

Andrzej Szplit

Andrzej Tamborek

Andrzej Lingas

Andrzej Debski

 

Weitere Publikationen von Autoren mit dem selben Namen

Automatic Generation of Program Families by Model Restrictions. (2004)On Succinctness of Hierarchical State Diagrams in Absence of Message Passing. Electronic Notes in Theoretical Computer Science, (Januar 2005)Flattening statecharts without explosions. LCTES '04: Proceedings of the 2004 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, 39, Seite 257--266. New York, NY, USA, ACM Press, (Juli 2004)Crossing the Gap between Semantics and Practice: Crafting a Compiler for Statecharts. (2002)Automatic Generation of Program Families by Model Restrictions. (2004)On the Formal Semantics of VisualSTATE Statecharts, und . (September 2002)Formal Specification and Testing for Reinforcement Learning., , , und . Proc. ACM Program. Lang., 7 (ICFP): 125-158 (August 2023)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)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)