Peter Drábik
From MaRDI portal
Person:4621145
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 |
|---|---|---|
| Modular verification of qualitative pathway models with fairness Scientific Annals of Computer Science | 2019-02-08 | Paper |
| Modular verification of interactive systems with an application to biology | 2019-02-08 | Paper |
| Better and Faster Spectra Analysis Using Analytical Programming on CUDA Nostradamus 2014: Prediction, Modeling and Analysis of Complex Systems | 2015-06-29 | Paper |
| Modular verification of interactive systems with an application to biology Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
| On conditions for modular verification in systems of synchronising components Fundamenta Informaticae | 2013-01-14 | Paper |
Research outcomes over time
This page was built for person: Peter Drábik
