Edit Profile Groote, Jan Friso Compute Distance To: Compute Author ID: 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 all top 5 Co-Authors 3 single-authored 11 Reniers, Michel Adriaan 7 Willemse, Tim A. C. 5 Zantema, Hans 4 Hesselink, Wim H. 4 Usenko, Yaroslav S. 4 van de Pol, Jan Cornelis 4 van Wamel, Jos 3 Bol, Roland N. 3 Fokkink, Wan 3 Mauw, Sjouke 3 Mousavi, Mohammadreza 3 Pang, Jun 3 Ponse, Alban 3 Springintveld, Jan 3 Van Weerdenburg, Muck J. 2 Badban, Bahareh 2 Bezem, Marc 2 Blom, Stefan 2 Cranen, Sjoerd 2 de Vink, Erik P. 2 Gao, Hui 2 Keinänen, Misa 2 Keiren, Jeroen J. A. 2 Mathijssen, Aad 2 Mousavi, Mohammad Reza 2 Ploeger, Bas 2 Stappers, Frank P. M. 2 Vaandrager, Frits W. 2 Warners, Joost P. 2 Wijs, Anton J. 1 Aceto, Luca 1 Andrews, Derek J. 1 Baeten, Jos C. M. 1 Borst, Sem C. 1 Boxma, Onno Johan 1 Di Bucchianico, Alessandro 1 Engels, Tom A. N. 1 Fokkink, Wan J. 1 Fredlund, Lars-åke 1 Hüttel, Hans 1 Jansen, David N. 1 Koorn, Wilco 1 Korver, Henri 1 Kouters, Tim W. D. M. 1 Kruidhof, Ronald 1 Linnartz, Jean-Paul M. G. 1 Lisser, Bert 1 Luttik, Bas 1 Mateescu, Radu 1 Middelburg, Cornelis A. 1 Monin, François 1 Osaiweran, Ammar 1 Rivera Verduzco, Jao 1 Sellink, M. P. A. 1 Serebrenik, Alexander 1 Talebi, Mahmoud 1 Tveretina, Olga 1 van der Zwaag, Mark B. 1 van Ham, Frank 1 van Hee, Kees Max 1 van Langevelde, Izak 1 van Vlijmen, Sebastiaan 1 Vermeulen, Rogier 1 Voorhoeve, Marc 1 Wesselink, Wieger 1 Wiedijk, Freek 1 Wouters, A. G. all top 5 Serials 9 Theoretical Computer Science 5 Formal Aspects of Computing 5 The Journal of Logic and Algebraic Programming 3 Science of Computer Programming 3 Information and Computation 3 Distributed Computing 2 Information Processing Letters 2 Lecture Notes in Computer Science 1 Discrete Applied Mathematics 1 Journal of Automated Reasoning 1 International Journal of Foundations of Computer Science 1 Communications in Statistics. Simulation and Computation 1 SIAM Review 1 Formal Methods in System Design 1 Journal of Scheduling 1 Journal of the ACM 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Fundamenta Informaticae 1 Nieuw Archief voor Wiskunde. Vijfde Serie 1 ACM Transactions on Computational Logic 1 Logical Methods in Computer Science 1 Algorithms all top 5 Fields 74 Computer science (68-XX) 12 Mathematical logic and foundations (03-XX) 6 General and overarching topics; collections (00-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Probability theory and stochastic processes (60-XX) 2 Information and communication theory, circuits (94-XX) 1 Combinatorics (05-XX) 1 Statistics (62-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications 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.68053Groote, Jan Friso; Vaandrager, Frits 80 1992 Transition system specifications with negative premises. Zbl 0778.68057Groote, Jan Friso 52 1993 An efficient algorithm for branching bisimulation and stuttering equivalence. Zbl 0765.68125Groote, Jan Friso; Vaandrager, Frits 43 1990 The meaning of negative premises in transition system specifications. Zbl 0889.68113Bol, Roland; Groote, Jan Frisco 37 1996 SOS formats and meta-theory: 20 years after. Zbl 1111.68069Mousavi, Mohammadreza; Reniers, Michel A.; Groote, Jan Friso 27 2007 \(\mu\)CRL: A toolset for analysing algebraic specifications. Zbl 0991.68640Blom, Stefan; Fokkink, Wan; Groote, Jan Friso; van Langevelde, Izak; Lisser, Bert 19 2001 Modeling and analysis of communicating systems. Zbl 1353.68006Groote, Jan Friso; Mousavi, Mohammad Reza 17 2014 Algebraic process verification. Zbl 1035.68069Groote, J. F.; Reniers, M. A. 16 2001 Confluence for process verification. Zbl 0874.68118Groote, J. F.; Sellink, M. P. A. 16 1996 Notions of bisimulation and congruence formats for SOS with data. Zbl 1082.68075Mousavi, Mohammad Reza; Reniers, Michel A.; Groote, Jan Friso 15 2005 Undecidable equivalences for basic process algebra. Zbl 0834.68069Groote, Jan Friso; Hüttel, Hans 15 1994 A short proof of the decidability of bisimulation for normed BPA- processes. Zbl 0779.68029Groote, Jan Friso 14 1992 Proof theory for \(\mu\)CRL: A language for processes with data. Zbl 0813.68135Groote, Jan Friso; Ponse, Alban 13 1994 An overview of the mCRL2 toolset and its recent advances. Zbl 1381.68198Cranen, 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.68400Groote, Jan Friso; Mathijssen, Aad; Reniers, Michel A.; Usenko, Yaroslav S.; van Weerdenburg, Muck 11 2009 Model-checking processes with data. Zbl 1082.68067Groote, J. F.; Willemse, T. A. C. 11 2005 The propositional formula checker HeerHugo. Zbl 0968.68148Groote, Jan Friso; Warners, Joost P. 11 2000 Equational binary decision diagrams. Zbl 0988.68590Groote, Jan Friso; van de Pol, Jaco 9 2000 Verification of temporal properties of processes in a setting with data. Zbl 0926.03036Groote, Jan Friso; Mateescu, Radu 9 1999 A syntactic commutativity format for SOS. Zbl 1173.68561Mousavi, Mohammadreza; Reniers, Michel; Groote, Jan Friso 8 2005 Resolution and binary decision diagrams cannot simulate each other polynomially. Zbl 1029.68129Groote, J. F.; Zantema, H. 8 2003 Focus points and convergent process operators: A proof strategy for protocol verification. Zbl 1015.68175Groote, Jan Friso; Springintveld, Jan 8 2001 Process algebra with guards: Combining hoare logic with process algebra. Zbl 0806.68078Groote, Jan Friso; Ponse, Alban 8 1994 Parameterised Boolean equation systems. Zbl 1077.68061Groote, Jan Friso; Willemse, Tim A. C. 7 2005 Linearization in parallel pCRL. Zbl 0988.68121Groote, J. F.; Ponse, A.; Usenko, Y. S. 7 2001 Formal verification of a leader election protocol in process algebra. Zbl 0911.68057Fredlund, Lars-åke; Friso Groote, Jan; Korver, Henri 7 1997 Lock-free parallel and concurrent garbage collection by mark&sweep. Zbl 1178.68528Gao, H.; Groote, J. F.; Hesselink, W. H. 6 2007 From \(\mu\)CRL to mCRL2: motivation and outline. Zbl 1316.68094Groote, Jan Friso; Mathijssen, Aad; Van Weerdenburg, Muck; Usenko, Yaroslav 6 2006 A hierarchy of SOS rule formats. Zbl 1273.68206Groote, Jan Friso; Mousavi, Mohammad Reza; Reniers, Michel A. 6 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 State space reduction using partial \(\tau\)-confluence. Zbl 0996.68122Groote, Jan Friso; van de Pol, Jaco 5 2000 The propositional formula checker HeerHugo. Zbl 0979.68088Groote, Jan Friso; Warners, Joost P. 5 2000 An \(\mathcal O(m\log n)\) algorithm for computing stuttering equivalence and branching bisimulation. Zbl 1367.68211Groote, Jan Friso; Jansen, David N.; Keiren, Jeroen J. A.; Wijs, Anton J. 4 2017 Task allocation in a multi-server system. Zbl 1154.90418Borst, Sem; Boxma, Onno; Groote, Jan Friso; Mauw, Sjouke 4 2003 Completeness of timed \(\mu\)CRL. Zbl 1011.68063Reniers, 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.68235Groote, J. F.; van Wamel, J. 4 2001 The meaning of negative premises in transition system specifications. Zbl 0796.68142Bol, Roland; Groote, Jan Friso 4 1991 Lock-free dynamic hash tables with open addressing. Zbl 1264.68217Gao, H.; Groote, J. F.; Hesselink, W. H. 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 Analysis of a distributed system for lifting trucks. Zbl 1048.68055Groote, J. F.; Pang, J.; Wouters, A. G. 3 2003 Analysis of three hybrid systems in timed \(\mu CRL\). Zbl 0971.68113Groote, Jan Friso; van Wamel, Jos 3 2001 Specification guidelines to avoid the state space explosion problem. Zbl 1353.68178Groote, 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.68188Cranen, Sjoerd; Groote, Jan Friso; Reniers, Michel 2 2011 Focus points and convergent process operators. Zbl 1123.68305Groote, Jan Friso; Springintveld, Jan 2 2007 A computer checked algebraic verification of a distributed summation algorithm. Zbl 1105.68072Groote, Jan Friso; Monin, François; Springintveld, Jan 2 2005 Solving disjunctive/conjunctive Boolean equation systems with alternating fixed points. Zbl 1126.68478Groote, Jan Friso; Keinänen, Misa 2 2004 Binary decision diagrams for first-order predicate logic. Zbl 1035.03012Groote, Jan Friso; Tveretina, Olga 2 2003 A complete equational axiomatization for MPA with string iteration. Zbl 0913.68108Aceto, 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.00038Bezem, Marc (ed.); Groote, Jan F. (ed.) 2 1993 An efficient algorithm to determine probabilistic bisimulation. Zbl 07052189Groote, 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.68146Groote, Jan Friso; Wijs, Anton 1 2016 Switching graphs. Zbl 1187.68314Groote, Jan Friso; Ploeger, Bas 1 2009 Statistical certification of software systems. Zbl 1132.62086Di 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.68652Groote, Jan Friso; Keinänen, Misa 1 2005 Process algebra needs proof methodology. Zbl 1169.68541Fokkink, Wan; Groote, Jan Friso; Reniers, Michel 1 2004 Parameterised Boolean equation systems (extended abstract). Zbl 1099.68670Groote, Jan Friso; Willemse, Tim 1 2004 Transforming equality logic to propositional logic. Zbl 1261.03070Zantema, Hans; Groote, Jan Friso 1 2003 Large state space visualization. Zbl 1031.68522Groote, Jan Friso; van Ham, Frank 1 2003 Resolution and binary decision diagrams cannot simulate each other polynomially. Zbl 1073.03520Groote, Jan Friso; Zantema, Hans 1 2001 Hiding propositional constants in BDDs. Zbl 1425.68088Groote, Jan Friso 1 1996 An efficient algorithm to determine probabilistic bisimulation. Zbl 07052189Groote, 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.68211Groote, 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.68146Groote, Jan Friso; Wijs, Anton 1 2016 Modeling and analysis of communicating systems. Zbl 1353.68006Groote, Jan Friso; Mousavi, Mohammad Reza 17 2014 An overview of the mCRL2 toolset and its recent advances. Zbl 1381.68198Cranen, 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.68178Groote, 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.68188Cranen, Sjoerd; Groote, Jan Friso; Reniers, Michel 2 2011 Analysis of distributed systems with mCRL2. Zbl 1171.68400Groote, Jan Friso; Mathijssen, Aad; Reniers, Michel A.; Usenko, Yaroslav S.; van Weerdenburg, Muck 11 2009 Switching graphs. Zbl 1187.68314Groote, Jan Friso; Ploeger, Bas 1 2009 Statistical certification of software systems. Zbl 1132.62086Di Bucchianico, Alessandro; Groote, Jan Friso; Van Hee, Kees; Kruidhof, Ronald 1 2008 SOS formats and meta-theory: 20 years after. Zbl 1111.68069Mousavi, Mohammadreza; Reniers, Michel A.; Groote, Jan Friso 27 2007 Lock-free parallel and concurrent garbage collection by mark&sweep. Zbl 1178.68528Gao, H.; Groote, J. F.; Hesselink, W. H. 6 2007 Focus points and convergent process operators. Zbl 1123.68305Groote, Jan Friso; Springintveld, Jan 2 2007 From \(\mu\)CRL to mCRL2: motivation and outline. Zbl 1316.68094Groote, Jan Friso; Mathijssen, Aad; Van Weerdenburg, Muck; Usenko, Yaroslav 6 2006 A hierarchy of SOS rule formats. Zbl 1273.68206Groote, Jan Friso; Mousavi, Mohammad Reza; Reniers, Michel A. 6 2006 Notions of bisimulation and congruence formats for SOS with data. Zbl 1082.68075Mousavi, Mohammad Reza; Reniers, Michel A.; Groote, Jan Friso 15 2005 Model-checking processes with data. Zbl 1082.68067Groote, J. F.; Willemse, T. A. C. 11 2005 A syntactic commutativity format for SOS. Zbl 1173.68561Mousavi, Mohammadreza; Reniers, Michel; Groote, Jan Friso 8 2005 Parameterised Boolean equation systems. Zbl 1077.68061Groote, Jan Friso; Willemse, Tim A. C. 7 2005 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 Lock-free dynamic hash tables with open addressing. Zbl 1264.68217Gao, H.; Groote, J. F.; Hesselink, W. H. 3 2005 A computer checked algebraic verification of a distributed summation algorithm. Zbl 1105.68072Groote, Jan Friso; Monin, François; Springintveld, Jan 2 2005 A sub-quadratic algorithm for conjunctive and disjunctive Boolean equation systems. Zbl 1169.68652Groote, Jan Friso; Keinänen, Misa 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 Solving disjunctive/conjunctive Boolean equation systems with alternating fixed points. Zbl 1126.68478Groote, Jan Friso; Keinänen, Misa 2 2004 Process algebra needs proof methodology. Zbl 1169.68541Fokkink, Wan; Groote, Jan Friso; Reniers, Michel 1 2004 Parameterised Boolean equation systems (extended abstract). Zbl 1099.68670Groote, Jan Friso; Willemse, Tim 1 2004 Resolution and binary decision diagrams cannot simulate each other polynomially. Zbl 1029.68129Groote, J. F.; Zantema, H. 8 2003 Task allocation in a multi-server system. Zbl 1154.90418Borst, Sem; Boxma, Onno; Groote, Jan Friso; Mauw, Sjouke 4 2003 Analysis of a distributed system for lifting trucks. Zbl 1048.68055Groote, J. F.; Pang, J.; Wouters, A. G. 3 2003 Binary decision diagrams for first-order predicate logic. Zbl 1035.03012Groote, Jan Friso; Tveretina, Olga 2 2003 Transforming equality logic to propositional logic. Zbl 1261.03070Zantema, Hans; Groote, Jan Friso 1 2003 Large state space visualization. Zbl 1031.68522Groote, Jan Friso; van Ham, Frank 1 2003 Completeness of timed \(\mu\)CRL. Zbl 1011.68063Reniers, 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.68640Blom, Stefan; Fokkink, Wan; Groote, Jan Friso; van Langevelde, Izak; Lisser, Bert 19 2001 Algebraic process verification. Zbl 1035.68069Groote, J. F.; Reniers, M. A. 16 2001 Focus points and convergent process operators: A proof strategy for protocol verification. Zbl 1015.68175Groote, Jan Friso; Springintveld, Jan 8 2001 Linearization in parallel pCRL. Zbl 0988.68121Groote, J. F.; Ponse, A.; Usenko, Y. S. 7 2001 The parallel composition of uniform processes with data. Zbl 0992.68235Groote, J. F.; van Wamel, J. 4 2001 Analysis of three hybrid systems in timed \(\mu CRL\). Zbl 0971.68113Groote, Jan Friso; van Wamel, Jos 3 2001 Resolution and binary decision diagrams cannot simulate each other polynomially. Zbl 1073.03520Groote, Jan Friso; Zantema, Hans 1 2001 The propositional formula checker HeerHugo. Zbl 0968.68148Groote, Jan Friso; Warners, Joost P. 11 2000 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 The propositional formula checker HeerHugo. Zbl 0979.68088Groote, Jan Friso; Warners, Joost P. 5 2000 Verification of temporal properties of processes in a setting with data. Zbl 0926.03036Groote, Jan Friso; Mateescu, Radu 9 1999 A complete equational axiomatization for MPA with string iteration. Zbl 0913.68108Aceto, Luca; Groote, Jan Friso 2 1999 Formal verification of a leader election protocol in process algebra. Zbl 0911.68057Fredlund, Lars-åke; Friso Groote, Jan; Korver, Henri 7 1997 The meaning of negative premises in transition system specifications. Zbl 0889.68113Bol, Roland; Groote, Jan Frisco 37 1996 Confluence for process verification. Zbl 0874.68118Groote, J. F.; Sellink, M. P. A. 16 1996 Hiding propositional constants in BDDs. Zbl 1425.68088Groote, Jan Friso 1 1996 Undecidable equivalences for basic process algebra. Zbl 0834.68069Groote, Jan Friso; Hüttel, Hans 15 1994 Proof theory for \(\mu\)CRL: A language for processes with data. Zbl 0813.68135Groote, Jan Friso; Ponse, Alban 13 1994 Process algebra with guards: Combining hoare logic with process algebra. Zbl 0806.68078Groote, Jan Friso; Ponse, Alban 8 1994 Transition system specifications with negative premises. Zbl 0778.68057Groote, Jan Friso 52 1993 Typed Lambda calculi and applications. International conference, TLCA ’93, March 16-18, 1993, Utrecht, the Netherlands. Proceedings. Zbl 0866.00038Bezem, Marc (ed.); Groote, Jan F. (ed.) 2 1993 Structured operational semantics and bisimulation as a congruence. Zbl 0752.68053Groote, Jan Friso; Vaandrager, Frits 80 1992 A short proof of the decidability of bisimulation for normed BPA- processes. Zbl 0779.68029Groote, Jan Friso 14 1992 The meaning of negative premises in transition system specifications. Zbl 0796.68142Bol, Roland; Groote, Jan Friso 4 1991 An efficient algorithm for branching bisimulation and stuttering equivalence. Zbl 0765.68125Groote, Jan Friso; Vaandrager, Frits 43 1990 all cited Publications top 5 cited Publications 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 all top 5 Cited in 12 Fields 343 Computer science (68-XX) 60 Mathematical logic and foundations (03-XX) 9 Operations research, mathematical programming (90-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Information and communication theory, circuits (94-XX) 2 Combinatorics (05-XX) 2 Probability theory and stochastic processes (60-XX) 2 Systems theory; control (93-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Associative rings and algebras (16-XX) 1 Biology and other natural sciences (92-XX) Citations by Year