If you made any changes in Pure these will be visible here soon.

Research Output 2007 2019

2019

Strong Connectivity and Shortest Paths for Checking Models

Bloemen, V., 10 Jul 2019, Enschede. 264 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Model checking
Decomposition
Cost functions
Directed graphs
Data structures
2018
1 Citation (Scopus)
6 Downloads (Pure)

Adaptive Learning for Learn-Based Regression Testing

Huistra, D., Meijer, J. & Pol, J. V. D., Sep 2018, Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings. Howar, F. & Barnat, J. (eds.). Springer, p. 162-177 16 p. (Lecture Notes in Computer Science; vol. 11119).

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

Open Access
File
Testing
Model checking
Experiments
21 Downloads (Pure)

Choice and chance: model-based testing of stochastic behaviour

Gerhold, M., 12 Dec 2018, Enschede: University of Twente. 263 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Testing
Specification languages
Computer applications
Formal methods
Stochastic systems
121 Downloads (Pure)

Contract-based specification of embedded control systems

Oguz, O., 16 Feb 2018, Enschede: University of Twente. 216 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Specifications
Control systems
Model checking
Hybrid systems
Embedded systems
20 Downloads (Pure)

Layered and Collecting NDFS with Subsumption for Parametric Timed Automata

Nguyen, H. G., Petrucci, L. & Pol, J. V. D., Dec 2018, 23rd International Conference on Engineering of Complex Computer Systems, ICECCS 2018, Melbourne, Australia, December 12-14, 2018. Lin, A. W. & Sun, J. (eds.). IEEE Xplore: IEEE Canada, 9 p.

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

Open Access
File
Temporal logic
Model checking
Experiments
1 Citation (Scopus)
55 Downloads (Pure)

Maximizing Synchronization for Aligning Observed and Modelled Behaviour

Bloemen, V., van Zelst, S. J., van der Aalst, W. M. P., van Dongen, B. F. & van de Pol, J., 2018, Business Process Management: 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings. Weske, M., Montali, M., vom Brocke, J. & Weber, I. (eds.). Cham: Springer, Vol. 11080. p. 233-249 17 p.

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

Open Access
File
Synchronization
Cost functions
Industry
1 Citation (Scopus)

MCC'2017 - The Seventh Model Checking Contest

Kordon, F., Garavel, H., Hillah, L-M., Paviot-Adet, E., Jezequel, L., Hulin-Hubard, F., Amparore, E. G., Beccuti, M., Berthomieu, B., Evrard, H., Jensen, P. G., Botlan, D. L., Liebke, T., Meijer, J., Srba, J., Thierry-Mieg, Y., Pol, J. V. D. & Wolf, K., 21 Nov 2018, Transactions on Petri Nets and Other Models of Concurrency XIII. Koutny, M., Kristensen, L. M. & Penczek, W. (eds.). p. 181-209 29 p. (Lecture notes in computer science; vol. 11090).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Model checking
Petri nets
33 Downloads (Pure)

Multi-core Decision Diagrams

van Dijk, T. & van de Pol, J., 2018, Handbook of Parallel Constraint Reasoning. Hamadi, Y. & Sais, L. (eds.). Cham: Springer, p. 509-545 37 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Decision Diagrams
Data structures
Model checking
Algorithms and Data Structures
Automated Reasoning
3 Citations (Scopus)
4 Downloads (Pure)

Multi-core symbolic bisimulation minimisation

van Dijk, T. & van de Pol, J., Apr 2018, In : International journal on software tools for technology transfer. 20, 2, p. 157-177 21 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Markov processes
Binary decision diagrams
Algebra
Explosions
Data structures
1 Citation (Scopus)
22 Downloads (Pure)

Parallel Model Checking Algorithms for Linear-Time Temporal Logic

Barnat, J., Bloemen, V., Duret-Lutz, A., Laarman, A., Petrucci, L., van de Pol, J. & Renault, E., 2018, Handbook of Parallel Constraint Reasoning. Hamadi, Y. & Sais, L. (eds.). Cham: Springer, p. 457-507 51 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Temporal logic
Model checking
Temporal Logic
Model Checking
Linear Time
34 Downloads (Pure)

Parameter Synthesis Algorithms for Parametric Interval Markov Chains

Petrucci, L. & van de Pol, J., Jun 2018, Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings. Baier, C. & Caires, L. (eds.). Cham: Springer, p. 121-140 20 p. (Lecture Notes in Computer Science; vol. 10854).

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

Open Access
File
Inductive Definitions
Markov processes
Markov chain
Synthesis
Interval
3 Citations (Scopus)
71 Downloads (Pure)

Sound Black-Box Checking in the LearnLib

Meijer, J. & van de Pol, J., 11 Mar 2018, NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. Dutle, A., Muñoz, C. A. & Narkawicz, A. (eds.). Cham: Springer, p. 349-366 18 p. (Lecture Notes in Computer Science; vol. 10811).

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

Open Access
File
Acoustic waves
Learning algorithms
Finite automata
Application programming interfaces (API)
Experiments
1 Citation (Scopus)
26 Downloads (Pure)

Symbolically Aligning Observed and Modelled Behaviour

Bloemen, V., van de Pol, J. & van der Aalst, W. M. P., 25 Jun 2018, 2018 18th International Conference on Application of Concurrency to System Design : Proceedings. IEEE, p. 50-59 10 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Model checking
Petri nets
Structural properties
Experiments
Costs
2017
4 Citations (Scopus)
1 Downloads (Pure)

Distributed Binary Decision Diagrams for Symbolic Reachability

Oortwijn, W., van Dijk, T. & van de Pol, J., Jul 2017, SPIN 2017 Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery (ACM), p. 21-30 10 p.

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

Binary decision diagrams
Data storage equipment
Network performance
Parallel algorithms
1 Citation (Scopus)
3 Downloads (Pure)

Explicit State Model Checking with Generalized Büchi and Rabin Automata

Bloemen, V., Duret-Lutz, A. & van de Pol, J., Jul 2017, SPIN 2017: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery (ACM), p. 50-59 10 p.

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

Model checking
Set theory
Experiments
149 Downloads (Pure)

Green computing: efficient energy management of multiprocessor streaming applications via model checking

Ahmad, W., 13 Apr 2017, Enschede: University of Twente. 228 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Energy management
Model checking
Scheduling
Video conferencing
Mobile computing
35 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

Parallel Algorithms for Model Checking

van de Pol, J., Nov 2017, Topics in Theoretical Computer Science: Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings. Mousavi, M. R. & Sgall, J. (eds.). Springer, p. xv-xvi 2 p. (Lecture Notes in Computer Science; vol. 10608).

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

Model checking
Parallel algorithms
Binary decision diagrams
Trees (mathematics)
Automata theory
8 Citations (Scopus)
32 Downloads (Pure)

Property-Preserving Generation of Tailored Benchmark Petri Nets

Bernhard, S., Jasper, M., Meijer, J. & van de Pol, J., Jun 2017, 17th International Conference on Application of Concurrency to System Design - ACSD 2017: 25-30 June 2017, Zaragoza, Spain : proceedings. Piscataway, NJ: IEEE Computer Society, 8 p.

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

Open Access
File
Petri nets
Concretes
Decomposition
Specifications
8 Citations (Scopus)
13 Downloads (Pure)

Sylvan: multi-core framework for decision diagrams

van Dijk, T. & van de Pol, J., Nov 2017, In : International journal on software tools for technology transfer. 19, 6, p. 675-696 22 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Binary decision diagrams
Model checking
Parallel algorithms
Processing
7 Citations (Scopus)
1 Downloads (Pure)

The RERS 2017 Challenge and Workshop

Jasper, M., Fecke, M., Steffen, B., Schordan, M., Meijer, J., van de Pol, J., Howar, F. & Siegel, S. F., Jul 2017, Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. New York: ACM Inc., p. 11-20 10 p.

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

Learning systems
Satellites
2016
13 Downloads (Pure)

An ECHO in biology II: Insights in chondrocyte cell fate

Schivo, S., Scholma, J., Huang, X., Huang, X., Zhong, L., Zhong, L., van de Pol, J. C., Karperien, H. B. J., Langerak, R. & Post, J. N., Apr 2016, p. S176-S177. 1 p.

Research output: Contribution to conferenceAbstractOther research output

File
Chondrocytes
Computer Simulation
Joints
Cartilage Diseases
Ligands
14 Citations (Scopus)
53 Downloads (Pure)

Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis

Meijer, J. & van de Pol, J. C., 7 Jun 2016, NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings. Rayadurgam, S. & Tkachuk, O. (eds.). Springer, p. 255-271 15 p. (Lecture Notes in Computer Science; vol. 9690).

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

Open Access
File
Wavefronts
Bandwidth
Petri nets
2 Citations (Scopus)
61 Downloads (Pure)

Confluence reduction for Markov automata

Timmer, M., Katoen, J. P., van de Pol, J. & Stoelinga, M. I. A., 6 Dec 2016, In : Theoretical computer science. 655, B, p. 193-219 27 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Confluence
Automata
Explosions
Nondeterminism
Bisimulation
5 Citations (Scopus)
33 Downloads (Pure)

Guard-based partial-order reduction

Laarman, A., Pater, E., van de Pol, J. & Hansen, H., Aug 2016, In : International journal on software tools for technology transfer. 18, 4, p. 427-448 22 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Model checking
Heuristic algorithms
Set theory
Costs
Experiments
3 Citations (Scopus)
39 Downloads (Pure)

Model checking and evaluating QoS of batteries in MPSoC dataflow applications via hybrid automata

Ahmad, W., Jongerden, M. R., Stoelinga, M. I. A. & van de Pol, J. C., 24 Jun 2016, Proceedings of the 16th International Conference on Application of Concurrency to System Design, ACSD 2016. USA: IEEE Computer Society, p. 114-123 10 p.

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

File
46 Downloads (Pure)

Model checking and evaluating QoS of batteries in MPSoC dataflow applications via hybrid automata (extended version)

Ahmad, W., Jongerden, M. R., Stoelinga, M. I. A. & van de Pol, J. C., 15 Apr 2016, Enschede: Centre for Telematics and Information Technology (CTIT). 33 p. (CTIT Technical Report Series; no. TR-CTIT-16-03)

Research output: Book/ReportReportProfessional

File
8 Citations (Scopus)
2 Downloads (Pure)

Modelling with ANIMO: between fuzzy logic and differential equations

Schivo, S., Scholma, J., van der Vet, P. E., Karperien, H. B. J., Post, J. N., van de Pol, J. C. & Langerak, R., 27 Jul 2016, In : BMC systems biology. 10, p. 56 15 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
13 Citations (Scopus)
132 Downloads (Pure)

Multi-Core On-The-Fly SCC Decomposition

Bloemen, V., Laarman, A. & van de Pol, J. C., Mar 2016, Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2016. New York: Association for Computing Machinery (ACM), p. 8 12 p.

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

File
8 Citations (Scopus)
32 Downloads (Pure)

Multi-core SCC-Based LTL Model Checking

Bloemen, V. & van de Pol, J. C., Nov 2016, Hardware and Software: Verification and Testing; Proceedings of the 12th International Haifa Verification Conference, HVC 2016. Bloem, R. & Arbel, E. (eds.). Cham: Springer, p. 18-33 16 p. (Lecture Notes in Computer Science; vol. 10028).

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

File
5 Citations (Scopus)
16 Downloads (Pure)

Multi-core Symbolic Bisimulation Minimisation

van Dijk, T. & van de Pol, J. C., Apr 2016, Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016). Chechik, M. & Raskin, J-F. (eds.). Berlin: Springer, p. 332-348 17 p. (Lecture Notes in Computer Science; vol. 9636).

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

File
Markov processes
Binary decision diagrams
Continuous time systems
Model checking
Parallel algorithms
4 Citations (Scopus)
35 Downloads (Pure)

Partial-Order Reduction for GPU Model Checking

Neele, T., Wijs, A., Bosnacki, D. & van de Pol, J. C., Oct 2016, Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016. Artho, C., Legay, A. & Peled, D. (eds.). Berlin: Springer, p. 357-374 18 p. (Lecture Notes in Computer Science; vol. 9938).

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

File
34 Downloads (Pure)

Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14)

Huisman, M. (ed.) & van de Pol, J. (ed.), Oct 2016, In : Science of computer programming. 128, p. 1-1 1 p.

Research output: Contribution to journalArticleAcademic

File
Theorem proving
Model checking
Security systems
Industry
9 Citations (Scopus)
28 Downloads (Pure)

RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification

Geske, M., Jasper, M., Steffen, B., Howar, F., Schordan, M. & van de Pol, J. C., Oct 2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Berlin: Springer, p. 787-803 17 p. (Lecture Notes in Computer Science; vol. 9953).

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

Open Access
File
Temporal logic
Computer programming languages
1 Citation (Scopus)

Software that meets its Intent

Huisman, M., Bos, H., Brinkkemper, S., van Deursen, A., Groote, J. F., Lago, P., van de Pol, J. & Visser, E., Oct 2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Springer, p. 609-625 17 p. (Lecture Notes in Computer Science; vol. 9953).

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

102 Downloads (Pure)

Sylvan: multi-core decision diagrams

van Dijk, T., 13 Jul 2016, Enschede: Universiteit Twente. 154 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Model checking
Resource allocation
Data structures
Processing
Experiments
4 Citations (Scopus)
51 Downloads (Pure)

Symbolic Reachability Analysis of B through ProB and LTSmin

Bendisposto, J., Körner, P., Leuschel, M., Meijer, J., van de Pol, J. C., Treharne, H. & Whitefield, J., Jun 2016, Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Ábrahám, E. & Huisman, M. (eds.). Cham: Springer, p. 275-291 16 p. (Lecture Notes in Computer Science; vol. 9681).

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

Open Access
File
Model checking
Specification languages
Glues
Experiments
2 Citations (Scopus)
30 Downloads (Pure)

Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with UPPAAL STRATEGO

Ahmad, W. & van de Pol, J. C., Oct 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). London: Springer, p. 94-113 20 p. (Lecture Notes in Computer Science; vol. 9952).

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

Open Access
File
Throughput
Controllers
Energy utilization
Dynamical systems
Electric power utilization
2015
1 Citation (Scopus)
13 Downloads (Pure)

A Distributed Hash Table for Shared Memory

Oortwijn, W. H. M., van Dijk, T. & van de Pol, J. C., Sep 2015, Parallel Processing and Applied Mathematics: 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II. Wyrzykowski, R., Deelman, E., Dongarra, J., Karczewski, K., Kitowski, J. & Wiatr, K. (eds.). London: Springer, p. 15-24 10 p. (Lecture Notes in Computer Science; vol. 9574).

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

Open Access
File
121 Downloads (Pure)

Automated Verification of Nested DFS

van de Pol, J. C., Jun 2015, Proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015). Núñez, M. & Güdemann, M. (eds.). Heidelberg: Springer, p. 181-197 17 p. (Lecture Notes in Computer Science; vol. 9128).

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

File
4 Downloads (Pure)
Open Access
File
Model checking
Wavefronts
Bandwidth
Petri nets
Data storage equipment
7 Citations (Scopus)

Green computing: power optimisation of vfi-based real-time multiprocessor dataflow applications

Ahmad, W., Holzenspies, P. K. F., Stoelinga, M. I. A. & van de Pol, J. C., 26 Aug 2015, 18th Euromicro Conference on Digital Systems Design (DSD 2015). USA: IEEE Computer Society, p. 271-275 5 p.

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

54 Downloads (Pure)

Green computing: power optimisation of VFI-based real-time multiprocessor dataflow applications (extended version)

Ahmad, W., Holzenspies, P. K. F., Stoelinga, M. I. A. & van de Pol, J. C., 24 Jun 2015, Enschede: Centre for Telematics and Information Technology (CTIT). 32 p. (CTIT Technical Report Series; no. TR-CTIT-15-04)

Research output: Book/ReportReportProfessional

File
55 Citations (Scopus)
55 Downloads (Pure)

LTSmin: High-Performance Language-Independent Model Checking

Kant, G., Laarman, A., Meijer, J., van de Pol, J. C., Blom, S. & van Dijk, T., Apr 2015, Tools and Algorithms for the Construction and Analysis of Systems. Baier, C. & Tinelli, C. (eds.). London: Springer, p. 692-707 16 p. (Lecture Notes in Computer Science; vol. 9035, no. 9035).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

File
Model checking
Interface states
Modeling languages
2 Citations (Scopus)
110 Downloads (Pure)

Modeling and Verification of the Bitcoin Protocol

Chaudhary, K., Fehnker, A., van de Pol, J. C. & Stoelinga, M. I. A., 13 Nov 2015, Proceedings of the Workshop on Models for Formal Analysis of Real Systems (MARS 2015). van Glabbeek, R. J., Groote, J. F. & Höfner, P. (eds.). Australia: Open Publishing Association, p. 46-60 15 p. (Electronic Proceedings in Theoretical Computer Science; vol. 196).

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

File
Network protocols
Electronic money
14 Citations (Scopus)
170 Downloads (Pure)

Sylvan: Multi-core Decision Diagrams

van Dijk, T. & van de Pol, J. C., Apr 2015, Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015. London: Springer, p. 677-691 15 p. (Lecture Notes in Computer Science; vol. 9035).

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

File
2014
35 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
27 Downloads (Pure)

ANIMO: a tool for modeling biological pathway dynamics

Schivo, S., Scholma, J., Karperien, H. B. J., Langerak, R., van de Pol, J. C. & Post, J. N., 9 Jun 2014, p. 54-55. 2 p.

Research output: Contribution to conferenceAbstractOther research output

File
11 Citations (Scopus)

Biological networks 101: computational modeling for molecular biologists

Scholma, J., Schivo, S., Urquidi Camacho, R. A., van de Pol, J. C., Karperien, H. B. J. & Post, J. N., 1 Jan 2014, In : Gene. 533, 42, p. 379-384 6 p.

Research output: Contribution to journalArticleAcademicpeer-review

Molecular Models
Mathematics
Chondrocytes
Signal Transduction
Software
19 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