Login / Signup
Jacek Piatkowski
ORCID
Publication Activity (10 Years)
Years Active: 2014-2020
Publications (10 Years): 3
Top Topics
Alternating Time Temporal Logic
Security Protocols
Data Dependencies
Cryptographic Algorithms
Top Venues
ACS
CN
IP&C
IEEE Access
</>
Publications
</>
Jacek Piatkowski
The Conditional Multiway Mapped Tree: Modeling and Analysis of Hierarchical Data Dependencies.
IEEE Access
8 (2020)
Janusz Bobulski
,
Jacek Piatkowski
PET Waste Classification Method and Plastic Waste DataBase - WaDaBa.
IP&C
(2017)
Olga Siedlecka-Lamch
,
Miroslaw Kurkowski
,
Jacek Piatkowski
Probabilistic Model Checking of Security Protocols without Perfect Cryptography Assumption.
CN
(2016)
A. Grosser
,
Miroslaw Kurkowski
,
Jacek Piatkowski
,
Sabina Szymoniak
ProToc - An Universal Language for Security Protocols Specifications.
ACS
(2014)