| 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 | 30 | 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 | 18 | 2014 |
| 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), 56, 2016 | 15 | 2016 |
| 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, J Post International journal of molecular sciences 18 (11), 2491, 2017 | 13 | 2017 |
| 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 | 10 | 2017 |
| 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 | 9 | 2014 |
| Review of current use of mobile telephony in developing regions M Forlin, R Larcher, S Schivo Retrieved February 11, 2015, 2008 | 9 | 2008 |
| 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 | 8 | 2018 |
| Approximate model checking of stochastic cows P Quaglia, S Schivo International Symposium on Trustworthy Global Computing, 335-347, 2010 | 8 | 2010 |
| 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 | 7 | 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 |
| 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, 26695, 2016 | 5 | 2016 |
| 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 |
| webANIMO: Improving the accessibility of ANIMO W Siers, M Bakker, B Rubbens, R Haasjes, J Brandt, S Schivo F1000Research 5, 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 |
| 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 | 3 | 2013 |
| Statistical model checking of Web Services S Schivo University of Trento, 2010 | 3 | 2010 |
| 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 | 2 | 2017 |
| Validation of CFS classification with different data sources M Bassetti, M Bernabe, M Borile, C Desilvestro, T Fedrizzi, A Giordani, ... University of Trento, 2006 | 2 | 2006 |
| In silico validation of a cartilage specific circadian clock: mutation of BMAL1 increased MMP expression S Khurana, A Bokkers, DJ Geijs, S Schivo, M Karperien, JN Post Osteoarthritis and Cartilage 27, S193-S194, 2019 | 1 | 2019 |
