| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Roberta Alfieri, Ezio Bartocci, Emanuela Merelli, Luciano Milanesi |
Modeling the cell cycle: From deterministic models to hybrid systems.  |
Biosystems  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuela Merelli, Nicola Paoletti, Pietro Liò |
Methodological Bridges for Multi-Level Systems.  |
Procedia CS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Liò, Emanuela Merelli, Nicola Paoletti, Marco Viceconti |
A Combined Process Algebraic and Stochastic Approach to Bone Remodeling.  |
Electr. Notes Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei |
A Uniform Multiscale Meta-model of BioShape.  |
Electr. Notes Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Liò, Emanuela Merelli, Nicola Paoletti |
Multiple verification in computational modeling of bone pathologies  |
CompMod  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei |
Multiscale Modelling: A Mobile Membrane Approach  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Flavio Corradini, Emanuela Merelli, Diletta Romana Cacciagrano, Rosario Culmone, Luca Tesei, Leonardo Vito |
ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People.  |
ERCIM News  |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Paoletti, Pietro Liò, Emanuela Merelli, Marco Viceconti |
Osteoporosis: a multiscale modeling viewpoint.  |
CMSB  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Cannata, Emanuela Merelli, Irek Ulidowski |
Preface: Hybrid automata and oscillatory behaviour in biological systems.  |
Theor. Comput. Sci.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei |
Detecting synchronisation of biological oscillators by model checking.  |
Theor. Comput. Sci.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei |
BioShape: a spatial shape-based scale-independent simulation environment for biological systems.  |
Procedia CS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei |
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes.  |
Sci. Ann. Comp. Sci.  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei |
Timed Operational Semantics and Well-Formedness of Shape Calculus.  |
Sci. Ann. Comp. Sci.  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei, M. Pani |
Bone Remodelling in BioShape.  |
Electr. Notes Theor. Comput. Sci.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei |
Multiscale Bone Remodelling with Spatial P Systems  |
MeCBIC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei |
Shape Calculus: Timed Operational Semantics and Well-formedness  |
CoRR  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Federico Buti, Flavio Corradini, Emanuela Merelli, Elio Paschini, Pierluigi Penna, Luca Tesei |
An Individual-based Probabilistic Model for Fish Stock Simulation  |
AMCA-POP  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuela Merelli, Paola Quaglia (eds.) |
Proceedings Third Workshop From Biology To Concurrency and back  |
FBTC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli |
Bone Remodelling: A Complex Automata-Based Model Running in BioShape.  |
ACRI  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Cannata, Emanuela Merelli |
Preface.  |
Theor. Comput. Sci.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei |
Model Checking Biological Oscillators.  |
Electr. Notes Theor. Comput. Sci.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Cannata, Emanuela Merelli, Irek Ulidowski |
Preface.  |
Electr. Notes Theor. Comput. Sci.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Cannata, Flavio Corradini, Emanuela Merelli, Francesca Piersigilli, Leonardo Vito |
Towards Bioinformatics Resourceomes.  |
Biomedical Data and Applications  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei |
A Shape Calculus for Biological Processes.  |
ICTCS  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Flavio Corradini, Emanuela Merelli, Alberto Polzonetti, Barbara Re, Leonardo Vito |
Resourceome for e-Government: Semantic Web Tool for Managing PA Resources.  |
CSREA EE  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Nicola Cannata, Emanuela Merelli |
Preface.  |
Electr. Notes Theor. Comput. Sci.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka |
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes.  |
Concurrency, Graphs and Models  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Romano 0001, Ezio Bartocci, Guglielmo Bertolini, Flavio De Paoli, Domenico Marra, Giancarlo Mauri, Emanuela Merelli, Luciano Milanesi |
Biowep: a workflow enactment portal for bioinformatics applications.  |
BMC Bioinformatics  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Lorenzo Scortichini |
BioWMS: a web-based Workflow Management System for bioinformatics.  |
BMC Bioinformatics  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Cannata, Flavio Corradini, Emanuela Merelli |
A Resourceomic Grid for bioinformatics.  |
Future Generation Comp. Syst.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuela Merelli, Michal Young |
Validating MAS simulation models with mutation.  |
Multiagent and Grid Systems  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Emanuela Merelli, Giuliano Armano, Nicola Cannata, Flavio Corradini, Mark d'Inverno, Andreas Doms, Phillip W. Lord, Andrew Martin, Luciano Milanesi, Steffen Möller, Michael Schroeder, Michael Luck |
Agents in bioinformatics, computational and systems biology.  |
Briefings in Bioinformatics  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Cannata, Flavio Corradini, Francesca Piersigilli, Emanuela Merelli, Leonardo Vito |
Semantic Resource Management in MAS.  |
WOA  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Paolo Romano 0001, Guglielmo Bertolini, Flavio De Paoli, M. Fattore, Domenico Marra, Giancarlo Mauri, Emanuela Merelli, Ivan Porro, Silvia Scaglione, Luciano Milanesi |
Network integration of data and analysis of oncology interest.  |
J. Integrative Bioinformatics  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Cannata, Emanuela Merelli, Russ B. Altman |
Correction: Time to Organize the Bioinformatics Resourceome.  |
PLoS Computational Biology  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Flavio Corradini, Emanuela Merelli |
Enacting Proactive Workflows Engine in e-Science.  |
International Conference on Computational Science  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Flavio Corradini, Emanuela Merelli |
Building a MultiAgent System from a User Workflow Specification.  |
WOA  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Leonardo Vito |
Model driven design and implementation of activity-based applications in Hermes.  |
WOA  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michael Luck, Emanuela Merelli |
Agents in bioinformatics.  |
Knowledge Eng. Review  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Cannata, Emanuela Merelli, Russ B. Altman |
Time to Organize the Bioinformatics Resourceome.  |
PLoS Computational Biology  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci |
An Agent-Oriented Conceptual Framework for Systems Biology.  |
T. Comp. Sys. Biology  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami, Emanuela Merelli, Pedro Pablo Gonzalez, Andrea Omicini (eds.) |
Transactions on Computational Systems Biology III  |
T. Comp. Sys. Biology  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Flavio Corradini, Flavio De Paoli, Emanuela Merelli, Andrea Omicini (eds.) |
WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 14-16 November 2005, Camerino, MC, Italy  |
WOA  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini, Emanuela Merelli |
Integrating Ontologies in Mobile Agents.  |
WOA  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Flavio Corradini, Emanuela Merelli |
Hermes: Agent-Based Middleware for Mobile Computing.  |
SFM  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Emanuela Merelli, Marco Vita |
A Multi-agent System for Modelling Carbohydrate Oxidation in Cell.  |
ICCSA  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Leonardo Mariani, Emanuela Merelli |
An agent-based approach to tool integration.  |
STTT  |
2004 |
DBLP DOI BibTeX RDF |
Agent supported tool integration, WfMS (Workflow management system), Data extraction and integration, Bioinformatics tools, MAS (Multiagent systems), Data Management |
| 1 | Flavio Corradini, Chiara Ercoli, Emanuela Merelli, Barbara Re |
An agent-based matchmaker.  |
WOA  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Diego Bonura, Flavio Corradini, Emanuela Merelli, Gino Romiti |
FarMAS: A MAS for Extended Quality Workflow.  |
WETICE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Emanuela Merelli, Leonardo Mariani |
An XML View of the "World".  |
ICEIS  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Flavio Corradini, Leonardo Mariani, Emanuela Merelli |
A Programming Environment for Global Activity-based Applications.  |
WOA  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Diego Bonura, Rosario Culmone, Emanuela Merelli |
Patterns for web applications.  |
SEKE  |
2002 |
DBLP DOI BibTeX RDF |
UML, design pattern, web application, pattern, business logic |
| 1 | Ferdinando Pezzella, Emanuela Merelli |
A tabu search method guided by shifting bottleneck for the job shop scheduling problem.  |
European Journal of Operational Research  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviana Mascardi, Emanuela Merelli |
Agent-Oriented and Constraint Technologies for Distributed Transaction Management.  |
IIA/SOCO  |
1999 |
DBLP BibTeX RDF |
|
| 1 | Renato De Leone, Rosario Capparuccia, Emanuela Merelli |
A successive overrelaxation backpropagation algorithm for neural-network training.  |
IEEE Transactions on Neural Networks  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Caneschi, Emanuela Merelli |
An Architecture for an ASN.1 Encoder/Decoder.  |
Computer Networks  |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Caneschi, Emanuela Merelli |
Standardizing the Presentation Layer. Why and What?  |
ICDCS  |
1987 |
DBLP BibTeX RDF |
|