Stefano Schivo
Titel
Geciteerd door
Geciteerd door
Jaar
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
362013
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
222014
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
202016
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
192017
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
162018
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
142017
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
102014
Review of current use of mobile telephony in developing regions
M Forlin, R Larcher, S Schivo
Retrieved February 11, 2015, 2008
102008
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
82017
Approximate model checking of stochastic cows
P Quaglia, S Schivo
International Symposium on Trustworthy Global Computing, 335-347, 2010
82010
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
72016
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
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
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
42017
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
42013
FFORT: A benchmark suite for fault tree analysis
E Ruijters, CE Budde, MC Nakhaee, MIA Stoelinga, D Bucur, D Hiemstra, ...
Singapore: Research Publishing, 2019
32019
webANIMO: Improving the accessibility of ANIMO
W Siers, M Bakker, B Rubbens, R Haasjes, J Brandt, S Schivo
F1000Research 5 (1714), 1714, 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
Statistical model checking of Web Services
S Schivo
University of Trento, 2010
32010
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
22020
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20