Login / Signup
Pawel Wieczorkiewicz
ORCID
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 3
Top Topics
Epistemic Logic
Abstract Interpretation
Automated Verification
Model Checking
Top Venues
Symmetry
FMCAD
</>
Publications
</>
Pawel Wieczorkiewicz
,
Halina Szatylowicz
,
Tadeusz M. Krygowski
Energetic and Geometric Characteristics of Substituents, Part 3: The Case of NO2 and NH2 Groups in Their Mono-Substituted Derivatives of Six-Membered Heterocycles.
Symmetry
14 (1) (2022)
Anna Jezuita
,
Pawel Wieczorkiewicz
,
Halina Szatylowicz
,
Tadeusz M. Krygowski
Solvent Effect on the Stability and Reverse Substituent Effect in Nitropurine Tautomers.
Symmetry
13 (7) (2021)
Byron Cook
,
Björn Döbel
,
Daniel Kroening
,
Norbert Manthey
,
Martin Pohlack
,
Elizabeth Polgreen
,
Michael Tautschnig
,
Pawel Wieczorkiewicz
Using model checking tools to triage the severity of security bugs in the Xen hypervisor.
FMCAD
(2020)