Edit Profile 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, J.; van de Pol, Jaco; van de Pol, Jan Cornelis External Links: MGP · Wikidata Documents Indexed: 57 Publications since 1995, including 5 Books all top 5 Co-Authors 5 single-authored 6 Fokkink, Wan 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 3 Pang, Jun 3 Weber, Michael D. 2 Barnat, Jiří 2 Chaloupka, Jakub 2 Chen, Taolue 2 Ioustinova, Natalia 2 Kuijper, Wouter 2 Langerak, Rom 2 Lisser, Bert 2 Orzan, Simona 2 Romijn, Judi 2 Smith, Graeme E. 2 Tveretina, Olga 2 Weber, Michael W. 1 Aceto, Luca 1 Bergstra, Jan A. 1 Calamé, Jens 1 Dalsgaard, Andreas Engelbredt 1 de Jong, Edwin D. 1 Evangelista, Sami 1 Haverkort, Boudewijn R. 1 Ingólfsdóttir, Anna 1 Kesseler, Ernst 1 Kuntz, Matthias 1 Larsen, Kim Guldstrand 1 Luecker, M. 1 Luttik, Bas 1 Olesen, Mads Christian 1 Petrucci, Laure 1 Ploeger, Bas 1 Post, Janine N. 1 Schivo, Stefano 1 Schwichtenberg, Helmut 1 Sidorova, Natalia 1 Usenko, Yaroslav S. 1 Vijay, Sujith 1 Wijs, Anton J. 1 Willemse, Tim A. C. 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 54 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) 1 General algebraic systems (08-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 41 Publications have been cited 133 times in 87 Documents Cited by ▼ Year ▼ Strict functionals for termination proofs. Zbl 1063.03505van de Pol, Jaco; Schwichtenberg, Helmut 10 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 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 Just-in-time: on strategy annotations. Zbl 1268.68104Van De Pol, Jaco 6 2001 Termination of higher-order rewrite systems. Terminatie van hogere-orde herschrijfsystemen. Zbl 0864.68053van de Pol, Jan Cornelis 6 1996 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 Confluence reduction for probabilistic systems. Zbl 1316.68077Timmer, Mark; Stoelinga, Mariëlle; van de Pol, Jaco 5 2011 State space reduction using partial \(\tau\)-confluence. Zbl 0996.68122Groote, Jan Friso; van de Pol, Jaco 5 2000 Distributed algorithms for SCC decomposition. Zbl 1210.68131Barnat, Jiří; Chaloupka, Jakub; van de Pol, Jaco 4 2011 Equivalence checking for infinite systems using parameterized Boolean equation systems. Zbl 1151.68521Chen, Taolue; Ploeger, Bas; van de Pol, Jaco; Willemse, Tim A. C. 4 2007 Cones and foci: A mechanical framework for protocol verification. Zbl 1103.68652Fokkink, Wan; Pang, Jun; van de Pol, Jaco 4 2006 Simulation as a correct transformation of rewrite systems. Zbl 0941.68067Fokkink, Wan; van de Pol, Jaco 4 1997 Confluence reduction for Markov automata. Zbl 1390.68419Timmer, Mark; van de Pol, Jaco; Stoelinga, Mariëlle I. A. 3 2013 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 State space reduction of linear processes using control flow reconstruction. Zbl 1262.68133van de Pol, Jaco; Timmer, Mark 3 2009 Compositional control synthesis for partially observable systems. Zbl 1254.93075Kuijper, Wouter; van de Pol, Jaco 3 2009 Generalizing DPLL and satisfiability for equalities. Zbl 1121.68102Badban, Bahareh; Van De Pol, Jaco; Tveretina, Olga; Zantema, Hans 3 2007 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 A rewriting approach to binary decision diagrams. Zbl 1015.68086Zantema, Hans; van de Pol, Jaco 3 2001 A database approach to distributed state-space generation. Zbl 1213.68364Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael 2 2011 Computing weakest strategies for safety games of imperfect information. Zbl 1234.68259Kuijper, Wouter; van de Pol, Jaco 2 2009 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 multi-core solver for parity games. Zbl 1286.68326van de Pol, Jaco; Weber, Michael 2 2008 A database approach to distributed state space generation. Zbl 1277.68161Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael 2 2008 An abstract interpretation toolkit for \(\mu\)CRL. Zbl 1116.68058Valero Espada, Miguel; van de Pol, Jaco 2 2007 Modal abstractions in \(\mu\)CRL. Zbl 1108.68533van de Pol, Jaco; Valero Espada, Miguel 2 2004 Confluence reduction for Markov automata. Zbl 1356.68136Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle 1 2016 Improved multi-core nested depth-first search. Zbl 1374.68281Evangelista, Sami; Laarman, Alfons; Petrucci, Laure; van de Pol, Jaco 1 2012 Multi-core nested depth-first search. Zbl 1348.68142Laarman, Alfons; Langerak, Rom; van de Pol, Jaco; Weber, Michael; Wijs, Anton 1 2011 On the axiomatizability of priority. II. Zbl 1216.68181Aceto, Luca; Chen, Taolue; Ingolfsdottir, Anna; Luttik, Bas; van de Pol, Jaco 1 2011 Symbolic reachability for process algebras with recursive data types. Zbl 1161.68613Blom, Stefan; van de Pol, Jaco 1 2008 Distribution of a simple shared dataspace architecture. Zbl 1114.68036Orzan, Simona; van de Pol, Jaco 1 2006 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 Equivalent semantic models for a distributed dataspace architecture. Zbl 1254.68108Hooman, Jozef; van de Pol, Jaco 1 2003 JITty: A rewriter with strategy annotations. Zbl 1045.68583van de Pol, Jaco 1 2002 Formal specification of JavaSpaces architecture using \(\mu\)CRL. Zbl 1053.68511van de Pol, Jaco; Valero Espada, Miguel 1 2002 Binary decision diagrams by shared rewriting. Zbl 0996.68512van de Pol, Jaco; Zantema, Hans 1 2000 Confluence reduction for Markov automata. Zbl 1356.68136Timmer, Mark; Katoen, Joost-Pieter; van de Pol, Jaco; Stoelinga, Mariëlle 1 2016 Confluence reduction for Markov automata. Zbl 1390.68419Timmer, Mark; van de Pol, Jaco; Stoelinga, Mariëlle I. A. 3 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 Confluence reduction for probabilistic systems. Zbl 1316.68077Timmer, Mark; Stoelinga, Mariëlle; van de Pol, Jaco 5 2011 Distributed algorithms for SCC decomposition. Zbl 1210.68131Barnat, Jiří; Chaloupka, Jakub; van de Pol, Jaco 4 2011 A database approach to distributed state-space generation. Zbl 1213.68364Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael 2 2011 Multi-core nested depth-first search. Zbl 1348.68142Laarman, Alfons; Langerak, Rom; van de Pol, Jaco; Weber, Michael; Wijs, Anton 1 2011 On the axiomatizability of priority. II. Zbl 1216.68181Aceto, 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.68133van de Pol, Jaco; Timmer, Mark 3 2009 Compositional control synthesis for partially observable systems. Zbl 1254.93075Kuijper, Wouter; van de Pol, Jaco 3 2009 Computing weakest strategies for safety games of imperfect information. Zbl 1234.68259Kuijper, Wouter; van de Pol, Jaco 2 2009 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 multi-core solver for parity games. Zbl 1286.68326van de Pol, Jaco; Weber, Michael 2 2008 A database approach to distributed state space generation. Zbl 1277.68161Blom, Stefan; Lisser, Bert; van de Pol, Jaco; Weber, Michael 2 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. 4 2007 Generalizing DPLL and satisfiability for equalities. Zbl 1121.68102Badban, Bahareh; Van De Pol, Jaco; Tveretina, Olga; Zantema, Hans 3 2007 An abstract interpretation toolkit for \(\mu\)CRL. Zbl 1116.68058Valero Espada, Miguel; van de Pol, Jaco 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 JITty: A rewriter with strategy annotations. Zbl 1045.68583van de Pol, Jaco 1 2002 Formal specification of JavaSpaces architecture using \(\mu\)CRL. Zbl 1053.68511van de Pol, Jaco; Valero Espada, Miguel 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 3 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 5 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 4 1997 Termination of higher-order rewrite systems. Terminatie van hogere-orde herschrijfsystemen. Zbl 0864.68053van de Pol, Jan Cornelis 6 1996 Strict functionals for termination proofs. Zbl 1063.03505van de Pol, Jaco; Schwichtenberg, Helmut 10 1995 all cited Publications top 5 cited Publications 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 all top 5 Cited in 21 Serials 14 Theoretical Computer Science 11 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 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 1 Logical Methods in Computer Science all top 5 Cited in 11 Fields 80 Computer science (68-XX) 22 Mathematical logic and foundations (03-XX) 5 Systems theory; control (93-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Probability theory and stochastic processes (60-XX) 2 Operations research, mathematical programming (90-XX) 1 Combinatorics (05-XX) 1 Ordinary differential equations (34-XX) 1 Numerical analysis (65-XX) 1 Biology and other natural sciences (92-XX) 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.