Stefano Schivo
Cited by
Cited by
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
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
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
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
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
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
Review of current use of mobile telephony in developing regions
M Forlin, R Larcher, S Schivo
Retrieved February 11, 2015, 2008
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
Approximate model checking of stochastic cows
P Quaglia, S Schivo
International Symposium on Trustworthy Global Computing, 335-347, 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
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
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
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
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
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
webANIMO: Improving the accessibility of ANIMO
W Siers, M Bakker, B Rubbens, R Haasjes, J Brandt, S Schivo
F1000Research 5 (1714), 1714, 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
Statistical model checking of Web Services
S Schivo
University of Trento, 2010
Validation of CFS classification with different data sources
M Bassetti, M Bernabe, M Borile, C Desilvestro, T Fedrizzi, A Giordani, ...
University of Trento, 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
The system can't perform the operation now. Try again later.
Articles 1–20