Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Emanuela Merelli
2010 – today
- 2013
[c29]Emanuela Merelli, Mario Rasetti: Non locality, Topology, Formal languages: New Global Tools to Handle Large Data Sets. ICCS 2013: 90-99- 2012
- [j33]Pietro Liò, Nicola Paoletti, Mohammad Ali Moni, Kathryn Atwell, Emanuela Merelli, Marco Viceconti: Modelling osteomyelitis. BMC Bioinformatics 13(S-14): S12 (2012)
- [j32]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)
- [j31]Ezio Bartocci, Diletta Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Leonardo Vito: UBioLab: a web-LABoratory for Ubiquitous in-silico experiments. J. Integrative Bioinformatics 9(1) (2012)
- [j30]Nicola Paoletti, Pietro Liò, Emanuela Merelli, Marco Viceconti: Multilevel Computational Modeling and Quantitative Analysis of Bone Remodeling. IEEE/ACM Trans. Comput. Biology Bioinform. 9(5): 1366-1378 (2012)
- [j29]Ezio Bartocci, Pietro Liò, Emanuela Merelli, Nicola Paoletti: Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study. T. Comp. Sys. Biology 14: 53-76 (2012)
- [c28]Emanuela Merelli, Mario Rasetti: The Immune System as a Metaphor for Topology Driven Patterns Formation in Complex Systems. ICARIS 2012: 289-291
- [c27]Federico Buti, Flavio Corradini, Emanuela Merelli, Luca Tesei: A Geometrical Refinement of Shape Calculus Enabling Direct Simulation. SIMULTECH 2012: 218-227
- [c26]Emanuela Merelli, Nicola Paoletti, Luca Tesei: A multi-level model for self-adaptive systems. FOCLASA 2012: 112-126
- [c25]Pietro Liò, Emanuela Merelli, Nicola Paoletti: Disease processes as hybrid dynamical systems. HSB 2012: 152-166
- 2011
- [j28]Roberta Alfieri, Ezio Bartocci, Emanuela Merelli, Luciano Milanesi: Modeling the cell cycle: From deterministic models to hybrid systems. Biosystems 105(1): 34-40 (2011)
- [j27]Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei: A Uniform Multiscale Meta-model of BioShape. Electr. Notes Theor. Comput. Sci. 277: 15-27 (2011)
- [j26]Pietro Liò, Emanuela Merelli, Nicola Paoletti, Marco Viceconti: A Combined Process Algebraic and Stochastic Approach to Bone Remodeling. Electr. Notes Theor. Comput. Sci. 277: 41-52 (2011)
- [j25]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(87) (2011)
- [j24]Emanuela Merelli, Nicola Paoletti, Pietro Liò: Methodological Bridges for Multi-Level Systems. Procedia CS 7: 180-182 (2011)
- [c24]Nicola Paoletti, Pietro Liò, Emanuela Merelli, Marco Viceconti: Osteoporosis: a multiscale modeling viewpoint. CMSB 2011: 183-193
- [c23]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
- [c22]Pietro Liò, Emanuela Merelli, Nicola Paoletti: Multiple verification in computational modeling of bone pathologies. CompMod 2011: 82-96
- [i2]Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei: Multiscale Modelling: A Mobile Membrane Approach. CoRR abs/1108.3434 (2011)
- 2010
- [j23]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. 20: 1-31 (2010)
- [j22]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. 20: 32-52 (2010)
- [j21]Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei, M. Pani: Bone Remodelling in BioShape. Electr. Notes Theor. Comput. Sci. 268: 17-29 (2010)
- [j20]Nicola Cannata, Emanuela Merelli, Irek Ulidowski: Preface: Hybrid automata and oscillatory behaviour in biological systems. Theor. Comput. Sci. 411(20): 1997-1998 (2010)
- [j19]Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei: Detecting synchronisation of biological oscillators by model checking. Theor. Comput. Sci. 411(20): 1999-2018 (2010)
- [c21]Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli: Bone Remodelling: A Complex Automata-Based Model Running in BioShape. ACRI 2010: 116-127
- [c20]Federico Buti, Flavio Corradini, Emanuela Merelli, Elio Paschini, Pierluigi Penna, Luca Tesei: An Individual-based Probabilistic Model for Fish Stock Simulation. AMCA-POP 2010: 37-55
- [c19]Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei: Multiscale Bone Remodelling with Spatial P Systems. MeCBIC 2010: 70-84
- [c18]Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei: BioShape: a spatial shape-based scale-independent simulation environment for biological systems. ICCS 2010: 827-835
- [e3]Emanuela Merelli, Paola Quaglia (Eds.): Proceedings Third Workshop From Biology To Concurrency and back. EPTCS 19, 2010
- [i1]Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei: Shape Calculus: Timed Operational Semantics and Well-formedness. CoRR abs/1011.2488 (2010)
2000 – 2009
- 2009
- [j18]Nicola Cannata, Emanuela Merelli, Irek Ulidowski: Preface. Electr. Notes Theor. Comput. Sci. 229(1): 1-2 (2009)
- [j17]Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei: Model Checking Biological Oscillators. Electr. Notes Theor. Comput. Sci. 229(1): 41-58 (2009)
- [j16]
- [c17]Flavio Corradini, Emanuela Merelli, Alberto Polzonetti, Barbara Re, Leonardo Vito: Resourceome for e-Government: Semantic Web Tool for Managing PA Resources. CSREA EE 2009: 354-356
- [c16]Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei: A Shape Calculus for Biological Processes. ICTCS 2009: 30-33
- [p1]Nicola Cannata, Flavio Corradini, Emanuela Merelli, Francesca Piersigilli, Leonardo Vito: Towards Bioinformatics Resourceomes. Biomedical Data and Applications 2009: 13-36
- 2008
- [j15]
- [c15]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: 493-502
- 2007
- [j14]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 8(1): 45-59 (2007)
- [j13]Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Lorenzo Scortichini: BioWMS: a web-based Workflow Management System for bioinformatics. BMC Bioinformatics 8(S-1) (2007)
- [j12]Paolo Romano, 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 8(S-1) (2007)
- [j11]Nicola Cannata, Flavio Corradini, Emanuela Merelli: A Resourceomic Grid for bioinformatics. Future Generation Comp. Syst. 23(3): 510-516 (2007)
- [j10]Emanuela Merelli, Michal Young: Validating MAS simulation models with mutation. Multiagent and Grid Systems 3(2): 225-243 (2007)
- [c14]Nicola Cannata, Flavio Corradini, Francesca Piersigilli, Emanuela Merelli, Leonardo Vito: Semantic Resource Management in MAS. WOA 2007: 42-47
- 2006
- [j9]Paolo Romano, 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 3(1) (2006)
- [j8]Nicola Cannata, Emanuela Merelli, Russ B. Altman: Correction: Time to Organize the Bioinformatics Resourceome. PLoS Computational Biology 2(2) (2006)
- [c13]Ezio Bartocci, Flavio Corradini, Emanuela Merelli: Enacting Proactive Workflows Engine in e-Science. International Conference on Computational Science (3) 2006: 1012-1015
- [c12]Ezio Bartocci, Flavio Corradini, Emanuela Merelli: Building a MultiAgent System from a User Workflow Specification. WOA 2006
- [c11]Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Leonardo Vito: Model driven design and implementation of activity-based applications in Hermes. WOA 2006
- 2005
- [j7]Michael Luck, Emanuela Merelli: Agents in bioinformatics. Knowledge Eng. Review 20(2): 117-125 (2005)
- [j6]Nicola Cannata, Emanuela Merelli, Russ B. Altman: Time to Organize the Bioinformatics Resourceome. PLoS Computational Biology 1(7) (2005)
- [j5]Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci: An Agent-Oriented Conceptual Framework for Systems Biology. : 105-122 (2005)
- [c10]Flavio Corradini, Emanuela Merelli, Marco Vita: A Multi-agent System for Modelling Carbohydrate Oxidation in Cell. ICCSA (2) 2005: 1264-1273
- [c9]Flavio Corradini, Emanuela Merelli: Hermes: Agent-Based Middleware for Mobile Computing. SFM 2005: 234-270
- [c8]Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini, Emanuela Merelli: Integrating Ontologies in Mobile Agents. WOA 2005: 37-45
- [e2]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. Pitagora Editrice Bologna 2005, ISBN 88-371-1590-3
- [e1]Corrado Priami, Emanuela Merelli, Pedro Pablo Gonzalez, Andrea Omicini (Eds.): Transactions on Computational Systems Biology III. Lecture Notes in Computer Science 3737, Springer 2005, ISBN 3-540-30883-0
- 2004
- [j4]Flavio Corradini, Leonardo Mariani, Emanuela Merelli: An agent-based approach to tool integration. STTT 6(3): 231-244 (2004)
- [c7]Diego Bonura, Flavio Corradini, Emanuela Merelli, Gino Romiti: FarMAS: A MAS for Extended Quality Workflow. WETICE 2004: 435-440
- [c6]Flavio Corradini, Chiara Ercoli, Emanuela Merelli, Barbara Re: An agent-based matchmaker. WOA 2004: 150-156
- 2003
- [c5]Ezio Bartocci, Emanuela Merelli, Leonardo Mariani: An XML View of the "World". ICEIS (1) 2003: 19-27
- [c4]Flavio Corradini, Leonardo Mariani, Emanuela Merelli: A Programming Environment for Global Activity-based Applications. WOA 2003: 163-169
- 2002
- [c3]
- 2000
- [j3]Ferdinando Pezzella, Emanuela Merelli: A tabu search method guided by shifting bottleneck for the job shop scheduling problem. European Journal of Operational Research 120(2): 297-310 (2000)
1990 – 1999
- 1999
- [c2]Viviana Mascardi, Emanuela Merelli: Agent-Oriented and Constraint Technologies for Distributed Transaction Management. IIA/SOCO 1999
- 1998
- [j2]Renato De Leone, Rosario Capparuccia, Emanuela Merelli: A successive overrelaxation backpropagation algorithm for neural-network training. IEEE Transactions on Neural Networks 9(3): 381-388 (1998)
1980 – 1989
- 1987
- [j1]Fausto Caneschi, Emanuela Merelli: An Architecture for an ASN.1 Encoder/Decoder. Computer Networks 14: 297-303 (1987)
- [c1]Fausto Caneschi, Emanuela Merelli: Standardizing the Presentation Layer. Why and What? ICDCS 1987: 35-39
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:02 CEST by the dblp team