• 1715 Citations
  • 14 h-Index
20012019
If you made any changes in Pure these will be visible here soon.

Research Output 2001 2019

Filter
Conference contribution
2017
50 Downloads (Pure)

Improving the Timed Automata Approach to Biological Pathway Dynamics

Langerak, R., van de Pol, J., Post, J. N. & Schivo, S., 19 Aug 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A. & Mardare, R. (eds.). Springer, p. 96-111 16 p. (Lecture Notes in Computer Science; vol. 10460).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Computer science
Model checking
Biological systems
User interfaces
Genes
2014
51 Downloads (Pure)

An echo in biology: validating the executable chondrocyte

Scholma, J., Schivo, S., Karperien, H. B. J., Langerak, R., van de Pol, J. C. & Post, J. N., 1 Apr 2014, 2014 World Congress on Osteoarthritis. Supplement ed. Amsterdam: Elsevier, Vol. 22. p. S157-S157 1 p. (Osteoarthritis and Cartilage; vol. 22).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
Chondrocytes
Cartilage
Osteogenesis
Catenins
Osteoarthritis
20 Downloads (Pure)

ECHO: the executable chondrocyte

Scholma, J., Schivo, S., Kerkhofs, J., Langerak, R., Karperien, H. B. J., van de Pol, J. C., Geris, L. & Post, J. N., 9 Jun 2014, Tissue Engineering & Regenerative Medicine International Society, European Chapter Meeting. Malden: Wiley, p. 54-54 1 p. (s1; vol. 8).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
6 Citations (Scopus)
35 Downloads (Pure)

Setting Parameters for Biological Models With ANIMO

Schivo, S., Scholma, J., Karperien, H. B. J., Post, J. N., van de Pol, J. C. & Langerak, R., 8 Apr 2014, Proceedings 1st International Workshop on Synthesis of Continuous Parameters. André, É. & Frehse, G. (eds.). Open Publishing Association, p. 35-47 13 p. (Electronic Proceedings in Theoretical Computer Science; vol. 145).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2013

Mathematical modeling of signaling pathways in osteoarthritis

Scholma, J., Kerkhofs, J., Schivo, S., Langerak, R., van der Vet, P. E., Karperien, H. B. J., van de Pol, J. C., Geris, L. & Post, J. N., 19 Apr 2013, 2013 Osteoarthritis Research Society International (OARSI) World Congress. Lohmander, S. (ed.). Amsterdam: Elsevier, p. - 1 p. (S123; vol. 21, no. Suppl.).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Role of TCF4 in signaling crosstalk with NFκB in human chondrocytes

Zhong, L., Ma, B., Post, J. N. & Karperien, H. B. J., 2013, Unknown. p. S122-S123

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

2012
10 Citations (Scopus)

Modelling biological pathway dynamics with Timed Automata

Schivo, S., Scholma, J., Wanders, B., Urquidi Camacho, R. A., van der Vet, P. E., Karperien, H. B. J., Langerak, R., van de Pol, J. C. & Post, J. N., Nov 2012, 2012 IEEE 12th International Conference on Bioinformatics and Bioengineering (BIBE 2012). IEEE Computer Society, p. 447-453 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Crosstalk
Reaction kinetics
User interfaces
Semantics
Engines
2006

Gene transfer and characterization of protein dynamics in stem cells using single cell electroporation in a microfluidic device

Valero, A., Post, J. N., van Nieuwkasteele, J. W., Kruijer, W., Andersson, H. & van den Berg, A., Nov 2006, Proceedings of microTAS 2006 Conference. Kitamori, T., Fujita, H. & Hasebe, S. (eds.). Tokyo, Japan: Japan Academic Association Inc, p. 22-24 3 p. (Micro Total Analysis Systems; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review