Stefano Schivo
TitleCited byYear
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
302013
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
182014
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
152016
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
132017
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
102017
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
92014
Review of current use of mobile telephony in developing regions
M Forlin, R Larcher, S Schivo
Retrieved February 11, 2015, 2008
92008
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
82018
Approximate model checking of stochastic cows
P Quaglia, S Schivo
International Symposium on Trustworthy Global Computing, 335-347, 2010
82010
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
72017
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
62011
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
52016
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
52014
webANIMO: Improving the accessibility of ANIMO
W Siers, M Bakker, B Rubbens, R Haasjes, J Brandt, S Schivo
F1000Research 5, 2016
32016
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
32014
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
32013
Statistical model checking of Web Services
S Schivo
University of Trento, 2010
32010
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
22017
Validation of CFS classification with different data sources
M Bassetti, M Bernabe, M Borile, C Desilvestro, T Fedrizzi, A Giordani, ...
University of Trento, 2006
22006
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
12019
The system can't perform the operation now. Try again later.
Articles 1–20