Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Peter Drábik

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/DrabikMM12
- ask others
Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo: On Conditions for Modular Verification in Systems of Synchronising Components. Fundam. Inform. 120(3-4): 259-274 (2012)
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/isw/DrabikMM12
- ask others
Peter Drábik, Fabio Martinelli, Charles Morisset: A Quantitative Approach for Inexact Enforcement of Security Policies. ISC 2012: 306-321
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/stm/DrabikMM12
- ask others
Peter Drábik, Fabio Martinelli, Charles Morisset: Cost-Aware Runtime Enforcement of Security Policies. STM 2012: 1-16
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1211-4093
- ask others
Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo: Towards modular verification of pathways: fairness and assumptions. MeCBIC 2012: 63-81
2011
[j2]
- view
  - electronic edition @ infoiasi.ro
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cuza/DrabikMM11
- ask others
Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo: Modular Verification of Interactive Systems with an Application to Biology. Sci. Ann. Comp. Sci. 21(1): 39-72 (2011)
2010
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/DrabikMM10
- ask others
Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo: Modular Verification of Interactive Systems with an Application to Biology. Electr. Notes Theor. Comput. Sci. 268: 61-75 (2010)
[c1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ncma/DrabikMM10
- ask others
Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo: Dynamic Sync-Programs for Modular Verification of Biological Systems. NCMA 2010: 71-83

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?