Emanuela Merelli

Available identifiers

zbMath Open merelli.emanuelaWikidataQ55756079 ScholiaQ55756079MaRDI QIDQ281272

List of research outcomes

Publication	Date of Publication	Type
Topological Classification of RNA Structures via Intersection Graph	2022-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q4621138	2019-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4621139	2019-02-08	Paper
jHoles: a tool for understanding biological complex networks via clique weight rank persistent homology	2016-05-10	Paper
A Combined Process Algebraic and Stochastic Approach to Bone Remodeling	2014-06-27	Paper
Model Checking Biological Oscillators	2014-03-21	Paper
Bone Remodelling in BioShape	2014-03-21	Paper
Towards Abstraction-Based Verification of Shape Calculus	2014-03-21	Paper
Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study	2013-04-03	Paper
Bone Remodelling: A Complex Automata-Based Model Running in BioShape	2010-10-04	Paper
Detecting synchronisation of biological oscillators by model checking	2010-05-11	Paper
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes	2008-06-19	Paper
Validating MAS simulation models with mutation	2007-11-05	Paper
Transactions on Computational Systems Biology III	2006-11-14	Paper
https://portal.mardi4nfdi.de/entity/Q4524224	2001-07-02	Paper
A tabu search method guided by shifting bottleneck for the job shop scheduling problem	2000-03-19	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Emanuela Merelli