팔로우
Teofil Sidoruk
Teofil Sidoruk
Assistant, Institute of Computer Science, Polish Academy of Sciences
ipipan.waw.pl의 이메일 확인됨
제목
인용
인용
연도
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
282020
Applying modern sat-solvers to solving hard problems
A Niewiadomski, P Switalski, T Sidoruk, W Penczek
Fundamenta Informaticae 165 (3-4), 321-344, 2019
92019
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
82020
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
62019
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
32017
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
22021
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
22018
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
12022
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
12021
Strategic abilities of asynchronous agents: Semantic side effects
W Jamroga, W Penczek, T Sidoruk
Proceedings of AAMAS 2021, 1545-1547, 2021
12021
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
12019
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
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–17