42 citations · 53 across the 2 of their papers we have counts for
2 papers
q-bio.MN2014★ 11 cited
Setting Parameters for Biological Models With ANIMO
Stefano Schivo, Jetse Scholma, Marcel Karperien +3
ANIMO (Analysis of Networks with Interactive MOdeling) is a software for modeling biological networks, such as e.g. signaling, metabolic or gene networks. An ANIMO model is essenti…
cs.DC2010★ 42 cited
Boosting Multi-Core Reachability Performance with Shared Hash Tables
Alfons Laarman, Jaco van de Pol, Michael Weber
This paper focuses on data structures for multi-core reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of an efficie…