Jacek Piątkowski
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Using probabilistic automata for security protocols verification Journal of Applied Mathematics and Computational Mechanics | 2020-09-28 | Paper |
| The visualization of shaft vibration using the algorithm of phase-amplitude data interpolation Journal of Applied Mathematics and Computational Mechanics | 2020-09-28 | Paper |
| Timed models of security protocols including delays in the network Journal of Applied Mathematics and Computational Mechanics | 2020-09-25 | Paper |
Research outcomes over time
This page was built for person: Jacek Piątkowski
