Jaco van de Pol - Publications, H-index & Citations

Jaco van de Pol

aarhus university

30H指数

323论文数

3.4K被引数

收录论文 10

发表时间

Efficient Simulation of High-Level Quantum Gates 高效高阶量子门仿真

Quantum

IF5.4

2026-05-05

PREAI

Kjelstrom, Adam Husted; Pavlogiannis, Andreas; van de Pol, Jaco

Multi-variable Quantification of BDDs in External Memory using Nested Sweeping 基于嵌套扫描的外部存储器中BDDs的多变量量化

VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026

IF0

2026-01-01

PREAI

Solvsten, Steffan Christ; van de Pol, Jaco

Controller Synthesis for Parametric Timed Games 参数化时间博弈的控制器综合

QUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025

IF0

2026-01-01

PREAI

Dahlsen-Jensen, Mikael Bisgaard; Fievet, Baptiste; Petrucci, Laure; van de Pol, Jaco

Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones

enterprise information systems

IF3.4

2022-01-01

OAAI

Bloemen, Vincent; van Zelst, Sebastiaan; van der Aalst, Wil; van Dongen, Boudewijn; van de Pol, Jaco

ECHO, the executable CHOndrocyte: A computational model to study articular chondrocytes in health and disease

CELLULAR SIGNALLING

IF3.7

2020-04-01

OAAI

Schivo, 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.

Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata 基于混合自动机的MPSoC数据流应用中电池QoS模型检测与评估

2016 16TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD 2016)

IF0

2016-06-01

PREAI

Ahmad, Waheed; Jongerden, Marijn; Stoelinga, Marielle; van de Pol, Jaco

AN ECHO IN BIOLOGY II: INSIGHTS IN CHONDROCYTE CELL FATE

OSTEOARTHRITIS AND CARTILAGE

IF9

2016-04-01

OAAI

Schivo, S.; Scholma, J.; Huang, X.; Zhong, L.; van de Pol, J.; Karperien, M.; Langerak, R.; Post, J. N.

Modeling Biological Pathway Dynamics With Timed Automata

IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS

IF6.8

2014-05-01

OAAI

Schivo, 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.

AN ECHO IN BIOLOGY: VALIDATING THE EXECUTABLE CHONDROCYTE

OSTEOARTHRITIS AND CARTILAGE

IF9

2014-04-01

OAAI

Scholma, J.; Schivo, S.; Karperien, M.; Langerak, R.; van de Pol, J.; Post, J. N.

MATHEMATICAL MODELING OF SIGNALING PATHWAYS IN OSTEOARTHRITIS

OSTEOARTHRITIS AND CARTILAGE

IF9

2013-04-01

OAAI

Scholma, J.; Kerkhofs, J.; Schivo, S.; Langerak, R.; van der Vet, P.; Karperien, M.; van de Pol, J.; Geris, L.; Post, J. N.

研究方向