Emanuela Merelli

Available identifiers

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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Emanuela Merelli