Jaco van de Pol



Research activity per year

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

Personal profile

Education/Academic qualification

PhD, Utrecht University

Award Date: 11 Dec 1996

Master, Utrecht University

Award Date: 1 Dec 1992

External positions

Professor of Computer Science, Aarhus University

1 Nov 2018 → …


Dive into the research topics where Jaco van de Pol is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles


Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Automated Verification of Parallel Nested DFS

    Oortwijn, W., Huisman, M., Joosten, S. J. C. & Pol, J. V. D., 2020, Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I. Biere, A. & Parker, D. (eds.). Springer, p. 247-265 (Lecture Notes in Computer Science; vol. 12078).

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

    Open Access
    2 Citations (Scopus)
    25 Downloads (Pure)
  • ECHO, the executable CHOndrocyte: A computational model to study articular chondrocytes in health and disease

    Schivo, S., Khurana, S., Govindaraj, K., Scholma, J., Kerkhofs, J., Zhong, L., Huang, X., Pol, J. V. D., Langerak, R., Wijnen, A. J. V., Geris, L., Karperien, M. & Post, J. N., 1 Apr 2020, In: Cellular Signalling. 68, 109471.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    5 Citations (Scopus)
    70 Downloads (Pure)
  • The 2020 Expert Survey on Formal Methods

    Garavel, H., Ter Beek, M. H. & Van De Pol, J., 2020, Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Proceedings. ter Beek, M. H. & Nickovic, D. (eds.). Springer, p. 3-69 67 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12327 LNCS).

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

    12 Citations (Scopus)
  • Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones

    Bloemen, V., Zelst, S. V., Aalst, W. V. D., Dongen, B. V. & Pol, J. V. D., 26 Oct 2019, (E-pub ahead of print/First online) In: Information systems. (journal pre-proof).

    Research output: Contribution to journalArticleAcademicpeer-review

    1 Downloads (Pure)
  • Concurrent algorithms and data structures for model checking

    van de Pol, J., Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Dagstuhl, 4. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).

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

    Open Access
    145 Downloads (Pure)