( en | de | ru )

 

Disambiguierung von "Penczek, Wojciech"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards Partial Order Reductions for Strategic Ability.

, , , , und . J. Artif. Intell. Res., (2020)

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.

Frank Penczek

Wojciech Wojtyna

Wojciech Kowalczyk

Wojciech Osinski

Wojciech Derwich

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards Quantitative Verification of Reaction Systems., , und . UCNC, Volume 9726 von Lecture Notes in Computer Science, Seite 142-154. Springer, (2016)TripICS - a Web Service Composition System for Planning Trips and Travels., , , und . Fundam. Informaticae, 157 (4): 403-425 (2018)Checking Reachability Properties for Timed Automata via SAT., , und . Fundam. Informaticae, 55 (2): 223-241 (2003)Preface., , und . Fundam. Informaticae, 146 (1): v-vi (2016)Timed Automata Based Model Checking of Timed Security Protocols., und . Fundam. Informaticae, 93 (1-3): 245-259 (2009)Preface., und . Fundam. Informaticae, (2021)Applying Modern SAT-solvers to Solving Hard Problems., , , und . Fundam. Informaticae, 165 (3-4): 321-344 (2019)Axiomatizations of Temporal Logics on Trace Systems.. STACS, Volume 665 von Lecture Notes in Computer Science, Seite 452-462. Springer, (1993)SMT-Based Abstract Parametric Temporal Planning., und . Trans. Petri Nets Other Model. Concurr., (2015)Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models., , , , , und . CoRR, (2023)