logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
J

Jaco van de Pol

aarhus university

30H-index
323Paper Count
3.4KCitation Count
Published Papers 10
Publication Date
logo
Efficient Simulation of High-Level Quantum Gates
errQuantum
IF5.4
err2026-05-05
err0
PREAI
errKjelstrom, Adam Husted; Pavlogiannis, Andreas; van de Pol, Jaco
errShare
errSave
Multi-variable Quantification of BDDs in External Memory using Nested Sweeping
errVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
err2026-01-01
err0
PREAI
errSolvsten, Steffan Christ; van de Pol, Jaco
errShare
errSave
Controller Synthesis for Parametric Timed Games
errQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
err2026-01-01
err0
PREAI
errDahlsen-Jensen, Mikael Bisgaard; Fievet, Baptiste; Petrucci, Laure; van de Pol, Jaco
errShare
errSave
Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones
errenterprise information systems
IF3.4
err2022-01-01
err10
errOAAI
errBloemen, Vincent; van Zelst, Sebastiaan; van der Aalst, Wil; van Dongen, Boudewijn; van de Pol, Jaco
errShare
errSave
ECHO, the executable CHOndrocyte: A computational model to study articular chondrocytes in health and disease
errCELLULAR SIGNALLING
IF3.7
err2020-04-01
err14
errOAAI
errSchivo, Stefano; Khurana, Sakshi; Govindaraj, Kannan; Scholma, Jetse; Kerkhofs, Johan; Zhong, Leilei; Huang, Xiaobin; van de Pol, Jaco; Langerak, Rom; van Wijnen, Andre J.; Geris, Liesbet; Karperien, Marcel; Post, Janine N.
errShare
errSave
Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata
err2016 16TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD 2016)
IF0
err2016-06-01
err5
PREAI
errAhmad, Waheed; Jongerden, Marijn; Stoelinga, Marielle; van de Pol, Jaco
errShare
errSave
AN ECHO IN BIOLOGY II: INSIGHTS IN CHONDROCYTE CELL FATE
errOSTEOARTHRITIS AND CARTILAGE
IF9
err2016-04-01
err0
errOAAI
errSchivo, S.; Scholma, J.; Huang, X.; Zhong, L.; van de Pol, J.; Karperien, M.; Langerak, R.; Post, J. N.
errShare
errSave
Modeling Biological Pathway Dynamics With Timed Automata
errIEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS
IF6.8
err2014-05-01
err13
errOAAI
errSchivo, Stefano; Scholma, Jetse; Wanders, Brend; Camacho, Ricardo A. Urquidi; van der Vet, Paul E.; Karperien, Marcel; Langerak, Rom; van de Pol, Jaco; Post, Janine N.
errShare
errSave
AN ECHO IN BIOLOGY: VALIDATING THE EXECUTABLE CHONDROCYTE
errOSTEOARTHRITIS AND CARTILAGE
IF9
err2014-04-01
err0
errOAAI
errScholma, J.; Schivo, S.; Karperien, M.; Langerak, R.; van de Pol, J.; Post, J. N.
errShare
errSave
MATHEMATICAL MODELING OF SIGNALING PATHWAYS IN OSTEOARTHRITIS
errOSTEOARTHRITIS AND CARTILAGE
IF9
err2013-04-01
err2
errOAAI
errScholma, J.; Kerkhofs, J.; Schivo, S.; Langerak, R.; van der Vet, P.; Karperien, M.; van de Pol, J.; Geris, L.; Post, J. N.
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
W
Wil M. P. van der Aalst
H-index: 145 · Papers: 1.7K
A
André J. van Wijnen
H-index: 106 · Papers: 999
M
Marcel Karperien
H-index: 74 · Papers: 491
B
Boudewijn F. van Dongen
H-index: 51 · Papers: 222
L
Liesbet Geris
H-index: 47 · Papers: 477
View more