Using model checking tools to triage the severity of security bugs in the Xen hypervisor. - Byron Cook; Björn Döbel; Daniel Kroening; Norbert Manthey; Martin Pohlack; Elizabeth Polgreen; Michael Tautschnig; Pawel Wieczorkiewicz (FMCAD, 2020)

Solvent Effect on the Stability and Reverse Substituent Effect in Nitropurine Tautomers. - Anna Jezuita; Pawel Wieczorkiewicz; Halina Szatylowicz; Tadeusz M. Krygowski (Symmetry, 2021)

Energetic and Geometric Characteristics of Substituents, Part 3: The Case of NO2 and NH2 Groups in Their Mono-Substituted Derivatives of Six-Membered Heterocycles. - Pawel Wieczorkiewicz; Halina Szatylowicz; Tadeusz M. Krygowski (Symmetry, 2022)