Stefano Schivo
Geciteerd door
Geciteerd door
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
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
Review of current use of mobile telephony in developing regions
M Forlin, R Larcher, S Schivo
Retrieved February 11, 2015, 2008
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
Approximate model checking of stochastic cows
P Quaglia, S Schivo
International Symposium on Trustworthy Global Computing, 335-347, 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, 26695, 2016
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
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
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
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
FFORT: A benchmark suite for fault tree analysis
E Ruijters, CE Budde, MC Nakhaee, MIA Stoelinga, D Bucur, D Hiemstra, ...
Singapore: Research Publishing, 2019
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
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20