Emanuela Merelli

Orcid: 0000-0002-1321-4134

Affiliations:
  • University of Camerino, Italy


According to our database1, Emanuela Merelli authored at least 109 papers between 1987 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Factorizing the Brauer monoid in polynomial time.
CoRR, 2024

2022
Automatic generation of pseudoknotted RNAs taxonomy.
BMC Bioinform., July, 2022

RNA secondary structure factorization in prime tangles.
BMC Bioinform., 2022

2021
Automaton of molecular perceptions in biochemical reactions.
CoRR, 2021

2020
Machine learning models predicting multidrug resistant urinary tract infections using "DsaaS".
BMC Bioinform., 2020

ASPRAlign: a tool for the alignment of RNA secondary structures with arbitrary pseudoknots.
Bioinform., 2020

2019
Topological Run-time Monitoring for Complex Systems.
CoRR, 2019

An algebraic language for RNA pseudoknots comparison.
BMC Bioinform., 2019

A Persistent Entropy Automaton for the Dow Jones Stock Market.
Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

Label Core for Understanding RNA Structure.
Proceedings of the Computational Intelligence Methods for Bioinformatics and Biostatistics, 2019

Algebraic Characterisation of Non-coding RNA.
Proceedings of the Computational Intelligence Methods for Bioinformatics and Biostatistics, 2019

Topological Interpretation of Interactive Computation.
Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019

X-Klaim Is Back.
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

Loop Grammars to Identify RNA Structural Patterns.
Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019), 2019

2018
Big Data: Business, Technology, Education, and Science: Big Data (Ubiquity symposium).
Ubiquity, 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 Process., 2017

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

Uniformity in Multiscale Models: From Complex Automata to BioShape.
J. Cell. Autom., 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 Adapt. Syst., 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.
Nat. Comput., 2015

Topological Characterization of Complex Systems: Using Persistent Entropy.
Entropy, 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

Topological classification of small DC motors.
Proceedings of the 1st IEEE International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow, 2015

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

2014
Preface.
Proceedings of the 5th International Workshop on Interactions between Computer Science and Biology, 2014

jHoles: A Tool for Understanding Biological Complex Networks via Clique Weight Rank Persistent Homology.
Proceedings of the 5th International Workshop on Interactions between Computer Science and Biology, 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

Interoperability issues among smart home technological frameworks.
Proceedings of the 10th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 2014

AAL domain ontology for event-based human activity recognition.
Proceedings of the 10th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 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

Characterisation of the Idiotypic Immune Network Through Persistent Entropy.
Proceedings of the 2014 European Conference on Complex Systems, 2014

2013
Preface.
Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology, 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. Comp. Sys. Biology, 2012

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

UBioLab: a web-LABoratory for Ubiquitous in-silico experiments.
J. Integr. Bioinform., 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 Bioinform., 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.
Proceedings of the Second International Workshop on Interactions between Computer Science and Biology, 2011

Towards Abstraction-Based Verification of Shape Calculus.
Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, 2011

A Uniform Multiscale Meta-model of BioShape.
Proceedings of the Second International Workshop on Interactions between Computer Science and Biology, 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.
Biosyst., 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.
Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology, 2010

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

Shape Calculus. A Spatial Mobile Calculus for 3D Shapes.
Sci. Ann. Comput. 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

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.
Int. J. Model. Identif. Control., 2008

Preface.
Proceedings of the Second Workshop From Biology to Concurrency and Back, 2008

Model Checking Biological Oscillators.
Proceedings of the Second Workshop From Biology to Concurrency and Back, 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 Grid Syst., 2007

A Resourceomic Grid for bioinformatics.
Future Gener. Comput. Syst., 2007

Preface.
Proceedings of the First Workshop "From Biology To Concurrency and back", 2007

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

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

Agents in bioinformatics, computational and systems biology.
Briefings Bioinform., 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 Comput. Biol., 2006

Network integration of data and analysis of oncology interest.
J. Integr. Bioinform., 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.
Trans. Comp. Sys. Biology, 2005

Time to Organize the Bioinformatics Resourceome.
PLoS Comput. Biol., 2005

Agents in bioinformatics.
Knowl. Eng. Rev., 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.
Int. J. Softw. Tools Technol. Transf., 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.
Eur. J. Oper. Res., 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.
Comput. Networks, 1987

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


  Loading...