×

van de Pol, Jan Cornelis

Compute Distance To:
Author ID: van-de-pol.jan-cornelis Recent zbMATH articles by "van de Pol, Jan Cornelis"
Published as: van de Pol, Jaco; Van De Pol, Jaco; van de Pol, Jan Cornelis; van de Pol, J.
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

45 Publications have been cited 147 times in 104 Documents Cited by Year
Strict functionals for termination proofs. Zbl 1063.03505
van de Pol, Jaco; Schwichtenberg, Helmut
10
1995
Equational binary decision diagrams. Zbl 0988.68590
Groote, Jan Friso; van de Pol, Jaco
9
2000
State space reduction by proving confluence. Zbl 1010.68527
Blom, Stefan; van de Pol, Jaco
8
2002
State space reduction using partial \(\tau\)-confluence. Zbl 0996.68122
Groote, Jan Friso; van de Pol, Jaco
7
2000
Operational semantics of rewriting with priorities. Zbl 0917.68141
van de Pol, Jaco
7
1998
Verification of a sliding window protocol in \(\mu\) CRL and PVS. Zbl 1101.68309
Badban, Bahareh; Fokkink, Wan; Groote, Jan Friso; Pang, Jun; van de Pol, Jaco
6
2005
Termination of higher-order rewrite systems. Terminatie van hogere-orde herschrijfsystemen. Zbl 0864.68053
van de Pol, Jan Cornelis
6
1996
Distributed algorithms for SCC decomposition. Zbl 1210.68131
Barnat, Jiří; Chaloupka, Jakub; van de Pol, Jaco
6
2011
Just-in-time: on strategy annotations. Zbl 1268.68104
Van De Pol, Jaco
6
2001
Equivalence checking for infinite systems using parameterized Boolean equation systems. Zbl 1151.68521
Chen, Taolue; Ploeger, Bas; van de Pol, Jaco; Willemse, Tim A. C.
6
2007
Simulation as a correct transformation of rewrite systems. Zbl 0941.68067
Fokkink, Wan; van de Pol, Jaco
5
1997
Confluence reduction for probabilistic systems. Zbl 1316.68077
Timmer, Mark; Stoelinga, Mariëlle; van de Pol, Jaco
5
2011
Efficient modelling and generation of Markov automata. Zbl 1364.68295
Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle I. A.
5
2012
Confluence reduction for Markov automata. Zbl 1390.68419
Timmer, Mark; van de Pol, Jaco; Stoelinga, Mariëlle I. A.
5
2013
Cones and foci: A mechanical framework for protocol verification. Zbl 1103.68652
Fokkink, Wan; Pang, Jun; van de Pol, Jaco
4
2006
A rewriting approach to binary decision diagrams. Zbl 1015.68086
Zantema, Hans; van de Pol, Jaco
4
2001
Zero, successor and equality in BDDs. Zbl 1064.03009
Badban, Bahareh; van de Pol, Jaco
3
2005
Verifying a sliding window protocol in \(\mu\)CRL. Zbl 1108.68383
Fokkink, Wan; Groote, Jan Friso; Pang, Jun; Badban, Bahareh; van de Pol, Jaco
3
2004
Compositional control synthesis for partially observable systems. Zbl 1254.93075
Kuijper, Wouter; van de Pol, Jaco
3
2009
A linear process-algebraic format with data for probabilistic automata. Zbl 1283.68246
Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle; Timmer, Mark
3
2012
State space reduction of linear processes using control flow reconstruction. Zbl 1262.68133
van de Pol, Jaco; Timmer, Mark
3
2009
An abstract interpretation toolkit for \(\mu\)CRL. Zbl 1116.68058
Valero Espada, Miguel; van de Pol, Jaco
2
2007
Computing weakest strategies for safety games of imperfect information. Zbl 1234.68259
Kuijper, Wouter; van de Pol, Jaco
2
2009
Modal abstractions in \(\mu\)CRL. Zbl 1108.68533
van de Pol, Jaco; Valero Espada, Miguel
2
2004
Confluence reduction for Markov automata. Zbl 1356.68136
Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle
2
2016
A multi-core solver for parity games. Zbl 1286.68326
van de Pol, Jaco; Weber, Michael
2
2008
Distributed Markovian bisimulation reduction aimed at CSL model checking. Zbl 1286.68306
Blom, Stefan; Haverkort, Boudewijn R.; Kuntz, Matthias; van de Pol, Jaco
2
2008
Multi-core nested depth-first search. Zbl 1348.68142
Laarman, Alfons; Langerak, Rom; van de Pol, Jaco; Weber, Michael; Wijs, Anton
2
2011
Generalizing DPLL and satisfiability for equalities. Zbl 1121.68102
Badban, Bahareh; Van De Pol, Jaco; Tveretina, Olga; Zantema, Hans
2
2007
Iterative bounded synthesis for efficient cycle detection in parametric timed automata. Zbl 1467.68078
André, Étienne; Arias, Jaime; Petrucci, Laure; van de Pol, Jaco
2
2021
Equivalent semantic models for a distributed dataspace architecture. Zbl 1254.68108
Hooman, Jozef; van de Pol, Jaco
1
2003
Distribution of a simple shared dataspace architecture. Zbl 1114.68036
Orzan, Simona; van de Pol, Jaco
1
2006
Generalized innermost rewriting. Zbl 1078.68068
van de Pol, Jaco; Zantema, Hans
1
2005
Binary decision diagrams by shared rewriting. Zbl 0996.68512
van de Pol, Jaco; Zantema, Hans
1
2000
Formal specification of JavaSpaces architecture using \(\mu\)CRL. Zbl 1053.68511
van de Pol, Jaco; Valero Espada, Miguel
1
2002
JITty: A rewriter with strategy annotations. Zbl 1045.68583
van de Pol, Jaco
1
2002
On completeness of liveness synthesis for parametric timed automata (Extended Abstract). Zbl 07415130
van de Pol, Jaco; Petrucci, Laure
1
2021
Improved multi-core nested depth-first search. Zbl 1374.68281
Evangelista, Sami; Laarman, Alfons; Petrucci, Laure; van de Pol, Jaco
1
2012
A database approach to distributed state-space generation. Zbl 1213.68364
Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael
1
2011
A database approach to distributed state space generation. Zbl 1277.68161
Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael
1
2008
On the axiomatizability of priority. II. Zbl 1216.68181
Aceto, Luca; Chen, Taolue; Ingolfsdottir, Anna; Luttik, Bas; van de Pol, Jaco
1
2011
A calculus for four-valued sequential logic. Zbl 1227.03028
Bergstra, Jan A.; van de Pol, Jaco
1
2011
A state space distribution policy based on abstract interpretation. Zbl 1272.68273
Orzan, Simona; van de Pol, Jaco; Valero Espada, Miguel
1
2005
Symbolic reachability for process algebras with recursive data types. Zbl 1161.68613
Blom, Stefan; van de Pol, Jaco
1
2008
Certifying emptiness of timed Büchi automata. Zbl 07317090
Wimmer, Simon; Herbreteau, Frédéric; van de Pol, Jaco
1
2020
Iterative bounded synthesis for efficient cycle detection in parametric timed automata. Zbl 1467.68078
André, Étienne; Arias, Jaime; Petrucci, Laure; van de Pol, Jaco
2
2021
On completeness of liveness synthesis for parametric timed automata (Extended Abstract). Zbl 07415130
van de Pol, Jaco; Petrucci, Laure
1
2021
Certifying emptiness of timed Büchi automata. Zbl 07317090
Wimmer, Simon; Herbreteau, Frédéric; van de Pol, Jaco
1
2020
Confluence reduction for Markov automata. Zbl 1356.68136
Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle
2
2016
Confluence reduction for Markov automata. Zbl 1390.68419
Timmer, Mark; van de Pol, Jaco; Stoelinga, Mariëlle I. A.
5
2013
Efficient modelling and generation of Markov automata. Zbl 1364.68295
Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle I. A.
5
2012
A linear process-algebraic format with data for probabilistic automata. Zbl 1283.68246
Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle; Timmer, Mark
3
2012
Improved multi-core nested depth-first search. Zbl 1374.68281
Evangelista, Sami; Laarman, Alfons; Petrucci, Laure; van de Pol, Jaco
1
2012
Distributed algorithms for SCC decomposition. Zbl 1210.68131
Barnat, Jiří; Chaloupka, Jakub; van de Pol, Jaco
6
2011
Confluence reduction for probabilistic systems. Zbl 1316.68077
Timmer, Mark; Stoelinga, Mariëlle; van de Pol, Jaco
5
2011
Multi-core nested depth-first search. Zbl 1348.68142
Laarman, Alfons; Langerak, Rom; van de Pol, Jaco; Weber, Michael; Wijs, Anton
2
2011
A database approach to distributed state-space generation. Zbl 1213.68364
Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael
1
2011
On the axiomatizability of priority. II. Zbl 1216.68181
Aceto, Luca; Chen, Taolue; Ingolfsdottir, Anna; Luttik, Bas; van de Pol, Jaco
1
2011
A calculus for four-valued sequential logic. Zbl 1227.03028
Bergstra, Jan A.; van de Pol, Jaco
1
2011
Compositional control synthesis for partially observable systems. Zbl 1254.93075
Kuijper, Wouter; van de Pol, Jaco
3
2009
State space reduction of linear processes using control flow reconstruction. Zbl 1262.68133
van de Pol, Jaco; Timmer, Mark
3
2009
Computing weakest strategies for safety games of imperfect information. Zbl 1234.68259
Kuijper, Wouter; van de Pol, Jaco
2
2009
A multi-core solver for parity games. Zbl 1286.68326
van de Pol, Jaco; Weber, Michael
2
2008
Distributed Markovian bisimulation reduction aimed at CSL model checking. Zbl 1286.68306
Blom, Stefan; Haverkort, Boudewijn R.; Kuntz, Matthias; van de Pol, Jaco
2
2008
A database approach to distributed state space generation. Zbl 1277.68161
Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael
1
2008
Symbolic reachability for process algebras with recursive data types. Zbl 1161.68613
Blom, Stefan; van de Pol, Jaco
1
2008
Equivalence checking for infinite systems using parameterized Boolean equation systems. Zbl 1151.68521
Chen, Taolue; Ploeger, Bas; van de Pol, Jaco; Willemse, Tim A. C.
6
2007
An abstract interpretation toolkit for \(\mu\)CRL. Zbl 1116.68058
Valero Espada, Miguel; van de Pol, Jaco
2
2007
Generalizing DPLL and satisfiability for equalities. Zbl 1121.68102
Badban, Bahareh; Van De Pol, Jaco; Tveretina, Olga; Zantema, Hans
2
2007
Cones and foci: A mechanical framework for protocol verification. Zbl 1103.68652
Fokkink, Wan; Pang, Jun; van de Pol, Jaco
4
2006
Distribution of a simple shared dataspace architecture. Zbl 1114.68036
Orzan, Simona; van de Pol, Jaco
1
2006
Verification of a sliding window protocol in \(\mu\) CRL and PVS. Zbl 1101.68309
Badban, Bahareh; Fokkink, Wan; Groote, Jan Friso; Pang, Jun; van de Pol, Jaco
6
2005
Zero, successor and equality in BDDs. Zbl 1064.03009
Badban, Bahareh; van de Pol, Jaco
3
2005
Generalized innermost rewriting. Zbl 1078.68068
van de Pol, Jaco; Zantema, Hans
1
2005
A state space distribution policy based on abstract interpretation. Zbl 1272.68273
Orzan, Simona; van de Pol, Jaco; Valero Espada, Miguel
1
2005
Verifying a sliding window protocol in \(\mu\)CRL. Zbl 1108.68383
Fokkink, Wan; Groote, Jan Friso; Pang, Jun; Badban, Bahareh; van de Pol, Jaco
3
2004
Modal abstractions in \(\mu\)CRL. Zbl 1108.68533
van de Pol, Jaco; Valero Espada, Miguel
2
2004
Equivalent semantic models for a distributed dataspace architecture. Zbl 1254.68108
Hooman, Jozef; van de Pol, Jaco
1
2003
State space reduction by proving confluence. Zbl 1010.68527
Blom, Stefan; van de Pol, Jaco
8
2002
Formal specification of JavaSpaces architecture using \(\mu\)CRL. Zbl 1053.68511
van de Pol, Jaco; Valero Espada, Miguel
1
2002
JITty: A rewriter with strategy annotations. Zbl 1045.68583
van de Pol, Jaco
1
2002
Just-in-time: on strategy annotations. Zbl 1268.68104
Van De Pol, Jaco
6
2001
A rewriting approach to binary decision diagrams. Zbl 1015.68086
Zantema, Hans; van de Pol, Jaco
4
2001
Equational binary decision diagrams. Zbl 0988.68590
Groote, Jan Friso; van de Pol, Jaco
9
2000
State space reduction using partial \(\tau\)-confluence. Zbl 0996.68122
Groote, Jan Friso; van de Pol, Jaco
7
2000
Binary decision diagrams by shared rewriting. Zbl 0996.68512
van de Pol, Jaco; Zantema, Hans
1
2000
Operational semantics of rewriting with priorities. Zbl 0917.68141
van de Pol, Jaco
7
1998
Simulation as a correct transformation of rewrite systems. Zbl 0941.68067
Fokkink, Wan; van de Pol, Jaco
5
1997
Termination of higher-order rewrite systems. Terminatie van hogere-orde herschrijfsystemen. Zbl 0864.68053
van de Pol, Jan Cornelis
6
1996
Strict functionals for termination proofs. Zbl 1063.03505
van de Pol, Jaco; Schwichtenberg, Helmut
10
1995
all top 5

Cited by 198 Authors

16 van de Pol, Jan Cornelis
7 Willemse, Tim A. C.
6 Katoen, Joost-Pieter
5 Fokkink, Willem Jan
5 Groote, Jan Friso
4 Timmer, Mark
4 Wesselink, Wieger
4 Zantema, Hans
3 Badban, Bahareh
3 Beneš, Nikola
3 Brim, Luboš
3 Hermanns, Holger
3 Luttik, Bas
3 Pang, Jun
3 Pastva, Samuel
3 Reniers, Michel Adriaan
3 Šafránek, David
3 Stoelinga, Mariëlle
3 Van Weerdenburg, Muck J.
3 Wimmer, Ralf D.
2 André, Étienne
2 Antoy, Sergio
2 Baier, Christel
2 Becker, Bernd
2 Castiglioni, Valentina
2 Dal Lago, Ugo
2 Edelkamp, Stefan
2 Gebler, Daniel E.
2 Hatefi, Hassan
2 Jouannaud, Jean-Pierre
2 Klein, Joachim
2 Klüppelholz, Sascha
2 Lucas, Salvador
2 Mateescu, Radu
2 Orzan, Simona
2 Rubio, Albert
2 Tveretina, Olga
2 Ulidowski, Irek
2 Visser, Eelco
2 Wijs, Anton J.
1 Ábrahám, Erika
1 Aceto, Luca
1 Alpuente, María
1 Alvarez-Picallo, Mario
1 Anastasiadi, Elli
1 Arias, Jaime
1 Arnold, Florian
1 Attrapadung, Nuttapong
1 Baeten, Jos C. M.
1 Baillot, Patrick
1 Bakera, Marco
1 Barbot, Benoît
1 Bérenguier, D.
1 Bernardo, Marco
1 Björnsson, Jóhann
1 Blanqui, Frédéric
1 Blom, Stefan
1 Bortnik, E.
1 Brain, Martin
1 Braitling, Bettina
1 Butkova, Yuliya
1 Chaouiya, Claudine
1 Chatterjee, Krishnendu
1 Chen, Taolue
1 Cranen, Sjoerd
1 Czajka, Łukasz
1 Czekster, Ricardo M.
1 D’Argenio, Pedro Rubén
1 De Nicola, Rocco
1 De Rose, César A. F.
1 de Vries, Fer-Jan J.
1 Dehnert, Christian
1 D’silva, Vijay
1 Eisentraut, Christian
1 Escobar, Santiago
1 Fantechi, Alessandro
1 Fedyukovich, Grigory
1 Fernandes, Paulo
1 Ferrer Fioriti, Luis María
1 Filiot, Emmanuel
1 Formisano, Andrea
1 Francalanza, Adrian
1 Fu, Yuxi
1 Garavel, Hubert
1 Gazda, Maciej W.
1 Ghassemi, Fatemeh
1 Giesl, Peter
1 Gnaedig, Isabelle
1 Godskesen, Jens Chr.
1 Goodloe, Alwyn E.
1 Griggio, Alberto
1 Guck, Dennis
1 Guerrieri, Giulio
1 Gupta, Aarti
1 Hafstein, Sigurður Freyr
1 Haller, Leopold
1 Hamana, Makoto
1 Han, Tingting
1 Hanaoka, Goichiro
1 Hansen, Henri
...and 98 more Authors

Citations by Year