(I. Newton)

1. CellExcite: An Efficient Simulation Environment for Excitable Cells
   Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Radu Grosu, Scott A. Smolka.
   BMC Bioinformatics. pp. S1-S13. vol. 9 no. Suppl. 2. 2008. Abstract
   Bibtex 1471-2105-9-S2-S3.pdf S3


2. Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
   Radu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka, Anita Wasilewska.
   In the proceedings of the 11th International Conference on Hybrid Systems: Computation and Control (HSCC'08), St. Louis, USA, April, 2008. pp. 229-243. Lectures Notes in Computer Science vol. 4981. Springer. 2008. Abstract
   Bibtex


3. Model Checking Biological Oscillators
   Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei.
   In the proceedings of the 2th From Biology To Concurrency International Workshop (FBTC'08), Reykjavik, Island, July, 2008. Electronic Notes in Theoretical Computer Science. 2008.
   Bibtex


4. StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes
   Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka.
   Concurrency, Graphs and Models. pp. 493-502. 2008.
   Bibtex


5. BioWMS: a web-based Workflow Management System for bioinformatics
   Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Lorenzo Scortichini.
   BMC Bioinformatics. pp. S2. vol. 8 no. Suppl 1. 2007. Abstract
   Bibtex S2


6. Biowep: a workflow enactment portal for bioinformatics applications
   Paolo Romano, Ezio Bartocci, Guglielmo Bertolini, Domenico Marra, Giancarlo Mauri, Emanuela Merelli, Luciano Milanesi.
   BMC Bioinformatics. pp. S19. vol. 8 no. Suppl 1. 2007. Abstract
   Bibtex S19


7. An Agent-based Multilayer Architecture for Bioinformatics Grids
   Ezio Bartocci, Diletta Cacciagrano, Nicola Cannata, Flavio Corradini, Emanuela Merelli, Luciano Milanesi, Paolo Romano.
   IEEE transactions on Nanobioscience. pp. 142-148. vol. 6 no. 2. 2007. Abstract
   Bibtex


8. Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue
   Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, Scott A. Smolka.
   In the proceedings of FBTC'07 From Biology to Concurrency and Back International Workshop co-sited with CONCUR conference. pp. 86-102. Electronic Notes in Theoretical Computer Science vol. 194 no. 3. Elsevier. 2007. Abstract
   Bibtex


9. Enacting Proactive Workflows Engine in e-Science.
   Ezio Bartocci, Flavio Corradini, Emanuela Merelli.
   International Conference on Computational Science (3). pp. 1012-1015. 2006. Abstract
   Bibtex fulltext.pdf


10. Model driven design and implementation of activity-based applications in Hermes.
    Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Leonardo Vito.
    WOA. 2006.
    Bibtex


11. Building a Multiagent System from a User Workflow Specification.
    Ezio Bartocci, Flavio Corradini, Emanuela Merelli.
    WOA. 2006.
    Bibtex


12. A GRID-based multilayer architecture for bioinformatics
    Ezio Bartocci, Diletta Cacciagrano, Nicola Cannata, Flavio Corradini, Emanuela Merelli, Luciano Milanesi, Paolo Romano.
    In the proceedings of NETTAB'06 Network Tools and Applications in Biology. 2006.
    Bibtex


13. An XML View of the "World".
    Emanuela Merelli, Leonardo Mariani, Ezio Bartocci.
    ICEIS (1). pp. 19-27. 2003.
    Bibtex


14. Expressionview: visualization of quantitative trait loci and gene-expression data in Ensembl
    Gertrud Fischer, Saleh Ibrahim, Gudrun Brockmann, Jens Pahnke, Ezio Bartocci, Hans-Jürgen Thiesen, Steffen Möller, Pablo Serrano-Fernández.
    Genome Biology. pp. R77. vol. 4 no. 11. 2003.
    Bibtex R77