×

zbMATH — the first resource for mathematics

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, J.; van de Pol, Jaco; van de Pol, Jan Cornelis
External Links: MGP · Wikidata
Documents Indexed: 57 Publications since 1995, including 5 Books

Publications by Year

Citations contained in zbMATH

41 Publications have been cited 133 times in 87 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
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
Just-in-time: on strategy annotations. Zbl 1268.68104
Van De Pol, Jaco
6
2001
Termination of higher-order rewrite systems. Terminatie van hogere-orde herschrijfsystemen. Zbl 0864.68053
van de Pol, Jan Cornelis
6
1996
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 probabilistic systems. Zbl 1316.68077
Timmer, Mark; Stoelinga, Mariëlle; van de Pol, Jaco
5
2011
State space reduction using partial \(\tau\)-confluence. Zbl 0996.68122
Groote, Jan Friso; van de Pol, Jaco
5
2000
Distributed algorithms for SCC decomposition. Zbl 1210.68131
Barnat, Jiří; Chaloupka, Jakub; van de Pol, Jaco
4
2011
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.
4
2007
Cones and foci: A mechanical framework for protocol verification. Zbl 1103.68652
Fokkink, Wan; Pang, Jun; van de Pol, Jaco
4
2006
Simulation as a correct transformation of rewrite systems. Zbl 0941.68067
Fokkink, Wan; van de Pol, Jaco
4
1997
Confluence reduction for Markov automata. Zbl 1390.68419
Timmer, Mark; van de Pol, Jaco; Stoelinga, Mariëlle I. A.
3
2013
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
Compositional control synthesis for partially observable systems. Zbl 1254.93075
Kuijper, Wouter; van de Pol, Jaco
3
2009
Generalizing DPLL and satisfiability for equalities. Zbl 1121.68102
Badban, Bahareh; Van De Pol, Jaco; Tveretina, Olga; Zantema, Hans
3
2007
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
A rewriting approach to binary decision diagrams. Zbl 1015.68086
Zantema, Hans; van de Pol, Jaco
3
2001
A database approach to distributed state-space generation. Zbl 1213.68364
Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael
2
2011
Computing weakest strategies for safety games of imperfect information. Zbl 1234.68259
Kuijper, Wouter; van de Pol, Jaco
2
2009
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 multi-core solver for parity games. Zbl 1286.68326
van de Pol, Jaco; Weber, Michael
2
2008
A database approach to distributed state space generation. Zbl 1277.68161
Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael
2
2008
An abstract interpretation toolkit for \(\mu\)CRL. Zbl 1116.68058
Valero Espada, Miguel; van de Pol, Jaco
2
2007
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
1
2016
Improved multi-core nested depth-first search. Zbl 1374.68281
Evangelista, Sami; Laarman, Alfons; Petrucci, Laure; van de Pol, Jaco
1
2012
Multi-core nested depth-first search. Zbl 1348.68142
Laarman, Alfons; Langerak, Rom; van de Pol, Jaco; Weber, Michael; Wijs, Anton
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
Symbolic reachability for process algebras with recursive data types. Zbl 1161.68613
Blom, Stefan; van de Pol, Jaco
1
2008
Distribution of a simple shared dataspace architecture. Zbl 1114.68036
Orzan, Simona; van de Pol, Jaco
1
2006
A state space distribution policy based on abstract interpretation. Zbl 1272.68273
Orzan, Simona; van de Pol, Jaco; Valero Espada, Miguel
1
2005
Generalized innermost rewriting. Zbl 1078.68068
van de Pol, Jaco; Zantema, Hans
1
2005
Equivalent semantic models for a distributed dataspace architecture. Zbl 1254.68108
Hooman, Jozef; van de Pol, Jaco
1
2003
JITty: A rewriter with strategy annotations. Zbl 1045.68583
van de Pol, Jaco
1
2002
Formal specification of JavaSpaces architecture using \(\mu\)CRL. Zbl 1053.68511
van de Pol, Jaco; Valero Espada, Miguel
1
2002
Binary decision diagrams by shared rewriting. Zbl 0996.68512
van de Pol, Jaco; Zantema, Hans
1
2000
Confluence reduction for Markov automata. Zbl 1356.68136
Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle
1
2016
Confluence reduction for Markov automata. Zbl 1390.68419
Timmer, Mark; van de Pol, Jaco; Stoelinga, Mariëlle I. A.
3
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
Confluence reduction for probabilistic systems. Zbl 1316.68077
Timmer, Mark; Stoelinga, Mariëlle; van de Pol, Jaco
5
2011
Distributed algorithms for SCC decomposition. Zbl 1210.68131
Barnat, Jiří; Chaloupka, Jakub; van de Pol, Jaco
4
2011
A database approach to distributed state-space generation. Zbl 1213.68364
Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael
2
2011
Multi-core nested depth-first search. Zbl 1348.68142
Laarman, Alfons; Langerak, Rom; van de Pol, Jaco; Weber, Michael; Wijs, Anton
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
State space reduction of linear processes using control flow reconstruction. Zbl 1262.68133
van de Pol, Jaco; Timmer, Mark
3
2009
Compositional control synthesis for partially observable systems. Zbl 1254.93075
Kuijper, Wouter; van de Pol, Jaco
3
2009
Computing weakest strategies for safety games of imperfect information. Zbl 1234.68259
Kuijper, Wouter; van de Pol, Jaco
2
2009
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 multi-core solver for parity games. Zbl 1286.68326
van de Pol, Jaco; Weber, Michael
2
2008
A database approach to distributed state space generation. Zbl 1277.68161
Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael
2
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.
4
2007
Generalizing DPLL and satisfiability for equalities. Zbl 1121.68102
Badban, Bahareh; Van De Pol, Jaco; Tveretina, Olga; Zantema, Hans
3
2007
An abstract interpretation toolkit for \(\mu\)CRL. Zbl 1116.68058
Valero Espada, Miguel; van de Pol, Jaco
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
A state space distribution policy based on abstract interpretation. Zbl 1272.68273
Orzan, Simona; van de Pol, Jaco; Valero Espada, Miguel
1
2005
Generalized innermost rewriting. Zbl 1078.68068
van de Pol, Jaco; Zantema, Hans
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
JITty: A rewriter with strategy annotations. Zbl 1045.68583
van de Pol, Jaco
1
2002
Formal specification of JavaSpaces architecture using \(\mu\)CRL. Zbl 1053.68511
van de Pol, Jaco; Valero Espada, Miguel
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
3
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
5
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
4
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 174 Authors

14 van de Pol, Jan Cornelis
6 Willemse, Tim A. C.
5 Groote, Jan Friso
5 Katoen, Joost-Pieter
4 Timmer, Mark
4 Zantema, Hans
3 Badban, Bahareh
3 Fokkink, Wan J.
3 Luttik, Bas
3 Pang, Jun
3 Reniers, Michel Adriaan
3 Stoelinga, Mariëlle
3 Van Weerdenburg, Muck J.
3 Wesselink, Wieger
2 Baier, Christel
2 Becker, Bernd
2 Castiglioni, Valentina
2 Edelkamp, Stefan
2 Fokkink, Wan
2 Gebler, Daniel E.
2 Hatefi, Hassan
2 Hermanns, Holger
2 Jouannaud, Jean-Pierre
2 Klein, Joachim
2 Klüppelholz, Sascha
2 Lucas, Salvador
2 Mousavi, Mohammadreza
2 Orzan, Simona
2 Rubio, Albert
2 Sørensen, Morten Heine B.
2 Tveretina, Olga
2 Ulidowski, Irek
2 Visser, Eelco
2 Weber, Michael W.
2 Wijs, Anton J.
2 Wimmer, Ralf D.
1 Ábrahám, Erika
1 Aceto, Luca
1 Aehlig, Klaus
1 Alpuente, María
1 Anastasiadi, Elli
1 Antoy, Sergio
1 Arnold, Florian
1 Baeten, Jos C. M.
1 Baillot, Patrick
1 Bakera, Marco
1 Barbot, Benoît
1 Beneš, Nikola
1 Bérenguier, D.
1 Berger, Ulrich
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 Brim, Luboš
1 Chaouiya, Claudine
1 Chatterjee, Krishnendu
1 Chen, Taolue
1 Cranen, Sjoerd
1 Czekster, Ricardo M.
1 Dal Lago, Ugo
1 D’Argenio, Pedro Rubén
1 De Nicola, Rocco
1 De Rose, César A. F.
1 Dehnert, Christian
1 D’silva, Vijay
1 Eisentraut, Christian
1 Escobar, Santiago
1 Fantechi, Alessandro
1 Fernandes, Paulo
1 Ferrer Fioriti, Luis María
1 Filiot, Emmanuel
1 Formisano, Andrea
1 Francalanza, Adrian
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 Hafstein, Sigurður Freyr
1 Haller, Leopold
1 Han, Tingting
1 Hansen, Henri
1 Hennessy, Matthew C. B.
1 Hofman, Rutger
1 Hofmann, Martin
1 Hooman, Jozef Johannes Maria
1 Ingólfsdóttir, Anna
1 Isobe, Yoshinao
1 Jabbar, Shahid
1 Jansen, David N.
1 Jansen, Nils
1 Jin, Naiyong
...and 74 more Authors

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.