The following pages link to Emanuela Merelli (Q281272):
Displaying 17 items.
- jHoles: a tool for understanding biological complex networks via clique weight rank persistent homology (Q281275) (← links)
- Detecting synchronisation of biological oscillators by model checking (Q969176) (← links)
- A tabu search method guided by shifting bottleneck for the job shop scheduling problem (Q1969832) (← links)
- StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes (Q3507384) (← links)
- (Q4524224) (← links)
- (Q4621138) (← links)
- (Q4621139) (← links)
- Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study (Q4912378) (← links)
- Bone Remodelling: A Complex Automata-Based Model Running in BioShape (Q4931196) (← links)
- Topological Classification of RNA Structures via Intersection Graph (Q5055988) (← links)
- A Combined Process Algebraic and Stochastic Approach to Bone Remodeling (Q5166642) (← links)
- Model Checking Biological Oscillators (Q5404073) (← links)
- Bone Remodelling in BioShape (Q5404084) (← links)
- Towards Abstraction-Based Verification of Shape Calculus (Q5404093) (← links)
- Validating MAS simulation models with mutation (Q5424344) (← links)
- Transactions on Computational Systems Biology III (Q5898013) (← links)
- Factorizing the Brauer monoid in polynomial time (Q6521480) (← links)