PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Penczek, Wojciech"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SMT-Based Abstract Parametric Temporal Planning.

, und . Trans. Petri Nets and Other Models of Concurrency, (2015)

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.

Keine Personen gefunden für den Autorennamen Penczek, Wojciech
Eine Person hinzufügen mit dem Namen Penczek, Wojciech
 

Weitere Publikationen von Autoren mit dem selben Namen

LDYIS: a Framework for Model Checking Security Protocols., und . Fundam. Inform., 85 (1-4): 359-375 (2008)Checking Reachability Properties for Timed Automata via SAT., , und . Fundam. Inform., 55 (2): 223-241 (2003)SMT vs Genetic Algorithms: Concrete Planning in PlanICS Framework., , und . CS&P, Volume 1032 von CEUR Workshop Proceedings, Seite 309-321. CEUR-WS.org, (2013)A complete axiomatization of a first-order temporal logic over trace systems., und . Partial Order Methods in Verification, Volume 29 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 79-97. DIMACS/AMS, (1996)Towards Quantitative Verification of Reaction Systems., , und . UCNC, Volume 9726 von Lecture Notes in Computer Science, Seite 142-154. Springer, (2016)Axiomatizations of Temporal Logics on Trace Systems.. STACS, Volume 665 von Lecture Notes in Computer Science, Seite 452-462. Springer, (1993)Traces and Logic., und . The Book of Traces, World Scientific, (1995)SMT-Based Abstract Parametric Temporal Planning., und . Trans. Petri Nets and Other Models of Concurrency, (2015)Towards Partial Order Reductions for Strategic Ability., , , und . AAMAS, Seite 156-165. International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM, (2018)Automated abstract planning with use of genetic algorithms., , und . GECCO (Companion), Seite 129-130. ACM, (2013)