| Towards partial order reductions for strategic ability W Jamroga, W Penczek, T Sidoruk, P Dembiński, A Mazurkiewicz Journal of Artificial Intelligence Research 68, 817-850, 2020 | 28 | 2020 |
| Applying modern sat-solvers to solving hard problems A Niewiadomski, P Switalski, T Sidoruk, W Penczek Fundamenta Informaticae 165 (3-4), 321-344, 2019 | 9 | 2019 |
| Hackers vs. security: attack-defence trees as asynchronous multi-agent systems J Arias, CE Budde, W Penczek, L Petrucci, T Sidoruk, M Stoelinga International Conference on Formal Engineering Methods, 3-19, 2020 | 8 | 2020 |
| Squeezing state spaces of (attack-defence) trees L Petrucci, M Knapik, W Penczek, T Sidoruk 2019 24th International Conference on Engineering of Complex Computer …, 2019 | 6 | 2019 |
| Comparing Efficiency of Modern SAT-solvers for Selected Problems in P, NP, PSPACE, and EXPTIME A Niewiadomski, W Penczek, T Sidoruk Proceedings of the 26th International Workshop on Concurrency, Specification …, 2017 | 3 | 2017 |
| Strategic abilities of asynchronous agents: Semantic paradoxes and how to tame them W Jamroga, W Penczek, T Sidoruk CoRR abs/2003.03867. Revised version, 2021 | 2 | 2021 |
| Smt-solvers in action: Encoding and solving selected problems in NP and EXPTIME A Niewiadomski, P Switalski, T Sidoruk, W Penczek Scientific Annals of Computer Science 28 (2), 269-288, 2018 | 2 | 2018 |
| Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees J Arias, L Petrucci, Ł Maśko, W Penczek, T Sidoruk 2022 26th International Conference on Engineering of Complex Computer …, 2022 | 1 | 2022 |
| ADT2AMAS: Managing Agents in Attack-Defence Scenarios J Arias, W Penczek, L Petrucci, T Sidoruk Proceedings of the 20th International Conference on Autonomous Agents and …, 2021 | 1 | 2021 |
| Strategic abilities of asynchronous agents: Semantic side effects W Jamroga, W Penczek, T Sidoruk Proceedings of AAMAS 2021, 1545-1547, 2021 | 1 | 2021 |
| Squeezing state spaces of (attack-defence) trees M Knapik, W Penczek, L Petrucci, T Sidoruk 2019 24th International Conference on Engineering of Complex Computer …, 2019 | 1 | 2019 |
| Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them W Jamroga, W Penczek, T Sidoruk arXiv preprint arXiv:2003.03867, 2020 | | 2020 |
| Investigating Characteristics and Differences Between Easy and Hard SAT Instances. T Sidoruk CS&P, 2018 | | 2018 |
| Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems L Petrucci, T Sidoruk, M Stoelinga Formal Methods and Software Engineering, 3, 0 | | |
| 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS)| 978-1-6654-0162-3/22/$31.00© 2022 IEEE| DOI: 10.1109/ICECCS54210. 2022.00033 M Afendi, Y Aït-Ameur, J Arias, R Banach, Y Bao, M Basso, N Belloir, ... | | |
| Kan, Shuanglong 144 Kang, Eun-Young 11 Kerdoudi, Mohamed Lamine 226 Klai, Kais 242 J Klein, L Besnard, TF Bissyandé, JP Bodeveix, A Bourouis, M Butler, ... | | |
| Scientific Annals A Niewiadomski, P Switalski, T Sidoruk, W Penczek | | |
