Research output per year
Research output per year
Personal profile
External positions
Professor at University of Twente
Keywords
- Formal methods
- Formal verification
- Software specification and verification
- Design and analysis og algorithms and data structures
Fingerprint
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
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Program Analysis via Multiple Context Free Language Reachability
Conrado, G. K., Kjelstrøm, A. H., Van De Pol, J. & Pavlogiannis, A., Jan 2025, In: Proceedings of the ACM on Programming Languages . 9, 18.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Open Access -
Random Access on Narrow Decision Diagrams in External Memory
Sølvsten, S., Rysgaard, C. M. & van de Pol, J., 2025, Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings. Neele, T. & Wijs, A. (eds.). Springer, p. 137–145 9 p. (Lecture Notes in Computer Science, Vol. 14624).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
-
Symbolic Model Checking in External Memory
Sølvsten, S. & van de Pol, J., 16 May 2025, ArXiv, 22 p.Research output: Working paper/Preprint › Preprint
Open Access -
Fast Symbolic Computation of Bottom SCCs
Jakobsen, A. B., Jørgensen, R. S. M., van de Pol, J. & Pavlogiannis, A., 2024, Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024. Finkbeiner, B. & Kovács, L. (eds.). Cham: Springer, p. 110-128 19 p. (Lecture Notes in Computer Science, Vol. 14572 LNCS).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Open Access -
Implicit QBF Encodings for Positional Games
Shaik, I., Mayer-Eichberger, V., van de Pol, J. & Saffidine, A., 2024, Advances in Computer Games - 18th International Conference, ACG 2023, Revised Selected Papers. Hartisch, M., Hsueh, C.-H. & Schaeffer, J. (eds.). Springer, p. 133-145 13 p. (Lecture Notes in Computer Science, Vol. 14528).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
1 Citation (Scopus)