Wojciech Penczek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
28
Venues
19
Active years
1989–2025
Best venue rank
A*
Where they publish
Papers
28 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICAART | Satisfiability Checking for (Strategic) Timed CTL Using IMITATOR. | Wojciech Penczek, Laure Petrucci, Teofil Sidoruk |
| 2024 | PPDP | Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic. | Jaime Arias, Carlos Olarte, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk |
| 2023 | ECAI | SMT-Based Satisfiability Checking of Strategic Metric Temporal Logic. | Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek, Andrzej Zbrzezny |
| 2022 | AiML | Verification of Multi-Agent Properties in Electronic Voting: A Case Study. | Wojtek Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk, Damian Kurpiewski |
| 2022 | ICECCS | Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees. | Jaime Arias, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk |
| 2022 | ICFEM | Modular Analysis of Tree-Topology Models. | Jaime Arias, Michal Knapik, Wojciech Penczek, Laure Petrucci |
| 2021 | KR | Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them. | Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk |
| 2021 | KR | Satisfiability Checking of Strategy Logic with Simple Goals. | Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek |
| 2021 | VECoS | SMT-Based Unbounded Model Checking for ATL. | Michal Kanski, Artur Niewiadomski, Magdalena Kacprzak, Wojciech Penczek, Wojciech Nabialek |
| 2020 | ICFEM | Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems. | Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, Marille Stoelinga |
| 2020 | KR | SAT-Based ATL Satisfiability Checking. | Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek |
| 2019 | ICECCS | Squeezing State Spaces of (Attack-Defence) Trees. | Laure Petrucci, Michal Knapik, Wojciech Penczek, Teofil Sidoruk |
| 2018 | UC | Reaction Mining for Reaction Systems. | Artur Meski, Maciej Koutny, Wojciech Penczek |
| 2016 | UC | Towards Quantitative Verification of Reaction Systems. | Artur Meski, Maciej Koutny, Wojciech Penczek |
| 2015 | SEFM | Generating None-Plans in Order to Find Plans. | Michal Knapik, Artur Niewiadomski, Wojciech Penczek |
| 2013 | GECCO | Automated abstract planning with use of genetic algorithms. | Jaroslaw Skaruz, Artur Niewiadomski, Wojciech Penczek |
| 2013 | IC3K | Towards SMT-based Abstract Planning in PlanICS Ontology. | Artur Niewiadomski, Wojciech Penczek |
| 2013 | PPAM | Evolutionary Algorithms for Abstract Planning. | Jaroslaw Skaruz, Artur Niewiadomski, Wojciech Penczek |
| 2012 | AAMAS | Group synthesis for parametric temporal-epistemic logic. | Andrew V. Jones, Michal Knapik, Wojciech Penczek, Alessio Lomuscio |
| 2012 | AAMAS | Bounded model checking for knowledge and linear time. | Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny |
| 2003 | TACAS | Verics: A Tool for Verifying Timed Automata and Estelle Specifications. | Piotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Plrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny |
| 2002 | CONCUR | Reducing Model Checking from Multi-valued {\rm CTL}^{\ast} to {\rm CTL}^{\ast}. | Beata Konikowska, Wojciech Penczek |
| 2001 | PPAM | Automated Verification of Infinite State Concurrent Systems. | Piotr Dembinski, Wojciech Penczek, Agata Plrola |
| 1997 | TACAS | Model-Checking for a Subclass of Event Structures. | Wojciech Penczek |
| 1995 | LICS | Model-Checking of Causality Properties | Rajeev Alur, Doron A. Peled, Wojciech Penczek |
| 1993 | STACS | Axiomatizations of Temporal Logics on Trace Systems. | Wojciech Penczek |
| 1992 | CONCUR | Propositional Temporal Logics and Equivalences. | Ursula Goltz, Ruurd Kuiper, Wojciech Penczek |
| 1989 | CSL | A Concurrent Branching Time Temporal Logic. | Wojciech Penczek |