Pawel Wieczorkiewicz

According to our database, Pawel Wieczorkiewicz authored at least 3 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

2021

Solvent Effect on the Stability and Reverse Substituent Effect in Nitropurine Tautomers.

Anna Jezuita, Pawel Wieczorkiewicz, Halina Szatylowicz, Tadeusz M. Krygowski

Symmetry, 2021

2020

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

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020