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

Massimo Callisto De Donato

2010 – today

see FAQ

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

2012
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/ButiDCBMT12
- ask others
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei: Towards Abstraction-Based Verification of Shape Calculus. Electr. Notes Theor. Comput. Sci. 284: 23-34 (2012)
2011
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iseud/ButiCDCMT11
- ask others
Federico Buti, Diletta Cacciagrano, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei: BIOSHAPE\textsc{BioShape}: End-User Development for Simulating Biological Systems. IS-EUD 2011: 379-382
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1106-1231
- ask others
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Automated Analysis of MUTEX Algorithms with FASE. GandALF 2011: 45-59
[i3]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1105-1369
- ask others
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler: Evaluating the Efficiency of Asynchronous Systems with FASE. CoRR abs/1105.1369 (2011)
[i2]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1105-1370
- ask others
Massimo Callisto De Donato, Maria Rita Di Berardini: A Framework for the Evaluation of Worst-Case System Efficiency. CoRR abs/1105.1370 (2011)
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1108-3434
- ask others
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei: Multiscale Modelling: A Mobile Membrane Approach. CoRR abs/1108.3434 (2011)