×

zbMATH — the first resource for mathematics

Groote, Jan Friso

Compute Distance To:
Author ID: groote.jan-friso Recent zbMATH articles by "Groote, Jan Friso"
Published as: Friso Groote, Jan; Groote, J. F.; Groote, Jan F.; Groote, Jan Frisco; Groote, Jan Friso
Documents Indexed: 78 Publications since 1990, including 4 Books
Reviewing Activity: 25 Reviews

Publications by Year

Citations contained in zbMATH

60 Publications have been cited 573 times in 355 Documents Cited by Year
Structured operational semantics and bisimulation as a congruence. Zbl 0752.68053
Groote, Jan Friso; Vaandrager, Frits
80
1992
Transition system specifications with negative premises. Zbl 0778.68057
Groote, Jan Friso
52
1993
An efficient algorithm for branching bisimulation and stuttering equivalence. Zbl 0765.68125
Groote, Jan Friso; Vaandrager, Frits
43
1990
The meaning of negative premises in transition system specifications. Zbl 0889.68113
Bol, Roland; Groote, Jan Frisco
37
1996
SOS formats and meta-theory: 20 years after. Zbl 1111.68069
Mousavi, Mohammadreza; Reniers, Michel A.; Groote, Jan Friso
27
2007
\(\mu\)CRL: A toolset for analysing algebraic specifications. Zbl 0991.68640
Blom, Stefan; Fokkink, Wan; Groote, Jan Friso; van Langevelde, Izak; Lisser, Bert
19
2001
Modeling and analysis of communicating systems. Zbl 1353.68006
Groote, Jan Friso; Mousavi, Mohammad Reza
17
2014
Algebraic process verification. Zbl 1035.68069
Groote, J. F.; Reniers, M. A.
16
2001
Confluence for process verification. Zbl 0874.68118
Groote, J. F.; Sellink, M. P. A.
16
1996
Notions of bisimulation and congruence formats for SOS with data. Zbl 1082.68075
Mousavi, Mohammad Reza; Reniers, Michel A.; Groote, Jan Friso
15
2005
Undecidable equivalences for basic process algebra. Zbl 0834.68069
Groote, Jan Friso; Hüttel, Hans
15
1994
A short proof of the decidability of bisimulation for normed BPA- processes. Zbl 0779.68029
Groote, Jan Friso
14
1992
Proof theory for \(\mu\)CRL: A language for processes with data. Zbl 0813.68135
Groote, Jan Friso; Ponse, Alban
13
1994
An overview of the mCRL2 toolset and its recent advances. Zbl 1381.68198
Cranen, Sjoerd; Groote, Jan Friso; Keiren, Jeroen J. A.; Stappers, Frank P. M.; de Vink, Erik P.; Wesselink, Wieger; Willemse, Tim A. C.
12
2013
Analysis of distributed systems with mCRL2. Zbl 1171.68400
Groote, Jan Friso; Mathijssen, Aad; Reniers, Michel A.; Usenko, Yaroslav S.; van Weerdenburg, Muck
11
2009
Model-checking processes with data. Zbl 1082.68067
Groote, J. F.; Willemse, T. A. C.
11
2005
The propositional formula checker HeerHugo. Zbl 0968.68148
Groote, Jan Friso; Warners, Joost P.
11
2000
Equational binary decision diagrams. Zbl 0988.68590
Groote, Jan Friso; van de Pol, Jaco
9
2000
Verification of temporal properties of processes in a setting with data. Zbl 0926.03036
Groote, Jan Friso; Mateescu, Radu
9
1999
A syntactic commutativity format for SOS. Zbl 1173.68561
Mousavi, Mohammadreza; Reniers, Michel; Groote, Jan Friso
8
2005
Resolution and binary decision diagrams cannot simulate each other polynomially. Zbl 1029.68129
Groote, J. F.; Zantema, H.
8
2003
Focus points and convergent process operators: A proof strategy for protocol verification. Zbl 1015.68175
Groote, Jan Friso; Springintveld, Jan
8
2001
Process algebra with guards: Combining hoare logic with process algebra. Zbl 0806.68078
Groote, Jan Friso; Ponse, Alban
8
1994
Parameterised Boolean equation systems. Zbl 1077.68061
Groote, Jan Friso; Willemse, Tim A. C.
7
2005
Linearization in parallel pCRL. Zbl 0988.68121
Groote, J. F.; Ponse, A.; Usenko, Y. S.
7
2001
Formal verification of a leader election protocol in process algebra. Zbl 0911.68057
Fredlund, Lars-åke; Friso Groote, Jan; Korver, Henri
7
1997
Lock-free parallel and concurrent garbage collection by mark&sweep. Zbl 1178.68528
Gao, H.; Groote, J. F.; Hesselink, W. H.
6
2007
From \(\mu\)CRL to mCRL2: motivation and outline. Zbl 1316.68094
Groote, Jan Friso; Mathijssen, Aad; Van Weerdenburg, Muck; Usenko, Yaroslav
6
2006
A hierarchy of SOS rule formats. Zbl 1273.68206
Groote, Jan Friso; Mousavi, Mohammad Reza; Reniers, Michel A.
6
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
State space reduction using partial \(\tau\)-confluence. Zbl 0996.68122
Groote, Jan Friso; van de Pol, Jaco
5
2000
The propositional formula checker HeerHugo. Zbl 0979.68088
Groote, Jan Friso; Warners, Joost P.
5
2000
An \(\mathcal O(m\log n)\) algorithm for computing stuttering equivalence and branching bisimulation. Zbl 1367.68211
Groote, Jan Friso; Jansen, David N.; Keiren, Jeroen J. A.; Wijs, Anton J.
4
2017
Task allocation in a multi-server system. Zbl 1154.90418
Borst, Sem; Boxma, Onno; Groote, Jan Friso; Mauw, Sjouke
4
2003
Completeness of timed \(\mu\)CRL. Zbl 1011.68063
Reniers, M. A.; Groote, J. F.; van der Zwaag, M. B.; van Wamel, J.
4
2002
The parallel composition of uniform processes with data. Zbl 0992.68235
Groote, J. F.; van Wamel, J.
4
2001
The meaning of negative premises in transition system specifications. Zbl 0796.68142
Bol, Roland; Groote, Jan Friso
4
1991
Lock-free dynamic hash tables with open addressing. Zbl 1264.68217
Gao, H.; Groote, J. F.; Hesselink, W. H.
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
Analysis of a distributed system for lifting trucks. Zbl 1048.68055
Groote, J. F.; Pang, J.; Wouters, A. G.
3
2003
Analysis of three hybrid systems in timed \(\mu CRL\). Zbl 0971.68113
Groote, Jan Friso; van Wamel, Jos
3
2001
Specification guidelines to avoid the state space explosion problem. Zbl 1353.68178
Groote, Jan Friso; Kouters, Tim W. D. M.; Osaiweran, Ammar
2
2012
A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus. Zbl 1216.68188
Cranen, Sjoerd; Groote, Jan Friso; Reniers, Michel
2
2011
Focus points and convergent process operators. Zbl 1123.68305
Groote, Jan Friso; Springintveld, Jan
2
2007
A computer checked algebraic verification of a distributed summation algorithm. Zbl 1105.68072
Groote, Jan Friso; Monin, François; Springintveld, Jan
2
2005
Solving disjunctive/conjunctive Boolean equation systems with alternating fixed points. Zbl 1126.68478
Groote, Jan Friso; Keinänen, Misa
2
2004
Binary decision diagrams for first-order predicate logic. Zbl 1035.03012
Groote, Jan Friso; Tveretina, Olga
2
2003
A complete equational axiomatization for MPA with string iteration. Zbl 0913.68108
Aceto, Luca; Groote, Jan Friso
2
1999
Typed Lambda calculi and applications. International conference, TLCA ’93, March 16-18, 1993, Utrecht, the Netherlands. Proceedings. Zbl 0866.00038
Bezem, Marc (ed.); Groote, Jan F. (ed.)
2
1993
An efficient algorithm to determine probabilistic bisimulation. Zbl 07052189
Groote, Jan Friso; Rivera Verduzco, Jao; de Vink, Erik P.
1
2018
An \(O(m\log n)\) algorithm for stuttering equivalence and branching bisimulation. Zbl 1420.68146
Groote, Jan Friso; Wijs, Anton
1
2016
Switching graphs. Zbl 1187.68314
Groote, Jan Friso; Ploeger, Bas
1
2009
Statistical certification of software systems. Zbl 1132.62086
Di Bucchianico, Alessandro; Groote, Jan Friso; Van Hee, Kees; Kruidhof, Ronald
1
2008
A sub-quadratic algorithm for conjunctive and disjunctive Boolean equation systems. Zbl 1169.68652
Groote, Jan Friso; Keinänen, Misa
1
2005
Process algebra needs proof methodology. Zbl 1169.68541
Fokkink, Wan; Groote, Jan Friso; Reniers, Michel
1
2004
Parameterised Boolean equation systems (extended abstract). Zbl 1099.68670
Groote, Jan Friso; Willemse, Tim
1
2004
Transforming equality logic to propositional logic. Zbl 1261.03070
Zantema, Hans; Groote, Jan Friso
1
2003
Large state space visualization. Zbl 1031.68522
Groote, Jan Friso; van Ham, Frank
1
2003
Resolution and binary decision diagrams cannot simulate each other polynomially. Zbl 1073.03520
Groote, Jan Friso; Zantema, Hans
1
2001
Hiding propositional constants in BDDs. Zbl 1425.68088
Groote, Jan Friso
1
1996
An efficient algorithm to determine probabilistic bisimulation. Zbl 07052189
Groote, Jan Friso; Rivera Verduzco, Jao; de Vink, Erik P.
1
2018
An \(\mathcal O(m\log n)\) algorithm for computing stuttering equivalence and branching bisimulation. Zbl 1367.68211
Groote, Jan Friso; Jansen, David N.; Keiren, Jeroen J. A.; Wijs, Anton J.
4
2017
An \(O(m\log n)\) algorithm for stuttering equivalence and branching bisimulation. Zbl 1420.68146
Groote, Jan Friso; Wijs, Anton
1
2016
Modeling and analysis of communicating systems. Zbl 1353.68006
Groote, Jan Friso; Mousavi, Mohammad Reza
17
2014
An overview of the mCRL2 toolset and its recent advances. Zbl 1381.68198
Cranen, Sjoerd; Groote, Jan Friso; Keiren, Jeroen J. A.; Stappers, Frank P. M.; de Vink, Erik P.; Wesselink, Wieger; Willemse, Tim A. C.
12
2013
Specification guidelines to avoid the state space explosion problem. Zbl 1353.68178
Groote, Jan Friso; Kouters, Tim W. D. M.; Osaiweran, Ammar
2
2012
A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus. Zbl 1216.68188
Cranen, Sjoerd; Groote, Jan Friso; Reniers, Michel
2
2011
Analysis of distributed systems with mCRL2. Zbl 1171.68400
Groote, Jan Friso; Mathijssen, Aad; Reniers, Michel A.; Usenko, Yaroslav S.; van Weerdenburg, Muck
11
2009
Switching graphs. Zbl 1187.68314
Groote, Jan Friso; Ploeger, Bas
1
2009
Statistical certification of software systems. Zbl 1132.62086
Di Bucchianico, Alessandro; Groote, Jan Friso; Van Hee, Kees; Kruidhof, Ronald
1
2008
SOS formats and meta-theory: 20 years after. Zbl 1111.68069
Mousavi, Mohammadreza; Reniers, Michel A.; Groote, Jan Friso
27
2007
Lock-free parallel and concurrent garbage collection by mark&sweep. Zbl 1178.68528
Gao, H.; Groote, J. F.; Hesselink, W. H.
6
2007
Focus points and convergent process operators. Zbl 1123.68305
Groote, Jan Friso; Springintveld, Jan
2
2007
From \(\mu\)CRL to mCRL2: motivation and outline. Zbl 1316.68094
Groote, Jan Friso; Mathijssen, Aad; Van Weerdenburg, Muck; Usenko, Yaroslav
6
2006
A hierarchy of SOS rule formats. Zbl 1273.68206
Groote, Jan Friso; Mousavi, Mohammad Reza; Reniers, Michel A.
6
2006
Notions of bisimulation and congruence formats for SOS with data. Zbl 1082.68075
Mousavi, Mohammad Reza; Reniers, Michel A.; Groote, Jan Friso
15
2005
Model-checking processes with data. Zbl 1082.68067
Groote, J. F.; Willemse, T. A. C.
11
2005
A syntactic commutativity format for SOS. Zbl 1173.68561
Mousavi, Mohammadreza; Reniers, Michel; Groote, Jan Friso
8
2005
Parameterised Boolean equation systems. Zbl 1077.68061
Groote, Jan Friso; Willemse, Tim A. C.
7
2005
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
Lock-free dynamic hash tables with open addressing. Zbl 1264.68217
Gao, H.; Groote, J. F.; Hesselink, W. H.
3
2005
A computer checked algebraic verification of a distributed summation algorithm. Zbl 1105.68072
Groote, Jan Friso; Monin, François; Springintveld, Jan
2
2005
A sub-quadratic algorithm for conjunctive and disjunctive Boolean equation systems. Zbl 1169.68652
Groote, Jan Friso; Keinänen, Misa
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
Solving disjunctive/conjunctive Boolean equation systems with alternating fixed points. Zbl 1126.68478
Groote, Jan Friso; Keinänen, Misa
2
2004
Process algebra needs proof methodology. Zbl 1169.68541
Fokkink, Wan; Groote, Jan Friso; Reniers, Michel
1
2004
Parameterised Boolean equation systems (extended abstract). Zbl 1099.68670
Groote, Jan Friso; Willemse, Tim
1
2004
Resolution and binary decision diagrams cannot simulate each other polynomially. Zbl 1029.68129
Groote, J. F.; Zantema, H.
8
2003
Task allocation in a multi-server system. Zbl 1154.90418
Borst, Sem; Boxma, Onno; Groote, Jan Friso; Mauw, Sjouke
4
2003
Analysis of a distributed system for lifting trucks. Zbl 1048.68055
Groote, J. F.; Pang, J.; Wouters, A. G.
3
2003
Binary decision diagrams for first-order predicate logic. Zbl 1035.03012
Groote, Jan Friso; Tveretina, Olga
2
2003
Transforming equality logic to propositional logic. Zbl 1261.03070
Zantema, Hans; Groote, Jan Friso
1
2003
Large state space visualization. Zbl 1031.68522
Groote, Jan Friso; van Ham, Frank
1
2003
Completeness of timed \(\mu\)CRL. Zbl 1011.68063
Reniers, M. A.; Groote, J. F.; van der Zwaag, M. B.; van Wamel, J.
4
2002
\(\mu\)CRL: A toolset for analysing algebraic specifications. Zbl 0991.68640
Blom, Stefan; Fokkink, Wan; Groote, Jan Friso; van Langevelde, Izak; Lisser, Bert
19
2001
Algebraic process verification. Zbl 1035.68069
Groote, J. F.; Reniers, M. A.
16
2001
Focus points and convergent process operators: A proof strategy for protocol verification. Zbl 1015.68175
Groote, Jan Friso; Springintveld, Jan
8
2001
Linearization in parallel pCRL. Zbl 0988.68121
Groote, J. F.; Ponse, A.; Usenko, Y. S.
7
2001
The parallel composition of uniform processes with data. Zbl 0992.68235
Groote, J. F.; van Wamel, J.
4
2001
Analysis of three hybrid systems in timed \(\mu CRL\). Zbl 0971.68113
Groote, Jan Friso; van Wamel, Jos
3
2001
Resolution and binary decision diagrams cannot simulate each other polynomially. Zbl 1073.03520
Groote, Jan Friso; Zantema, Hans
1
2001
The propositional formula checker HeerHugo. Zbl 0968.68148
Groote, Jan Friso; Warners, Joost P.
11
2000
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
The propositional formula checker HeerHugo. Zbl 0979.68088
Groote, Jan Friso; Warners, Joost P.
5
2000
Verification of temporal properties of processes in a setting with data. Zbl 0926.03036
Groote, Jan Friso; Mateescu, Radu
9
1999
A complete equational axiomatization for MPA with string iteration. Zbl 0913.68108
Aceto, Luca; Groote, Jan Friso
2
1999
Formal verification of a leader election protocol in process algebra. Zbl 0911.68057
Fredlund, Lars-åke; Friso Groote, Jan; Korver, Henri
7
1997
The meaning of negative premises in transition system specifications. Zbl 0889.68113
Bol, Roland; Groote, Jan Frisco
37
1996
Confluence for process verification. Zbl 0874.68118
Groote, J. F.; Sellink, M. P. A.
16
1996
Hiding propositional constants in BDDs. Zbl 1425.68088
Groote, Jan Friso
1
1996
Undecidable equivalences for basic process algebra. Zbl 0834.68069
Groote, Jan Friso; Hüttel, Hans
15
1994
Proof theory for \(\mu\)CRL: A language for processes with data. Zbl 0813.68135
Groote, Jan Friso; Ponse, Alban
13
1994
Process algebra with guards: Combining hoare logic with process algebra. Zbl 0806.68078
Groote, Jan Friso; Ponse, Alban
8
1994
Transition system specifications with negative premises. Zbl 0778.68057
Groote, Jan Friso
52
1993
Typed Lambda calculi and applications. International conference, TLCA ’93, March 16-18, 1993, Utrecht, the Netherlands. Proceedings. Zbl 0866.00038
Bezem, Marc (ed.); Groote, Jan F. (ed.)
2
1993
Structured operational semantics and bisimulation as a congruence. Zbl 0752.68053
Groote, Jan Friso; Vaandrager, Frits
80
1992
A short proof of the decidability of bisimulation for normed BPA- processes. Zbl 0779.68029
Groote, Jan Friso
14
1992
The meaning of negative premises in transition system specifications. Zbl 0796.68142
Bol, Roland; Groote, Jan Friso
4
1991
An efficient algorithm for branching bisimulation and stuttering equivalence. Zbl 0765.68125
Groote, Jan Friso; Vaandrager, Frits
43
1990
all top 5

Cited by 433 Authors

27 Groote, Jan Friso
21 Reniers, Michel Adriaan
18 Aceto, Luca
15 Ingólfsdóttir, Anna
14 Bergstra, Jan A.
13 Fokkink, Wan
13 Willemse, Tim A. C.
12 van de Pol, Jan Cornelis
11 van Glabbeek, Robert Jan
10 Ponse, Alban
9 Middelburg, Cornelis A.
9 Mousavi, Mohammadreza
8 Luttik, Bas
8 Tini, Simone
7 Baeten, Jos C. M.
6 Mousavi, Mohammad Reza
6 Ulidowski, Irek
5 Andova, Suzana
5 Cimini, Matteo
5 de Vink, Erik P.
5 Fábregas, Ignacio
5 Gorrieri, Roberto
5 Klin, Bartek
5 Kucera, Antonin
5 Montanari, Ugo G.
5 Ranzato, Francesco
5 Sangiorgi, Davide
5 Van Weerdenburg, Muck J.
5 Wijs, Anton J.
5 Zantema, Hans
4 Busi, Nadia
4 Cuijpers, Pieter J. L.
4 D’Argenio, Pedro Rubén
4 Fahrenberg, Uli
4 Fokkink, Wan J.
4 Ghassemi, Fatemeh
4 Hesselink, Wim H.
4 Katoen, Joost-Pieter
4 Legay, Axel
4 Mayr, Richard M.
4 Orzan, Simona
4 Pang, Jun
4 Rooda, Jacobus E.
4 Usenko, Yaroslav S.
4 Zavattaro, Gianluigi
3 Badban, Bahareh
3 Biere, Armin
3 Bloom, Bard
3 Bravetti, Mario
3 Castiglioni, Valentina
3 Cranen, Sjoerd
3 Durier, Adrien
3 Garavel, Hubert
3 García-Pérez, Álvaro
3 Gazda, Maciej W.
3 Gebler, Daniel E.
3 Hermanns, Holger
3 Hirschkoff, Daniel
3 Hoare, C. A. R. Tony
3 Huynh, Dung T.
3 Keiren, Jeroen J. A.
3 Lang, Frédéric
3 Larsen, Kim Guldstrand
3 Moller, Faron
3 Phillips, Iain W.
3 Righter, Rhonda
3 Roscoe, Andrew William
3 Salaün, Gwen
3 Schiffelers, R. R. H.
3 Srba, Jiří
3 Stoelinga, Mariëlle
3 ter Beek, Maurice H.
3 Tian, Lu
3 Timmer, Mark
3 Tveretina, Olga
3 van Beek, D. A.
3 Vu, Thuy Duong
3 Wesselink, Wieger
3 Zhang, Jinjin
3 Zhang, Yan
3 Zhu, Zhaohui
2 Arbab, Farhad
2 Baier, Christel
2 Basten, Twan
2 Beohar, Harsh
2 Bliudze, Simon
2 Blom, Stefan
2 Bruni, Renato
2 Bruni, Roberto
2 Cleaveland, Rance
2 Colvin, Robert J.
2 Corradini, Andrea
2 Corradini, Flavio
2 de Frutos-Escrig, David
2 de Wind, Paulien
2 Fantechi, Alessandro
2 Ferrari, Gian Luigi
2 Francalanza, Adrian
2 Galpin, Vashti
2 Georgievska, Sonja
...and 333 more Authors
all top 5

Cited in 43 Serials

77 Theoretical Computer Science
37 Information and Computation
31 The Journal of Logic and Algebraic Programming
19 Acta Informatica
15 Formal Aspects of Computing
13 Journal of Logical and Algebraic Methods in Programming
12 Information Processing Letters
9 Logical Methods in Computer Science
8 Science of Computer Programming
7 Discrete Applied Mathematics
5 Formal Methods in System Design
4 Journal of Computer and System Sciences
4 MSCS. Mathematical Structures in Computer Science
3 Journal of Automated Reasoning
3 ACM Transactions on Computational Logic
2 Artificial Intelligence
2 Annals of Pure and Applied Logic
2 Annals of Mathematics and Artificial Intelligence
2 Prikladnaya Diskretnaya Matematika
1 Advances in Applied Probability
1 The Journal of Symbolic Logic
1 Notre Dame Journal of Formal Logic
1 Operations Research
1 Programming and Computer Software
1 Operations Research Letters
1 Journal of Symbolic Computation
1 Journal of Parallel and Distributed Computing
1 International Journal of Foundations of Computer Science
1 International Journal of Computer Mathematics
1 SIAM Review
1 Distributed Computing
1 RAIRO. Informatique Théorique et Applications
1 Applicable Algebra in Engineering, Communication and Computing
1 Cybernetics and Systems Analysis
1 Journal of Computer and Systems Sciences International
1 Journal of Applied Non-Classical Logics
1 The Bulletin of Symbolic Logic
1 Theory of Computing Systems
1 Journal of Scheduling
1 Journal of the ACM
1 RAIRO. Theoretical Informatics and Applications
1 Journal of Applied Logic
1 Algorithms

Citations by Year