Emanuela Merelli

Available identifiers

Publication	Date of Publication	Type
A Persistent Entropy Automaton for the Dow Jones Stock Market	2024-03-14	Paper
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
Towards Abstraction-Based Verification of Shape Calculus	2014-03-21	Paper
Model checking biological oscillators	2014-03-21	Paper
Bone remodelling in \textsc{BioShape}	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
Factorizing the Brauer monoid in polynomial time	N/A	Paper

This page was built for person: Emanuela Merelli