Abstract | ||
---|---|---|
BackgroundComputational support is essential in order to reason on the dynamics of biological systems. We have developed the software tool ANIMO (Analysis of Networks with Interactive MOdeling) to provide such computational support and allow insight into the complex networks of signaling events occurring in living cells. ANIMO makes use of timed automata as an underlying model, thereby enabling analysis techniques from computer science like model checking. Biology experts are able to use ANIMO via a user interface specifically tailored for biological applications. In this paper we compare the use of ANIMO with some established formalisms on two case studies. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1186/s12918-016-0286-z | BMC Systems Biology |
Keywords | Field | DocType |
Modelling, Signalling pathway, Timed automata, Dynamic behaviour | Model checking,Computer science,Fuzzy logic,Automaton,Systems biology,Theoretical computer science,Software,Complex network,Bioinformatics,User interface,Rotation formalisms in three dimensions | Journal |
Volume | Issue | ISSN |
10 | 1 | 1752-0509 |
Citations | PageRank | References |
4 | 0.42 | 22 |
Authors | ||
7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Stefano Schivo | 1 | 10 | 1.25 |
Jetse Scholma | 2 | 15 | 1.31 |
paul e van der vet | 3 | 132 | 33.20 |
Marcel Karperien | 4 | 15 | 1.31 |
Janine N. Post | 5 | 16 | 1.93 |
Jaco Van De Pol | 6 | 1022 | 78.19 |
Rom Langerak | 7 | 308 | 39.16 |