A Fan-type heavy pair od subgraphs for pancyclicity of 2-connected graphs. - Wojciech Widel (Discuss. Math. Graph Theory, 2016)

How Well Can I Secure My System? - Barbara Kordy; Wojciech Widel (IFM, 2017)

A Fan-type heavy triple of subgraphs for pancyclicity of 2-connected graphs. - Wojciech Widel (Discret. Math., 2017)

A triple of heavy subgraphs ensuring pancyclity of 2-connected graphs. - Wojciech Widel (Discuss. Math. Graph Theory, 2017)

Clique-heavy subgraphs and pancyclicity of 2-connected graphs. - Wojciech Widel (Inf. Process. Lett., 2017)

On Quantitative Analysis of Attack-Defense Trees with Repeated Labels. - Barbara Kordy; Wojciech Widel (POST, 2018)

Efficient Attack-Defense Tree Analysis using Pareto Attribute Domains. - Barbara Fila; Wojciech Widel (CSF, 2019)

Attack-Defense Trees for Abusing Optical Power Meters: A Case Study and the OSEAD Tool Experience Report. - Barbara Fila; Wojciech Widel (GraMSec@CSF, 2019)

Beyond 2014: Formal Methods for Attack Tree-based Security Modeling. - Wojciech Widel; Maxime Audinot; Barbara Fila; Sophie Pinchinat (ACM Comput. Surv., 2019)

Formal modeling and quantitative analysis of security using attack-defense trees. (Modélisation formelle et analyse quantitative de la sécurité à l'aide d'arbres les attaques et de défense). - Wojciech Widel (2019)

Exploiting attack-defense trees to find an optimal set of countermeasures. - Barbara Fila; Wojciech Widel (CSF, 2020)

On implicit heavy subgraphs and Hamiltonicity of 2-connected graphs. - Ligong Wang 001; Wojciech Widel; Wei Zheng 008 (Discuss. Math. Graph Theory, 2021)

Security Countermeasures Selection Using the Meta Attack Language and Probabilistic Attack Graphs. - Wojciech Widel; Preetam Mukherjee 001; Mathias Ekstedt (IEEE Access, 2022)

The meta attack language - a formal description. - Wojciech Widel; Simon Hacks; Mathias Ekstedt; Pontus Johnson; Robert Lagerström (Comput. Secur., 2023)