Modeling biological pathway dynamics with timed automata S Schivo, J Scholma, B Wanders, RAU Camacho, PE Van der Vet, ... IEEE journal of biomedical and health informatics 18 (3), 832-839, 2013 | 38 | 2013 |
Biological networks 101: Computational modeling for molecular biologists J Scholma, S Schivo, RAU Camacho, J van de Pol, M Karperien, JN Post Gene 533 (1), 379-384, 2014 | 30 | 2014 |
Effective analysis of attack trees: A model-driven approach R Kumar, S Schivo, E Ruijters, BM Yildiz, D Huistra, J Brandt, A Rensink, ... International Conference on Fundamental Approaches to Software Engineering …, 2018 | 26 | 2018 |
Nitric oxide mediates crosstalk between interleukin 1β and WNT signaling in primary human chondrocytes by reducing DKK1 and FRZB expression L Zhong, S Schivo, X Huang, J Leijten, M Karperien, JN Post International journal of molecular sciences 18 (11), 2491, 2017 | 25 | 2017 |
Modelling with ANIMO: between fuzzy logic and differential equations S Schivo, J Scholma, PE van der Vet, M Karperien, JN Post, J van de Pol, ... BMC systems biology 10 (1), 1-15, 2016 | 25 | 2016 |
How to efficiently build a front-end tool for UPPAAL: a model-driven approach S Schivo, BM Yildiz, E Ruijters, C Gerking, R Kumar, S Dziwok, A Rensink, ... International Symposium on Dependable Software Engineering: Theories, Tools …, 2017 | 14 | 2017 |
FFORT: a benchmark suite for fault tree analysis E Ruijters, CE Budde, MC Nakhaee, MIA Stoelinga, D Bucur, D Hiemstra, ... Singapore: Research Publishing, 2019 | 12 | 2019 |
Setting parameters for biological models with ANIMO S Schivo, J Scholma, M Karperien, JN Post, J van de Pol, R Langerak arXiv preprint arXiv:1404.0444, 2014 | 12 | 2014 |
Uniform analysis of fault trees through model transformations E Ruijters, S Schivo, M Stoelinga, A Rensink 2017 Annual Reliability and Maintainability Symposium (RAMS), 1-7, 2017 | 10 | 2017 |
Review of current use of mobile telephony in developing regions M Forlin, R Larcher, S Schivo Retrieved February 11, 2015, 2008 | 10 | 2008 |
ECHO, the executable CHOndrocyte: A computational model to study articular chondrocytes in health and disease S Schivo, S Khurana, K Govindaraj, J Scholma, J Kerkhofs, L Zhong, ... Cellular Signalling 68, 109471, 2020 | 8 | 2020 |
Approximate model checking of stochastic cows P Quaglia, S Schivo International Symposium on Trustworthy Global Computing, 335-347, 2010 | 8 | 2010 |
Improved intra-array and interarray normalization of peptide microarray phosphorylation for phosphorylome and kinome profiling by rational selection of relevant spots J Scholma, GM Fuhler, J Joore, M Hulsman, S Schivo, AF List, ... Scientific reports 6 (1), 1-13, 2016 | 7 | 2016 |
Comparison of timed automata with discrete event simulation for modeling of biomarker-based treatment decisions: an illustration for metastatic castration-resistant prostate cancer K Degeling, S Schivo, N Mehra, H Koffijberg, R Langerak, JS de Bono, ... Value in health 20 (10), 1411-1419, 2017 | 6 | 2017 |
Quantitative analysis of services I Cappello, A Clark, S Gilmore, D Latella, M Loreti, P Quaglia, S Schivo Rigorous Software Engineering for Service-Oriented Systems, 522-540, 2011 | 6 | 2011 |
J Van De Pol2, L Geris4 and JN Post1 1Developmental Bioengineering, MIRA institute for biomedical technology and technical medicine, University of Twente, Enschede, The … J Scholma, S Schivo, J Kerkhofs, R Langerak, M Karperien J Tissue Eng Regen Med 8 (1), 39-206, 2014 | 5 | 2014 |
Mathematical modeling of signaling pathways in osteoarthritis J Scholma, J Kerkhofs, S Schivo, R Langerak, P van der Vet, M Karperien, ... Osteoarthritis and Cartilage 21, S123, 2013 | 4 | 2013 |
Discretization of continuous dynamical systems using UPPAAL S Schivo, R Langerak ModelEd, TestEd, TrustEd, 297-315, 2017 | 3 | 2017 |
webANIMO: Improving the accessibility of ANIMO W Siers, M Bakker, B Rubbens, R Haasjes, J Brandt, S Schivo F1000Research 5 (1714), 1714, 2016 | 3 | 2016 |
An echo in biology: Validating the executable chondrocyte J Scholma, S Schivo, M Karperien, R Langerak, J van de Pol, JN Post Osteoarthritis and cartilage 22, S157, 2014 | 3 | 2014 |