Jaco van de Pol publications per year

The chart shows the history of publications by Jaco van de Pol between 1992 and 2025, highlighting the no. of papers published in each year and offering an overview of the publication velocity of this scholar. Jaco van de Pol published across 34 years, from 1992 to 2025, averaging 9.4 papers a year. Output peaked at 22 publications in 2005. 30 of the 321 publications appeared in the last two years.

No. of publications

5 10 15 20

1992 2025

321 publications in total across all disciplines

View publications per year as a table

Jaco van de Pol: publications per year, 1992 to 2025
Year	Publications
1992	1
1993	2
1994	0
1995	3
1996	3
1997	3
1998	3
1999	1
2000	8
2001	7
2002	10
2003	4
2004	11
2005	22
2006	9
2007	11
2008	13
2009	12
2010	14
2011	12
2012	7
2013	7
2014	12
2015	10
2016	22
2017	7
2018	11
2019	10
2020	7
2021	18
2022	10
2023	21
2024	17
2025	13
Total	321

Download as CSV

Jaco van de Pol publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Jaco van de Pol sits on this spectrum.

No. of scientists

200 400 600

32–41 publications 991+

This scientist: 274 publications — 68th percentile

68% of scientists in this discipline score the same or lower.

The last bar groups every scientist with 991 publications or more.

View publications distribution as a table

Number of Computer Science scientists by publication count, Research.com 2026 ranking edition. Based on 14,188 ranked scientists.
Publications	Scientists	This scientist
32–41	7
42–51	22
52–61	82
62–71	134
72–81	249
82–91	324
92–101	421
102–111	420
112–121	497
122–131	544
132–141	555
142–151	609
152–161	559
162–171	534
172–181	556
182–191	583
192–201	519
202–211	508
212–221	490
222–231	437
232–241	423
242–251	408
252–261	377
262–271	301
272–281	335	274
282–291	320
292–301	293
302–311	250
312–321	238
322–331	206
332–341	209
342–351	208
352–361	162
362–371	176
372–381	127
382–391	158
392–401	128
402–411	104
412–421	94
422–431	99
432–441	83
442–451	108
452–461	73
462–471	77
472–481	69
482–491	84
492–501	62
502–511	54
512–521	57
522–531	51
532–541	51
542–551	32
552–561	38
562–571	28
572–581	43
582–591	33
592–601	41
602–611	32
612–621	28
622–631	25
632–641	27
642–651	17
652–661	20
662–671	17
672–681	15
682–691	14
692–701	21
702–711	13
712–721	12
722–731	19
732–741	14
742–751	12
752–761	10
762–771	10
772–781	11
782–791	10
792–801	11
802–811	8
812–821	8
822–831	7
832–841	11
842–851	10
852–861	5
862–871	9
872–881	4
882–891	6
892–901	3
902–911	6
912–921	3
922–931	2
932–941	2
942–951	2
952–961	3
962–971	3
972–981	3
982–990	5
991+	100

Download as CSV

Jaco van de Pol D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Jaco van de Pol sits on this spectrum.

No. of scientists

200 400 600 800

30–31 D-Index 131+

This scientist: 31 D-Index — 6th percentile

6% of scientists in this discipline score the same or lower.

The last bar groups every scientist with 131 D-Index or more.

View D-Index distribution as a table

Number of Computer Science scientists by D-index, Research.com 2026 ranking edition. Based on 14,188 ranked scientists.
D-Index	Scientists	This scientist
30–31	879	31
32–33	983
34–35	918
36–37	990
38–39	968
40–41	907
42–43	821
44–45	763
46–47	689
48–49	543
50–51	543
52–53	518
54–55	500
56–57	458
58–59	400
60–61	337
62–63	308
64–65	292
66–67	249
68–69	213
70–71	192
72–73	189
74–75	165
76–77	139
78–79	119
80–81	121
82–83	113
84–85	88
86–87	87
88–89	75
90–91	69
92–93	57
94–95	46
96–97	38
98–99	34
100–101	36
102–103	27
104–105	37
106–107	18
108–109	31
110–111	19
112–113	16
114–115	12
116–117	20
118–119	15
120–121	5
122–123	20
124–125	8
126–127	5
128–129	7
130	3
131+	98

Download as CSV

Best Publications

µCRL: A Toolset for Analysing Algebraic Specifications

Stefan Blom;Wan Fokkink;Jan Friso Groote;Izak van Langevelde

235
Citations
LTSmin: High-Performance Language-Independent Model Checking

Unknown

199
Citations
LTSMIN: distributed and symbolic reachability

Unknown

155
Citations
A Bounded Retransmission Protocol for Large Data Packets

Jan Friso Groote;Jaco van de Pol

135
Citations
State Space Reduction by Proving Confluence

Unknown

101
Citations
Boosting multi-core reachability performance with shared hash tables

Unknown

95
Citations
Formal Methods: Applications and Technology

Luboš Brim;Boudewijn Haverkort;Martin Leucker;Jaco van de Pol

91
Citations
Termination Proofs for Higher-order Rewrite Systems

Unknown

82
Citations
Improved multi-core nested depth-first search

Unknown

74
Citations
Sylvan: multi-core framework for decision diagrams

Unknown

73
Citations
A Database Approach to Distributed State-Space Generation

Unknown

70
Citations
The 2020 Expert Survey on Formal Methods

Unknown

70
Citations
Strict Functionals for Termination Proofs

Unknown

70
Citations
Sylvan: Multi-Core Decision Diagrams

Unknown

70
Citations
State Space Reduction Using Partial tau-Confluence

Jan Friso Groote;Jan Friso Groote;Jaco van de Pol

68
Citations
Distributed Algorithms for SCC Decomposition

Unknown

68
Citations
Multi-core nested depth-first search

Unknown

66
Citations
Towards Model Checking Executable UML Specifications in mCRL2

Unknown

65
Citations
Multi-core LTSmin: marrying modularity and scalability

Unknown

64
Citations
Equational binary decision diagrams

Jan Friso Groote;Jaco van de Pol

62
Citations