Menù

Home
Curriculum
Publications
Research interests
Talks
Stage/Thesis
Developed Software
Teaching
Mobility
Photo gallery
Blog

Random Picture

Last papers                             

CellExcite: An Efficient Simulation Environment for Excitable Cells


Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes


Model Checking Biological Oscillators


StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes


BioWMS: a web-based Workflow Management System for bioinformatics


Biowep: a workflow enactment portal for bioinformatics applications


An Agent-based Multilayer Architecture for Bioinformatics Grids


Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue


Enacting Proactive Workflows Engine in e-Science.


Model driven design and implementation of activity-based applications in Hermes.


Building a Multiagent System from a User Workflow Specification.


Random Poster

Links


PhD Stuff

ADI - Italian PhD Association
Fullbright scolarships
Marie Curie Fellowship Association


My University

University of Camerino
Department of Mathematics and Computer Science
UNICAM - Computer Science
CERCODI UNICAM

Unicam Blog


Research Projects

Oncology Over Internet
Litbio Project
Litbio CoSy Group
BioAgent Project
Hermes Project


Bioinformatics Stuff

NETTAB

Bioinformatics Italian Society

BMC Bioinformatics

Bioinformatics Oxford Journal



Free time

Musicamdo

Counter and browser compatibility



Get Firefox!


Get Thunderbird!


Valid XHTML 1.0 Transitional


"..who has reached the stage where he no longer wonders about anything,
merely demonstrates that he has lost the art of reflective reasoning.."

(Max Planck)

DBLPPubMedGoogle ScholarCiteseer
Download List of publications

Selected publications

  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



All pubblications ordered by year



2008:


Journal Papers



2007:


Journal Papers

  1. Bartocci E., Corradini F., Merelli E., Scortichini L., BioWMS: a web based Workflow Management System for Bioinformatics,BMC Bioinformatics 2007, 8(Suppl 1):S2
  2. Abstract Text Full PDF BibTeX entry
  3. Romano P., Bartocci E., Bertolini G., De Paoli F., Marra D., Mauri G., Merelli E., Milanesi L., Biowep: a workflow enactment portal for bioinformatics applications, BMC Bioinformatics 2007, 8(Suppl 1):S19
  4. Abstract Text Full PDF BibTeX entry
  5. Bartocci E., Cacciagrano D., Cannata N., Corradini F., Merelli E., Milanesi L., Romano P. An Agent-based Multilayer Architecture for Bioinformatics Grids, IEEE transactions on Nanobioscience 2007, 6(2):142-148
  6. Abstract Text Full PDF BibTeX entry

National and International Workshops and Conferences

  1. Bartocci E., Di Berardini M. R., Corradini F., Entcheva E., Grosu R., Smolka S.A, Spatial Networks of Hybrid I/O Automata for Modelling Excitable Tissue, In the proceedings of FBTC'07 From Biology to Concurrency and Back International Workshop co-sited with CONCUR conference, September 8, Lisbon, 2007
  2. Bartocci E., Corradini F., Entcheva E., Grosu R., Smolka S.A, CellExcite: A hybrid-automata-based visualization framework for excitable-cell networks simulation, In the proceedings of NETTAB'07 Network Tools and Applications in Biology, June 12-15, Pisa, 2007
  3. Bartocci E., Corradini F., Entcheva E., Grosu R., Smolka S.A, CellExcite: a tool for simulating Excitable Cells, Bioinformatics ITalian Society (BITS) meeting, Napoli, 2007


Posters 2007

2006:

National and International Workshops and Conferences

  1. E. Bartocci, F. Corradini, E. Merelli, Enacting proactive workflows engine in e-Science, In Proceedings of the 1st International Workshop on Workflow Systems in e-Science (WSES 06) ICCS 2006, Part III, LNCS 3993 -1012, Springer-Verlag
  2. Abstract Text Full PDF BibTeX entry
  3. E. Bartocci, D. Cacciagrano, N. Cannata, F. Corradini, E. Merelli, L. Milanesi, P. Romano A GRID-based multilayer architecture for bioinformatics, In the proceedings of NETTAB'06 Network Tools and Applications in Biology, July 10-13, 2006 - Santa Margherita di Pula, Cagliari, Italy - accepted
  4. Abstract Text
  5. Bartocci E., Romano P., Towards a comparison of Workflow Management Systems in Bioinformatics, In the proceedings of NETTAB'06 Network Tools and Applications in Biology, July 10-13, 2006 - Santa Margherita di Pula, Cagliari, Italy
  6. Bartocci E., Angeletti M., Merelli E., A workflow for an orthology-based prediction of protein-protein interaction,
    Bioinformatics ITalian Society (BITS) meeting, Bologna, 2006
  7. Bartocci E., Cannata N., Corradini F., Merelli E., A multilayer architecture to support bioinformaticians of today and tomorrow,
    Bioinformatics ITalian Society (BITS) meeting, Bologna, 2006
  8. Bartocci E., Corradini F., Merelli E., Scortichini L., BioWMS: a web based Workflow Management System for Bioinformatics,
    Bioinformatics ITalian Society (BITS) meeting, Bologna, 2006
  9. Bartocci E., Merelli E., Möller S., A DAS view of agent based workflow,
    Bioinformatics ITalian Society (BITS) meeting, Bologna, 2006
  10. Romano P., Bartocci E., Bertolini G., De Paoli F., Marra D., Mauri G., Merelli E., Milanesi L., Biowep: a workflow enactment portal for bioinformatics applications, Bioinformatics ITalian Society (BITS) meeting, Bologna, 2006
  11. E. Bartocci, F. Corradini, E. Merelli, L. Vito, Model driven design and implementation of activity-based applications in Hermes, Workshop From Objects to Agents - WOA 2006 - Demo Session, September 26-27, 2006, Catania Italy
    Abstract Text Full PDF BibTeX entry
  12. E. Bartocci, F. Corradini, E. Merelli, Building a Multiagent System from a User Workflow Specification, Workshop From Objects to Agents - WOA 2006, September 26-27, 2006, Catania Italy
    Abstract Text Full PDF BibTeX entry


Technical Reports

  1. E. Bartocci, F. Corradini, E. Merelli From Workflow-based software specification to Interactive Components., Internal Report 04-06, University of Camerino, 2006.


Posters 2006



2004

  1. R. Amici, E. Bartocci and E. Merelli, A virtual laboratory for simulating methabolic pathways. Bioinformatics Italian Society Meeting, 2004
  2. E. Bartocci, F. Corradini, E. Merelli, Service Discovery for Biological Distributed Applications: an Overview, NETTAB, Sept. 2004
  3. M. Angeletti, E. Bartocci, A. Baldoncini, R. Culmone, The interactome jigsaw puzzle: putting togheter the complete picture of protein/protein interactions using BioAgent platform, NETTAB, Sept. 2004


2003

Journal Papers

  1. Gertrud Fischer, Saleh M Ibrahim, Gudrun A Brockmann, Jens Pahnke, Ezio Bartocci, Hans-Jürgen Thiesen, Pablo Serrano-Fernández, Steffen Möller (2003) Expressionview: visualization of quantitative trait loci and gene-expression data in Ensembl. Genome Biology 2003 4(2):R77
    Abstract Text Full PDF BibTeX entry

National and International Workshops and Conferences

  1. Ezio Bartocci, Emanuela Merelli, Leonardo Mariani, An XML View of the "World". ICEIS (1) 2003: 19-27
    Abstract Text Full PDF BibTeX entry
  2. E. Bartocci, S. Möller, L. Toldo, E. Merelli - Integration of EnsEMBL with BioAgent, BIOCOMP 2003, Villa Mondragone(Frascati), 2003


2002

  1. E. Bartocci, R. Culmone, L. Soverchia and M. Angeletti, DNA-microarray Data Integration Using Mobile Architecture: A New Approach for Researchers in Cooperation in the Genome Era (Poster), NETTAB02 Agents in Bioinformatics, Bologna, 2002