Dynamic Sync-Programs for Modular Verification of Biological Systems. - Peter Drábik; Andrea Maggiolo-Schettini; Paolo Milazzo (NCMA, 2010)

Modular Verification of Interactive Systems with an Application to Biology. - Peter Drábik; Andrea Maggiolo-Schettini; Paolo Milazzo (CS2Bio, 2010)

Modular Verification of Biological Systems. - Peter Drábik (2011)

A Quantitative Approach for Inexact Enforcement of Security Policies. - Peter Drábik; Fabio Martinelli; Charles Morisset (ISC, 2012)

Cost-Aware Runtime Enforcement of Security Policies. - Peter Drábik; Fabio Martinelli; Charles Morisset (STM, 2012)

Towards modular verification of pathways: fairness and assumptions - Peter Drábik; Andrea Maggiolo-Schettini; Paolo Milazzo (MeCBIC, 2012)

On Conditions for Modular Verification in Systems of Synchronising Components. - Peter Drábik; Andrea Maggiolo-Schettini; Paolo Milazzo (Fundam. Informaticae, 2012)

Modular Verification of Qualitative Pathway Models with Fairness. - Peter Drábik; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini (Sci. Ann. Comput. Sci., 2013)

Big Data Spectra Analysis Using Analytical Programming and Random Decision Forests. - Petr Saloun; Peter Drábik; Ivan Zelinka; Jaroslav Bucko (CISIM, 2014)