Emanuela Merelli

According to our database1, Emanuela Merelli authored at least 93 papers between 1987 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Loop-loop Interaction Metrics on RNA Secondary Structures with Pseudoknots.
Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2018), 2018

2017
A new topological entropy-based approach for measuring similarities among piecewise linear functions.
Signal Processing, 2017

An algebraic representation for tree alignment of RNA pseudoknotted structures.
PeerJ PrePrints, 2017

Uniformity in Multiscale Models: From Complex Automata to BioShape.
J. Cellular Automata, 2017

Topological Classification of RNA Structures via Intersection Graph.
Proceedings of the Theory and Practice of Natural Computing - 6th International Conference, 2017

2016
Adaptability checking in complex systems.
Sci. Comput. Program., 2016

A topological approach for multivariate time series characterization: the epileptic brain.
EAI Endorsed Trans. Self-Adaptive Systems, 2016

Topological classifier for detecting the emergence of epileptic seizures.
CoRR, 2016

A Graph Grammar for Modelling RNA Folding.
Proceedings of the Proceedings Second Graphs as Models Workshop, 2016

Survey of TOPDRIM Applications of Topological Data Analysis.
Proceedings of the 2nd International Workshop on Knowledge Discovery on the WEB, 2016

2015
From Computer Science to Biology and Back.
Theor. Comput. Sci., 2015

Interactions between Computer Science and Biology.
Theor. Comput. Sci., 2015

Topology driven modeling: the IS metaphor.
Natural Computing, 2015

Topological Characterization of Complex Systems: Using Persistent Entropy.
Entropy, 2015

A new topological entropy-based approach for measuring similarities among piecewise linear functions.
CoRR, 2015

Topological characterization of S[B] systems: From data to models of complexity.
CoRR, 2015

Probabilistic Modelling and Analysis of a Fish Population.
Proceedings of the Software Engineering and Formal Methods, 2015

A topological approach for multivariate time series characterization: the epileptic brain.
Proceedings of the BICT 2015, 2015

Towards a Shape Language for Interpreting RNA Folding.
Proceedings of the BICT 2015, 2015

2014
Preface.
Electr. Notes Theor. Comput. Sci., 2014

jHoles: A Tool for Understanding Biological Complex Networks via Clique Weight Rank Persistent Homology.
Electr. Notes Theor. Comput. Sci., 2014

Neural Hypernetwork Approach for Pulmonary Embolism diagnosis.
CoRR, 2014

Adaptability Checking in Multi-Level Complex Systems.
CoRR, 2014

Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea.
Proceedings of the Software Engineering and Formal Methods, 2014

RNN-based Model for Self-adaptive Systems - The Emergence of Epilepsy in the Human Brain.
Proceedings of the NCTA 2014 - Proceedings of the International Conference on Neural Computation Theory and Applications, part of IJCCI 2014, Rome, Italy, 22, 2014

2013
Preface.
Electr. Notes Theor. Comput. Sci., 2013

DISPAS: An Agent-Based Tool for the Management of Fishing Effort.
Proceedings of the Software Engineering and Formal Methods, 2013

Non locality, Topology, Formal languages: New Global Tools to Handle Large Data Sets.
Proceedings of the International Conference on Computational Science, 2013

2012
Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study.
Trans. Computational Systems Biology, 2012

Multilevel Computational Modeling and Quantitative Analysis of Bone Remodeling.
IEEE/ACM Trans. Comput. Biology Bioinform., 2012

UBioLab: a web-LABoratory for Ubiquitous in-silico experiments.
J. Integrative Bioinformatics, 2012

Towards Abstraction-Based Verification of Shape Calculus.
Electr. Notes Theor. Comput. Sci., 2012

A multi-level model for self-adaptive systems
Proceedings of the Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, 2012

Disease processes as hybrid dynamical systems
Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012

Modelling osteomyelitis.
BMC Bioinformatics, 2012

A Geometrical Refinement of Shape Calculus Enabling Direct Simulation.
Proceedings of the SIMULTECH 2012 - Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Rome, Italy, 28, 2012

The Immune System as a Metaphor for Topology Driven Patterns Formation in Complex Systems.
Proceedings of the Artificial Immune Systems - 11th International Conference, 2012

2011
Methodological Bridges for Multi-Level Systems.
Proceedings of the 2nd European Future Technologies Conference and Exhibition, 2011

ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People.
ERCIM News, 2011

A Combined Process Algebraic and Stochastic Approach to Bone Remodeling.
Electr. Notes Theor. Comput. Sci., 2011

A Uniform Multiscale Meta-model of BioShape.
Electr. Notes Theor. Comput. Sci., 2011

Multiple verification in computational modeling of bone pathologies
Proceedings of the Proceedings Third International Workshop on Computational Models for Cell Processes, 2011

Multiscale Modelling: A Mobile Membrane Approach
CoRR, 2011

Modeling the cell cycle: From deterministic models to hybrid systems.
Biosystems, 2011

BIOSHAPE\textsc{BioShape}: End-User Development for Simulating Biological Systems.
Proceedings of the End-User Development - Third International Symposium, 2011

Osteoporosis: a multiscale modeling viewpoint.
Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011

2010
Preface: Hybrid automata and oscillatory behaviour in biological systems.
Theor. Comput. Sci., 2010

Detecting synchronisation of biological oscillators by model checking.
Theor. Comput. Sci., 2010

BioShape: a spatial shape-based scale-independent simulation environment for biological systems.
Proceedings of the International Conference on Computational Science, 2010

Bone Remodelling in BioShape.
Electr. Notes Theor. Comput. Sci., 2010

Timed Operational Semantics and Well-Formedness of Shape Calculus.
Sci. Ann. Comp. Sci., 2010

Shape Calculus. A Spatial Mobile Calculus for 3D Shapes.
Sci. Ann. Comp. Sci., 2010

Shape Calculus: Timed Operational Semantics and Well-formedness
CoRR, 2010

Multiscale Bone Remodelling with Spatial P Systems
Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

An Individual-based Probabilistic Model for Fish Stock Simulation
Proceedings of the Proceedings First Workshop on Applications of Membrane computing, 2010

Bone Remodelling: A Complex Automata-Based Model Running in BioShape.
Proceedings of the Cellular Automata, 2010

2009
Towards Bioinformatics Resourceomes.
Proceedings of the Biomedical Data and Applications, 2009

Preface.
Theor. Comput. Sci., 2009

Preface.
Electr. Notes Theor. Comput. Sci., 2009

Model Checking Biological Oscillators.
Electr. Notes Theor. Comput. Sci., 2009

A Shape Calculus for Biological Processes.
Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

Resourceome for e-Government: Semantic Web Tool for Managing PA Resources.
Proceedings of the 2009 International Conference on E-Learning, 2009

2008
Multiagent modelling and simulation of carbohydrate oxidation in cell.
IJMIC, 2008

Preface.
Electr. Notes Theor. Comput. Sci., 2008

StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes.
Proceedings of the Concurrency, 2008

2007
Validating MAS simulation models with mutation.
Multiagent and Grid Systems, 2007

A Resourceomic Grid for bioinformatics.
Future Generation Comp. Syst., 2007

Biowep: a workflow enactment portal for bioinformatics applications.
BMC Bioinformatics, 2007

BioWMS: a web-based Workflow Management System for bioinformatics.
BMC Bioinformatics, 2007

Agents in bioinformatics, computational and systems biology.
Briefings in Bioinformatics, 2007

Semantic Resource Management in MAS.
Proceedings of the WOA 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop "From Objects to Agents": Agents and Industry: Technological Applications of Software Agents, 2007

2006
Correction: Time to Organize the Bioinformatics Resourceome.
PLoS Computational Biology, 2006

Network integration of data and analysis of oncology interest.
J. Integrative Bioinformatics, 2006

Model driven design and implementation of activity-based applications in Hermes.
Proceedings of the 7th WOA 2006 Workshop, 2006

Building a MultiAgent System from a User Workflow Specification.
Proceedings of the 7th WOA 2006 Workshop, 2006

Enacting Proactive Workflows Engine in e-Science.
Proceedings of the Computational Science, 2006

2005
An Agent-Oriented Conceptual Framework for Systems Biology.
, 2005

Time to Organize the Bioinformatics Resourceome.
PLoS Computational Biology, 2005

Agents in bioinformatics.
Knowledge Eng. Review, 2005

Integrating Ontologies in Mobile Agents.
Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005

Hermes: Agent-Based Middleware for Mobile Computing.
Proceedings of the Formal Methods for Mobile Computing, 2005

A Multi-agent System for Modelling Carbohydrate Oxidation in Cell.
Proceedings of the Computational Science and Its Applications, 2005

2004
An agent-based approach to tool integration.
STTT, 2004

An agent-based matchmaker.
Proceedings of the WOA 2004: Dagli Oggetti agli Agenti. 5th AI*IA/TABOO Joint Workshop "From Objects to Agents": Complex Systems and Rational Agents, 30 November, 2004

FarMAS: A MAS for Extended Quality Workflow.
Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004

2003
A Programming Environment for Global Activity-based Applications.
Proceedings of the WOA 2003: Dagli Oggetti agli Agenti. 4th AI*IA/TABOO Joint Workshop "From Objects to Agents": Intelligent Systems and Pervasive Computing, 2003

An XML View of the "World".
Proceedings of the ICEIS 2003, 2003

2002
Patterns for web applications.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

2000
A tabu search method guided by shifting bottleneck for the job shop scheduling problem.
European Journal of Operational Research, 2000

1999
Agent-Oriented and Constraint Technologies for Distributed Transaction Management.
Proceedings of the Third ICSC Symposia on Intelligent Industrial Automation (IIA'99) and Soft Computing (SOCO'99), 1999

1998
A successive overrelaxation backpropagation algorithm for neural-network training.
IEEE Trans. Neural Networks, 1998

1987
An Architecture for an ASN.1 Encoder/Decoder.
Computer Networks, 1987

Standardizing the Presentation Layer. Why and What?
Proceedings of the 7th International Conference on Distributed Computing Systems, 1987


  Loading...