Edit Profile (opens in new tab) van de Pol, Jan Cornelis Compute Distance To: Compute Author ID: 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 Documents Indexed: 57 Publications since 1995, including 1 Book 4 Contributions as Editor Co-Authors: 53 Co-Authors with 54 Joint Publications 918 Co-Co-Authors all top 5 Co-Authors 5 single-authored 6 Fokkink, Willem Jan 6 Timmer, Mark 5 Blom, Stefan 5 Stoelinga, Mariëlle 5 Valero Espada, Miguel 4 Badban, Bahareh 4 Groote, Jan Friso 4 Zantema, Hans 3 Hooman, Jozef Johannes Maria 3 Katoen, Joost-Pieter 3 Laarman, Alfons W. 3 Langerak, Rom 3 Pang, Jun 3 Petrucci, Laure 2 Barnat, Jiří 2 Chaloupka, Jakub 2 Chen, Taolue 2 Ioustinova, Natalia 2 Kuijper, Wouter 2 Lisser, Bert 2 Orzan, Simona 2 Post, Janine N. 2 Romijn, Judi 2 Schivo, Stefano 2 Tveretina, Olga 1 Aceto, Luca 1 André, Étienne 1 Arias, Jaime 1 Bergstra, Jan A. 1 Calamé, Jens 1 Dalsgaard, Andreas Engelbredt 1 de Jong, Edwin D. 1 Evangelista, Sami 1 Haverkort, Boudewijn R. 1 Herbreteau, Frédéric 1 Ingólfsdóttir, Anna 1 Karperien, Marcel 1 Kesseler, Ernst 1 Kuntz, Matthias 1 Larsen, Kim Guldstrand 1 Luecker, M. 1 Luttik, Bas 1 Olesen, Mads Christian 1 Ploeger, Bas 1 Scholma, Jetse 1 Schwichtenberg, Helmut 1 Sidorova, Natalia 1 Usenko, Yaroslav S. 1 Vijay, Sujith 1 Wijs, Anton J. 1 Willemse, Tim A. C. 1 Wimmer, Simon 1 Yushtein, Yuri A. all top 5 Serials 6 Theoretical Computer Science 2 Journal of Logic and Computation 2 Formal Methods in System Design 2 Lecture Notes in Computer Science 2 Electronic Notes in Theoretical Computer Science 1 Algebra Universalis 1 Annals of Pure and Applied Logic 1 Information and Computation 1 Formal Aspects of Computing 1 Fundamenta Informaticae 1 The Journal of Logic and Algebraic Programming all top 5 Fields 57 Computer science (68-XX) 8 Mathematical logic and foundations (03-XX) 4 General and overarching topics; collections (00-XX) 2 Combinatorics (05-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Biology and other natural sciences (92-XX) 1 General algebraic systems (08-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 44 Publications have been cited 140 times in 98 Documents Cited by ▼ Year ▼ Strict functionals for termination proofs. Zbl 1063.03505van de Pol, Jaco; Schwichtenberg, Helmut 9 1995 Equational binary decision diagrams. Zbl 0988.68590Groote, Jan Friso; van de Pol, Jaco 9 2000 State space reduction by proving confluence. Zbl 1010.68527Blom, Stefan; van de Pol, Jaco 8 2002 State space reduction using partial \(\tau\)-confluence. Zbl 0996.68122Groote, Jan Friso; van de Pol, Jaco 7 2000 Operational semantics of rewriting with priorities. Zbl 0917.68141van de Pol, Jaco 7 1998 Verification of a sliding window protocol in \(\mu\) CRL and PVS. Zbl 1101.68309Badban, Bahareh; Fokkink, Wan; Groote, Jan Friso; Pang, Jun; van de Pol, Jaco 6 2005 Equivalence checking for infinite systems using parameterized Boolean equation systems. Zbl 1151.68521Chen, Taolue; Ploeger, Bas; van de Pol, Jaco; Willemse, Tim A. C. 6 2007 Just-in-time: on strategy annotations. Zbl 1268.68104Van De Pol, Jaco 6 2001 Simulation as a correct transformation of rewrite systems. Zbl 0941.68067Fokkink, Wan; van de Pol, Jaco 5 1997 Efficient modelling and generation of Markov automata. Zbl 1364.68295Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle I. A. 5 2012 Distributed algorithms for SCC decomposition. Zbl 1210.68131Barnat, Jiří; Chaloupka, Jakub; van de Pol, Jaco 5 2011 Confluence reduction for probabilistic systems. Zbl 1316.68077Timmer, Mark; Stoelinga, Mariëlle; van de Pol, Jaco 5 2011 Confluence reduction for Markov automata. Zbl 1390.68419Timmer, Mark; van de Pol, Jaco; Stoelinga, Mariëlle I. A. 5 2013 Cones and foci: A mechanical framework for protocol verification. Zbl 1103.68652Fokkink, Wan; Pang, Jun; van de Pol, Jaco 4 2006 A rewriting approach to binary decision diagrams. Zbl 1015.68086Zantema, Hans; van de Pol, Jaco 4 2001 Termination of higher-order rewrite systems. Terminatie van hogere-orde herschrijfsystemen. Zbl 0864.68053van de Pol, Jan Cornelis 4 1996 A linear process-algebraic format with data for probabilistic automata. Zbl 1283.68246Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle; Timmer, Mark 3 2012 Zero, successor and equality in BDDs. Zbl 1064.03009Badban, Bahareh; van de Pol, Jaco 3 2005 Verifying a sliding window protocol in \(\mu\)CRL. Zbl 1108.68383Fokkink, Wan; Groote, Jan Friso; Pang, Jun; Badban, Bahareh; van de Pol, Jaco 3 2004 Compositional control synthesis for partially observable systems. Zbl 1254.93075Kuijper, Wouter; van de Pol, Jaco 3 2009 State space reduction of linear processes using control flow reconstruction. Zbl 1262.68133van de Pol, Jaco; Timmer, Mark 3 2009 Modal abstractions in \(\mu\)CRL. Zbl 1108.68533van de Pol, Jaco; Valero Espada, Miguel 2 2004 Computing weakest strategies for safety games of imperfect information. Zbl 1234.68259Kuijper, Wouter; van de Pol, Jaco 2 2009 Confluence reduction for Markov automata. Zbl 1356.68136Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle 2 2016 A multi-core solver for parity games. Zbl 1286.68326van de Pol, Jaco; Weber, Michael 2 2008 Distributed Markovian bisimulation reduction aimed at CSL model checking. Zbl 1286.68306Blom, Stefan; Haverkort, Boudewijn R.; Kuntz, Matthias; van de Pol, Jaco 2 2008 An abstract interpretation toolkit for \(\mu\)CRL. Zbl 1116.68058Valero Espada, Miguel; van de Pol, Jaco 2 2007 Generalizing DPLL and satisfiability for equalities. Zbl 1121.68102Badban, Bahareh; Van De Pol, Jaco; Tveretina, Olga; Zantema, Hans 2 2007 On completeness of liveness synthesis for parametric timed automata (Extended Abstract). Zbl 07415130van de Pol, Jaco; Petrucci, Laure 1 2021 A state space distribution policy based on abstract interpretation. Zbl 1272.68273Orzan, Simona; van de Pol, Jaco; Valero Espada, Miguel 1 2005 Distribution of a simple shared dataspace architecture. Zbl 1114.68036Orzan, Simona; van de Pol, Jaco 1 2006 On the axiomatizability of priority. II. Zbl 1216.68181Aceto, Luca; Chen, Taolue; Ingolfsdottir, Anna; Luttik, Bas; van de Pol, Jaco 1 2011 A calculus for four-valued sequential logic. Zbl 1227.03028Bergstra, Jan A.; van de Pol, Jaco 1 2011 Binary decision diagrams by shared rewriting. Zbl 0996.68512van de Pol, Jaco; Zantema, Hans 1 2000 Generalized innermost rewriting. Zbl 1078.68068van de Pol, Jaco; Zantema, Hans 1 2005 Formal specification of JavaSpaces architecture using \(\mu\)CRL. Zbl 1053.68511van de Pol, Jaco; Valero Espada, Miguel 1 2002 JITty: A rewriter with strategy annotations. Zbl 1045.68583van de Pol, Jaco 1 2002 A database approach to distributed state space generation. Zbl 1277.68161Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael 1 2008 Multi-core nested depth-first search. Zbl 1348.68142Laarman, Alfons; Langerak, Rom; van de Pol, Jaco; Weber, Michael; Wijs, Anton 1 2011 Improved multi-core nested depth-first search. Zbl 1374.68281Evangelista, Sami; Laarman, Alfons; Petrucci, Laure; van de Pol, Jaco 1 2012 Symbolic reachability for process algebras with recursive data types. Zbl 1161.68613Blom, Stefan; van de Pol, Jaco 1 2008 A database approach to distributed state-space generation. Zbl 1213.68364Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael 1 2011 Equivalent semantic models for a distributed dataspace architecture. Zbl 1254.68108Hooman, Jozef; van de Pol, Jaco 1 2003 Certifying emptiness of timed Büchi automata. Zbl 07317090Wimmer, Simon; Herbreteau, Frédéric; van de Pol, Jaco 1 2020 On completeness of liveness synthesis for parametric timed automata (Extended Abstract). Zbl 07415130van de Pol, Jaco; Petrucci, Laure 1 2021 Certifying emptiness of timed Büchi automata. Zbl 07317090Wimmer, Simon; Herbreteau, Frédéric; van de Pol, Jaco 1 2020 Confluence reduction for Markov automata. Zbl 1356.68136Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle 2 2016 Confluence reduction for Markov automata. Zbl 1390.68419Timmer, Mark; van de Pol, Jaco; Stoelinga, Mariëlle I. A. 5 2013 Efficient modelling and generation of Markov automata. Zbl 1364.68295Timmer, 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.68246Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle; Timmer, Mark 3 2012 Improved multi-core nested depth-first search. Zbl 1374.68281Evangelista, Sami; Laarman, Alfons; Petrucci, Laure; van de Pol, Jaco 1 2012 Distributed algorithms for SCC decomposition. Zbl 1210.68131Barnat, Jiří; Chaloupka, Jakub; van de Pol, Jaco 5 2011 Confluence reduction for probabilistic systems. Zbl 1316.68077Timmer, Mark; Stoelinga, Mariëlle; van de Pol, Jaco 5 2011 On the axiomatizability of priority. II. Zbl 1216.68181Aceto, Luca; Chen, Taolue; Ingolfsdottir, Anna; Luttik, Bas; van de Pol, Jaco 1 2011 A calculus for four-valued sequential logic. Zbl 1227.03028Bergstra, Jan A.; van de Pol, Jaco 1 2011 Multi-core nested depth-first search. Zbl 1348.68142Laarman, Alfons; Langerak, Rom; van de Pol, Jaco; Weber, Michael; Wijs, Anton 1 2011 A database approach to distributed state-space generation. Zbl 1213.68364Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael 1 2011 Compositional control synthesis for partially observable systems. Zbl 1254.93075Kuijper, Wouter; van de Pol, Jaco 3 2009 State space reduction of linear processes using control flow reconstruction. Zbl 1262.68133van de Pol, Jaco; Timmer, Mark 3 2009 Computing weakest strategies for safety games of imperfect information. Zbl 1234.68259Kuijper, Wouter; van de Pol, Jaco 2 2009 A multi-core solver for parity games. Zbl 1286.68326van de Pol, Jaco; Weber, Michael 2 2008 Distributed Markovian bisimulation reduction aimed at CSL model checking. Zbl 1286.68306Blom, Stefan; Haverkort, Boudewijn R.; Kuntz, Matthias; van de Pol, Jaco 2 2008 A database approach to distributed state space generation. Zbl 1277.68161Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael 1 2008 Symbolic reachability for process algebras with recursive data types. Zbl 1161.68613Blom, Stefan; van de Pol, Jaco 1 2008 Equivalence checking for infinite systems using parameterized Boolean equation systems. Zbl 1151.68521Chen, Taolue; Ploeger, Bas; van de Pol, Jaco; Willemse, Tim A. C. 6 2007 An abstract interpretation toolkit for \(\mu\)CRL. Zbl 1116.68058Valero Espada, Miguel; van de Pol, Jaco 2 2007 Generalizing DPLL and satisfiability for equalities. Zbl 1121.68102Badban, Bahareh; Van De Pol, Jaco; Tveretina, Olga; Zantema, Hans 2 2007 Cones and foci: A mechanical framework for protocol verification. Zbl 1103.68652Fokkink, Wan; Pang, Jun; van de Pol, Jaco 4 2006 Distribution of a simple shared dataspace architecture. Zbl 1114.68036Orzan, Simona; van de Pol, Jaco 1 2006 Verification of a sliding window protocol in \(\mu\) CRL and PVS. Zbl 1101.68309Badban, Bahareh; Fokkink, Wan; Groote, Jan Friso; Pang, Jun; van de Pol, Jaco 6 2005 Zero, successor and equality in BDDs. Zbl 1064.03009Badban, Bahareh; van de Pol, Jaco 3 2005 A state space distribution policy based on abstract interpretation. Zbl 1272.68273Orzan, Simona; van de Pol, Jaco; Valero Espada, Miguel 1 2005 Generalized innermost rewriting. Zbl 1078.68068van de Pol, Jaco; Zantema, Hans 1 2005 Verifying a sliding window protocol in \(\mu\)CRL. Zbl 1108.68383Fokkink, Wan; Groote, Jan Friso; Pang, Jun; Badban, Bahareh; van de Pol, Jaco 3 2004 Modal abstractions in \(\mu\)CRL. Zbl 1108.68533van de Pol, Jaco; Valero Espada, Miguel 2 2004 Equivalent semantic models for a distributed dataspace architecture. Zbl 1254.68108Hooman, Jozef; van de Pol, Jaco 1 2003 State space reduction by proving confluence. Zbl 1010.68527Blom, Stefan; van de Pol, Jaco 8 2002 Formal specification of JavaSpaces architecture using \(\mu\)CRL. Zbl 1053.68511van de Pol, Jaco; Valero Espada, Miguel 1 2002 JITty: A rewriter with strategy annotations. Zbl 1045.68583van de Pol, Jaco 1 2002 Just-in-time: on strategy annotations. Zbl 1268.68104Van De Pol, Jaco 6 2001 A rewriting approach to binary decision diagrams. Zbl 1015.68086Zantema, Hans; van de Pol, Jaco 4 2001 Equational binary decision diagrams. Zbl 0988.68590Groote, Jan Friso; van de Pol, Jaco 9 2000 State space reduction using partial \(\tau\)-confluence. Zbl 0996.68122Groote, Jan Friso; van de Pol, Jaco 7 2000 Binary decision diagrams by shared rewriting. Zbl 0996.68512van de Pol, Jaco; Zantema, Hans 1 2000 Operational semantics of rewriting with priorities. Zbl 0917.68141van de Pol, Jaco 7 1998 Simulation as a correct transformation of rewrite systems. Zbl 0941.68067Fokkink, Wan; van de Pol, Jaco 5 1997 Termination of higher-order rewrite systems. Terminatie van hogere-orde herschrijfsystemen. Zbl 0864.68053van de Pol, Jan Cornelis 4 1996 Strict functionals for termination proofs. Zbl 1063.03505van de Pol, Jaco; Schwichtenberg, Helmut 9 1995 all cited Publications top 5 cited Publications all top 5 Cited by 189 Authors 16 van de Pol, Jan Cornelis 7 Willemse, Tim A. C. 5 Fokkink, Willem Jan 5 Groote, Jan Friso 5 Katoen, Joost-Pieter 4 Timmer, Mark 4 Wesselink, Wieger 4 Zantema, Hans 3 Badban, Bahareh 3 Hermanns, Holger 3 Luttik, Bas 3 Pang, Jun 3 Reniers, Michel Adriaan 3 Stoelinga, Mariëlle 3 Van Weerdenburg, Muck J. 3 Wimmer, Ralf D. 2 Antoy, Sergio 2 Baier, Christel 2 Becker, Bernd 2 Beneš, Nikola 2 Brim, Luboš 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 Pastva, Samuel 2 Rubio, Albert 2 Šafránek, David 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 André, Étienne 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 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 Han, Tingting 1 Hanaoka, Goichiro 1 Hansen, Henri 1 Heijltjes, Willem B. 1 Hennessy, Matthew C. B. ...and 89 more Authors all top 5 Cited in 21 Serials 14 Theoretical Computer Science 10 Information and Computation 5 Formal Methods in System Design 5 The Journal of Logic and Algebraic Programming 3 Science of Computer Programming 3 Formal Aspects of Computing 2 Acta Informatica 2 Annals of Pure and Applied Logic 2 ACM Transactions on Computational Logic 2 Logical Methods in Computer Science 1 Discrete Applied Mathematics 1 Information Processing Letters 1 Journal of Computer and System Sciences 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning 1 International Journal of Approximate Reasoning 1 Journal of Parallel and Distributed Computing 1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 1 Journal of Applied Non-Classical Logics 1 Discrete and Continuous Dynamical Systems 1 Chaos all top 5 Cited in 12 Fields 91 Computer science (68-XX) 23 Mathematical logic and foundations (03-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Systems theory; control (93-XX) 3 Combinatorics (05-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Probability theory and stochastic processes (60-XX) 2 Operations research, mathematical programming (90-XX) 2 Biology and other natural sciences (92-XX) 1 Ordinary differential equations (34-XX) 1 Numerical analysis (65-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year