Edit Profile (opens in new tab) Hesselink, Wim H. Co-Author Distance Author ID: hesselink.wim-h Published as: Hesselink, Wim H.; Hesselink, W. H.; Hesselink, Wim; Hesselink, W. more...less Documents Indexed: 85 Publications since 1976, including 1 Book 1 Contribution as Editor Reviewing Activity: 1 Review Co-Authors: 22 Co-Authors with 23 Joint Publications 431 Co-Co-Authors all top 5 Co-Authors 63 single-authored 4 Gao, Hui 4 Groote, Jan Friso 3 Aravind, Alex A. 2 Bron, Coenraad 2 Lali, M. I. 2 Meijster, Arnold 2 Renardel de Lavalette, Gerard R. 1 Bürgstein, Hartmut 1 Cohen, Arjeh Marcel 1 de Haan, Hendrik Wietze 1 Hazewinkel, Michiel 1 IJbema, Mark 1 Ikram Lali, Muhammad 1 Mauw, Sjouke 1 Roerdink, Jos B. T. M. 1 Siersma, Dirk 1 Strooker, Jan Rustom 1 Thijs, A. 1 van de Gronde, Jasper J. 1 Van der Kallen, Wilberd 1 Veldkamp, Ferdinand Douwe 1 Vermeulen, Rogier all top 5 Serials 15 Formal Aspects of Computing 11 Acta Informatica 8 Theoretical Computer Science 7 Science of Computer Programming 6 Distributed Computing 5 Information Processing Letters 4 Indagationes Mathematicae. New Series 3 Mathematische Zeitschrift 2 Compositio Mathematica 2 Journal für die Reine und Angewandte Mathematik 2 Mathematische Annalen 2 Information and Computation 1 Commentarii Mathematici Helvetici 1 Inventiones Mathematicae 1 Mathematische Nachrichten 1 Transactions of the American Mathematical Society 1 ACM Transactions on Programming Languages and Systems 1 Nieuw Archief voor Wiskunde. Derde Serie 1 Formal Methods in System Design 1 Fundamenta Informaticae 1 ACM Transactions on Computational Logic 1 Cambridge Tracts in Theoretical Computer Science 1 Lecture Notes in Mathematics all top 5 Fields 64 Computer science (68-XX) 10 Algebraic geometry (14-XX) 10 Nonassociative rings and algebras (17-XX) 8 Group theory and generalizations (20-XX) 7 Mathematical logic and foundations (03-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 2 Combinatorics (05-XX) 2 Topological groups, Lie groups (22-XX) 2 Geometry (51-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 Manifolds and cell complexes (57-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 70 Publications have been cited 522 times in 397 Documents Cited by ▼ Year ▼ Singularities in the nilpotent scheme of a classical group. Zbl 0332.14017 Hesselink, Wim 59 1976 Characters of the nullcone. Zbl 0447.17006 Hesselink, Wim H. 39 1980 Uniform instability in reductive groups. Zbl 0386.20020 Hesselink, Wim H. 34 1978 Nilpotency in classical groups over a field of characteristic 2. Zbl 0387.20038 Hesselink, Wim H. 33 1979 Polarizations in the classical groups. Zbl 0364.20048 Hesselink, Wim H. 30 1978 Desingularizations of varieties of nullforms. Zbl 0401.14006 Hesselink, Wim H. 27 1979 The normality of closures of orbits in a Lie algebra. Zbl 0395.14014 Hesselink, Wim 26 1979 The ubiquity of Coxeter-Dynkin diagrams (an introduction to the A-D-E problem). Zbl 0377.20037 Hazewinkel, M.; Hesselink, W.; Siersma, D.; Veldkamp, F. D. 16 1977 Fixpoint semantics and simulation. Zbl 0944.68192 Hesselink, W. H.; Thijs, A. 15 2000 A general algorithm for computing distance transforms in linear time. Zbl 1006.68149 Meijster, A.; Roerdink, J. B. T. M.; Hesselink, W. H. 14 2000 Algorithmic orbit classification for some Borel group actions. Zbl 0612.17005 Bürgstein, Hartmut; Hesselink, Wim H. 14 1987 Programs, recursion and unbounded choice. Predicate-transformation semantics and transformation rules. Zbl 0759.68057 Hesselink, Wim H. 13 1992 Cohomology and the resolution of the nilpotent variety. Zbl 0318.14007 Hesselink, Wim H. 12 1976 Universal extensions to simulate specifications. Zbl 1133.68044 Hesselink, Wim H. 9 2008 A mathematical approach to nondeterminism in data types. Zbl 0825.68330 Hesselink, Wim H. 9 1988 Splitting forward simulations to cope with liveness. Zbl 1089.68064 Hesselink, Wim H. 9 2006 Special and pure gradings of Lie algebras. Zbl 0455.17007 Hesselink, Wim H. 9 1982 The quartet spaces of G. ’t Hooft. Zbl 1401.15002 Hesselink, Wim H. 8 2018 Eternity variables to prove simulation of specifications. Zbl 1367.68194 Hesselink, Wim H. 8 2005 Eternity variables to simulate specifications. Zbl 1073.68577 Hesselink, Wim H. 7 2002 Using eternity variables to specify and prove a serializable database interface. Zbl 1091.68041 Hesselink, Wim H. 7 2004 A classification of the nilpotent triangular matrices. Zbl 0579.15011 Hesselink, Wim H. 7 1985 Interpretations of recursion under unbounded nondeterminacy. Zbl 0663.68016 Hesselink, Wim H. 6 1988 The verified incremental design of a distributed spanning tree algorithm: Extended abstract. Zbl 0937.68111 Hesselink, Wim H. 6 1999 Lock-free parallel and concurrent garbage collection by mark&sweep. Zbl 1178.68528 Gao, H.; Groote, J. F.; Hesselink, W. H. 6 2007 Predicate-transformer semantics of general recursion. Zbl 0643.03020 Hesselink, Wim H. 5 1989 A criterion for atomicity revisited. Zbl 1120.68073 Hesselink, Wim H. 5 2007 Refinement verification of the lazy caching algorithm. Zbl 1100.68126 Hesselink, Wim H. 5 2006 Nondeterminacy and recursion via stacks and games. Zbl 0795.68128 Hesselink, Wim H. 5 1994 Deadlock and fairness in morphisms of transition systems. Zbl 0648.68070 Hesselink, Wim H. 4 1988 A queue based mutual exclusion algorithm. Zbl 1172.68041 Aravind, Alex A.; Hesselink, Wim H. 4 2009 Command algebras, recursion and program transformation. Zbl 0697.68023 Hesselink, Wim H. 4 1990 Concentration under actions of algebraic groups. Zbl 0467.14007 Hesselink, Wim H. 4 1981 Lock-free dynamic hash tables with open addressing. Zbl 1264.68217 Gao, H.; Groote, J. F.; Hesselink, W. H. 4 2005 Invariants for the construction of a handshake register. Zbl 1339.68091 Hesselink, Wim H. 4 1998 A challenge for atomicity verification. Zbl 1141.68040 Hesselink, Wim H. 3 2008 A generalization of Naundorf’s fixpoint theorem. Zbl 0949.68095 Hesselink, W. H. 3 2000 An assertional proof for a construction of an atomic variable. Zbl 1061.68113 Hesselink, Wim H. 3 2004 A general lock-free algorithm using compare-and-swap. Zbl 1107.68119 Gao, H.; Hesselink, W. H. 3 2007 Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos. Zbl 1312.68153 Hesselink, Wim H. 3 2013 An algorithm for the asynchronous Write-All problem based on process collision. Zbl 1448.68471 Groote, Jan Friso; Hesselink, Wim H.; Mauw, Sjouke; Vermeulen, Rogier 3 2001 The nullcone of the Lie algebra of \(G_2\). Zbl 1481.17029 Hesselink, Wim H. 3 2019 Bounded delay for a free address. Zbl 0849.68031 Hesselink, Wim H. 2 1996 Nonatomic dual bakery algorithm with bounded tokens. Zbl 1244.68083 Aravind, Alex A.; Hesselink, Wim H. 2 2011 A formal reduction for lock-free parallel algorithms. Zbl 1103.68980 Gao, Hui; Hesselink, Wim H. 2 2004 Concurrent determination of connected components. Zbl 0988.68225 Hesselink, Wim H.; Meijster, Arnold; Bron, Coenraad 2 2002 LR-parsing derived. Zbl 0768.68086 Hesselink, Wim H. 2 1992 Progress under bounded fairness. Zbl 1448.68111 Hesselink, Wim H. 2 1999 Schemes of linear configurations in projective plane. Zbl 0518.14001 Hesselink, Wim H. 1 1984 Alternating states for dual nondeterminism in imperative programming. Zbl 1208.68107 Hesselink, Wim H. 1 2010 Predicate transformers for recursive procedures with local variables. Zbl 0966.68113 Hesselink, Wim H. 1 1999 A linear-time algorithm for Euclidean feature transform sets. Zbl 1184.68562 Hesselink, Wim H. 1 2007 Salembier’s min-tree algorithm turned into breadth first search. Zbl 1178.68642 Hesselink, Wim H. 1 2003 Preference rankings in the face of uncertainty. Zbl 1060.68110 Hesselink, Wim H. 1 2003 Algebraic groups, Utrecht (The Netherlands) 1986. Proceedings of a Symposium in Honour of T. A. Springer. Zbl 0619.00008 1 1987 Axioms and models of linear logic. Zbl 0703.03010 Hesselink, Wim H. 1 1990 Repetitions, known or unknown? Zbl 0751.68035 Hesselink, Wim H. 1 1991 Processes and formalisms for unbounded choice. Zbl 0769.68009 Hesselink, Wim H. 1 1992 A mechanical proof of Segall’s PIF algorithm. Zbl 0874.68264 Hesselink, Wim H. 1 1997 Depth and normal flatness, two examples. Zbl 0364.13011 Hesselink, Wim 1 1977 Proof rules for recursive procedures. Zbl 0806.68081 Hesselink, Wim H. 1 1993 Starvation-free mutual exclusion with semaphores. Zbl 1298.68192 Hesselink, Wim H.; IJbema, Mark 1 2013 Formalizing a hierarchical file system. Zbl 1342.68063 Hesselink, Wim H.; Lali, M. I. 1 2009 Correctness and concurrent complexity of the black-white bakery algorithm. Zbl 1342.68348 Hesselink, Wim H. 1 2016 An assertional criterion for atomicity. Zbl 1025.68058 Hesselink, Wim H. 1 2002 Wait-free concurrent memory management by create and read until deletion (CaRuD). Zbl 1448.68112 Hesselink, Wim H.; Groote, Jan Friso 1 2001 Wait-free linearization with an assertional proof. Zbl 1448.68109 Hesselink, Wim H. 1 1994 Wait-free linearization with a mechanical proof. Zbl 1448.68110 Hesselink, Wim H. 1 1995 Simple concurrent garbage collection almost without synchronization. Zbl 1213.68163 Hesselink, Wim H.; Lali, M. I. 1 2010 Simulation refinement for concurrency verification. Zbl 1283.68207 Hesselink, Wim H. 1 2008 The nullcone of the Lie algebra of \(G_2\). Zbl 1481.17029 Hesselink, Wim H. 3 2019 The quartet spaces of G. ’t Hooft. Zbl 1401.15002 Hesselink, Wim H. 8 2018 Correctness and concurrent complexity of the black-white bakery algorithm. Zbl 1342.68348 Hesselink, Wim H. 1 2016 Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos. Zbl 1312.68153 Hesselink, Wim H. 3 2013 Starvation-free mutual exclusion with semaphores. Zbl 1298.68192 Hesselink, Wim H.; IJbema, Mark 1 2013 Nonatomic dual bakery algorithm with bounded tokens. Zbl 1244.68083 Aravind, Alex A.; Hesselink, Wim H. 2 2011 Alternating states for dual nondeterminism in imperative programming. Zbl 1208.68107 Hesselink, Wim H. 1 2010 Simple concurrent garbage collection almost without synchronization. Zbl 1213.68163 Hesselink, Wim H.; Lali, M. I. 1 2010 A queue based mutual exclusion algorithm. Zbl 1172.68041 Aravind, Alex A.; Hesselink, Wim H. 4 2009 Formalizing a hierarchical file system. Zbl 1342.68063 Hesselink, Wim H.; Lali, M. I. 1 2009 Universal extensions to simulate specifications. Zbl 1133.68044 Hesselink, Wim H. 9 2008 A challenge for atomicity verification. Zbl 1141.68040 Hesselink, Wim H. 3 2008 Simulation refinement for concurrency verification. Zbl 1283.68207 Hesselink, Wim H. 1 2008 Lock-free parallel and concurrent garbage collection by mark&sweep. Zbl 1178.68528 Gao, H.; Groote, J. F.; Hesselink, W. H. 6 2007 A criterion for atomicity revisited. Zbl 1120.68073 Hesselink, Wim H. 5 2007 A general lock-free algorithm using compare-and-swap. Zbl 1107.68119 Gao, H.; Hesselink, W. H. 3 2007 A linear-time algorithm for Euclidean feature transform sets. Zbl 1184.68562 Hesselink, Wim H. 1 2007 Splitting forward simulations to cope with liveness. Zbl 1089.68064 Hesselink, Wim H. 9 2006 Refinement verification of the lazy caching algorithm. Zbl 1100.68126 Hesselink, Wim H. 5 2006 Eternity variables to prove simulation of specifications. Zbl 1367.68194 Hesselink, Wim H. 8 2005 Lock-free dynamic hash tables with open addressing. Zbl 1264.68217 Gao, H.; Groote, J. F.; Hesselink, W. H. 4 2005 Using eternity variables to specify and prove a serializable database interface. Zbl 1091.68041 Hesselink, Wim H. 7 2004 An assertional proof for a construction of an atomic variable. Zbl 1061.68113 Hesselink, Wim H. 3 2004 A formal reduction for lock-free parallel algorithms. Zbl 1103.68980 Gao, Hui; Hesselink, Wim H. 2 2004 Salembier’s min-tree algorithm turned into breadth first search. Zbl 1178.68642 Hesselink, Wim H. 1 2003 Preference rankings in the face of uncertainty. Zbl 1060.68110 Hesselink, Wim H. 1 2003 Eternity variables to simulate specifications. Zbl 1073.68577 Hesselink, Wim H. 7 2002 Concurrent determination of connected components. Zbl 0988.68225 Hesselink, Wim H.; Meijster, Arnold; Bron, Coenraad 2 2002 An assertional criterion for atomicity. Zbl 1025.68058 Hesselink, Wim H. 1 2002 An algorithm for the asynchronous Write-All problem based on process collision. Zbl 1448.68471 Groote, Jan Friso; Hesselink, Wim H.; Mauw, Sjouke; Vermeulen, Rogier 3 2001 Wait-free concurrent memory management by create and read until deletion (CaRuD). Zbl 1448.68112 Hesselink, Wim H.; Groote, Jan Friso 1 2001 Fixpoint semantics and simulation. Zbl 0944.68192 Hesselink, W. H.; Thijs, A. 15 2000 A general algorithm for computing distance transforms in linear time. Zbl 1006.68149 Meijster, A.; Roerdink, J. B. T. M.; Hesselink, W. H. 14 2000 A generalization of Naundorf’s fixpoint theorem. Zbl 0949.68095 Hesselink, W. H. 3 2000 The verified incremental design of a distributed spanning tree algorithm: Extended abstract. Zbl 0937.68111 Hesselink, Wim H. 6 1999 Progress under bounded fairness. Zbl 1448.68111 Hesselink, Wim H. 2 1999 Predicate transformers for recursive procedures with local variables. Zbl 0966.68113 Hesselink, Wim H. 1 1999 Invariants for the construction of a handshake register. Zbl 1339.68091 Hesselink, Wim H. 4 1998 A mechanical proof of Segall’s PIF algorithm. Zbl 0874.68264 Hesselink, Wim H. 1 1997 Bounded delay for a free address. Zbl 0849.68031 Hesselink, Wim H. 2 1996 Wait-free linearization with a mechanical proof. Zbl 1448.68110 Hesselink, Wim H. 1 1995 Nondeterminacy and recursion via stacks and games. Zbl 0795.68128 Hesselink, Wim H. 5 1994 Wait-free linearization with an assertional proof. Zbl 1448.68109 Hesselink, Wim H. 1 1994 Proof rules for recursive procedures. Zbl 0806.68081 Hesselink, Wim H. 1 1993 Programs, recursion and unbounded choice. Predicate-transformation semantics and transformation rules. Zbl 0759.68057 Hesselink, Wim H. 13 1992 LR-parsing derived. Zbl 0768.68086 Hesselink, Wim H. 2 1992 Processes and formalisms for unbounded choice. Zbl 0769.68009 Hesselink, Wim H. 1 1992 Repetitions, known or unknown? Zbl 0751.68035 Hesselink, Wim H. 1 1991 Command algebras, recursion and program transformation. Zbl 0697.68023 Hesselink, Wim H. 4 1990 Axioms and models of linear logic. Zbl 0703.03010 Hesselink, Wim H. 1 1990 Predicate-transformer semantics of general recursion. Zbl 0643.03020 Hesselink, Wim H. 5 1989 A mathematical approach to nondeterminism in data types. Zbl 0825.68330 Hesselink, Wim H. 9 1988 Interpretations of recursion under unbounded nondeterminacy. Zbl 0663.68016 Hesselink, Wim H. 6 1988 Deadlock and fairness in morphisms of transition systems. Zbl 0648.68070 Hesselink, Wim H. 4 1988 Algorithmic orbit classification for some Borel group actions. Zbl 0612.17005 Bürgstein, Hartmut; Hesselink, Wim H. 14 1987 Algebraic groups, Utrecht (The Netherlands) 1986. Proceedings of a Symposium in Honour of T. A. Springer. Zbl 0619.00008 1 1987 A classification of the nilpotent triangular matrices. Zbl 0579.15011 Hesselink, Wim H. 7 1985 Schemes of linear configurations in projective plane. Zbl 0518.14001 Hesselink, Wim H. 1 1984 Special and pure gradings of Lie algebras. Zbl 0455.17007 Hesselink, Wim H. 9 1982 Concentration under actions of algebraic groups. Zbl 0467.14007 Hesselink, Wim H. 4 1981 Characters of the nullcone. Zbl 0447.17006 Hesselink, Wim H. 39 1980 Nilpotency in classical groups over a field of characteristic 2. Zbl 0387.20038 Hesselink, Wim H. 33 1979 Desingularizations of varieties of nullforms. Zbl 0401.14006 Hesselink, Wim H. 27 1979 The normality of closures of orbits in a Lie algebra. Zbl 0395.14014 Hesselink, Wim 26 1979 Uniform instability in reductive groups. Zbl 0386.20020 Hesselink, Wim H. 34 1978 Polarizations in the classical groups. Zbl 0364.20048 Hesselink, Wim H. 30 1978 The ubiquity of Coxeter-Dynkin diagrams (an introduction to the A-D-E problem). Zbl 0377.20037 Hazewinkel, M.; Hesselink, W.; Siersma, D.; Veldkamp, F. D. 16 1977 Depth and normal flatness, two examples. Zbl 0364.13011 Hesselink, Wim 1 1977 Singularities in the nilpotent scheme of a classical group. Zbl 0332.14017 Hesselink, Wim 59 1976 Cohomology and the resolution of the nilpotent variety. Zbl 0318.14007 Hesselink, Wim H. 12 1976 all cited Publications top 5 cited Publications all top 5 Cited by 455 Authors 43 Hesselink, Wim H. 14 Röhrle, Gerhard E. 8 Bate, Michael Edward 8 Fu, Baohua 7 Goodwin, Simon M. 7 Martin, Benjamin M. S. 7 Xue, Ting 6 Kraft, Hanspeter 6 Panyushev, Dmitri Ivanovich 5 Guttmann, Walter 5 Parshall, Brian J. 4 Aravind, Alex A. 4 Elduque, Alberto 4 Hanany, Amihay 4 Joseph, Anthony 4 Korhonen, Mikko 4 Lecouvey, Cédric 4 Lee, Cheolgyu 4 Melnikov, Anna 4 Nakano, Daniel K. 4 Schellhorn, Gerhard 4 Sommers, Eric N. 4 Tange, Rudolf 4 Weyman, Jerzy M. 3 Alcántara, Claudia R. 3 Draper, Cristina 3 Friedlander, Eric Mark 3 Guralnick, Robert Michael 3 Hille, Lutz 3 Hirai, Takeshi 3 Le Bruyn, Lieven 3 Lenart, Cristian 3 Letzter, Gail 3 Martín González, Cándido 3 Namikawa, Yoshinori 3 Platt, Kenyon J. 3 Premet, Alexander A. 3 Procesi, Claudio 3 Shimozono, Mark 3 Vacavant, Antoine 3 Vavilov, Nikolaĭ Aleksandrovich 3 Willenbring, Jeb F. 2 Ambrosio, Filippo 2 Back, Ralph-Johan 2 Basili, Roberta 2 Baur, Karin 2 Bellamy, Gwyn 2 Benson, David John 2 Bergonio, Philip 2 Boe, Brian Douglas 2 Broer, Abraham 2 Cantarini, Nicoletta 2 Carnovale, Giovanna 2 Cavalcanti, Ana 2 Chastkofsky, Leonard 2 Coeurjolly, David 2 Cooper, Bobbe J. 2 Corradini, Andrea 2 Costantini, Mauro 2 De Concini, Corrado 2 Duckworth, W. Ethan 2 Esposito, Francesco 2 Fresse, Lucas 2 Gandini, Jacopo 2 Gao, Hui 2 Garibaldi, Skip 2 Griffith, Gareth J. 2 Groote, Jan Friso 2 Hoskins, Victoria 2 Hower, Jeremiah 2 Hyun, Jo Jang 2 Kujawa, Jonathan Robert 2 Kumar, Shrawan 2 Maffei, Andrea 2 Mazza, Nadia Paola 2 Meldal, Sigurd 2 Milas, Antun 2 Ribeiro, Pedro 2 Rogers, Jamie 2 Sanchez, Norma G. 2 Schiffmann, Olivier G. 2 Sekiguchi, Jiro 2 Springer, Tonny Albert 2 Stewart, David I. 2 Strickland, Elisabetta 2 Tatar, Radu 2 Tiep Pham Huu 2 Tougne, Laure 2 University of Georgia VIGRE Algebra Group 2 Voorneveld, Niels F. W. 2 Willemse, Tim A. C. 2 Wright, Caroline B. 2 Zamora Saiz, Alfonso 2 Zwara, Grzegorz 1 Abeasis, Silvana 1 Abrial, Jean-Raymond 1 Achar, Pramod N. 1 Achilles, Rüdiger 1 Aizenbud, Avraham 1 Akhmejanov, Tair ...and 355 more Authors all top 5 Cited in 118 Serials 45 Journal of Algebra 21 Theoretical Computer Science 17 Transformation Groups 14 Formal Aspects of Computing 12 Inventiones Mathematicae 11 Advances in Mathematics 10 Acta Informatica 9 Journal of Pure and Applied Algebra 9 Mathematische Zeitschrift 8 Representation Theory 7 Communications in Algebra 7 Linear Algebra and its Applications 7 Indagationes Mathematicae. New Series 6 Compositio Mathematica 6 Mathematische Annalen 6 Algebras and Representation Theory 5 Information Processing Letters 5 Annales de l’Institut Fourier 5 Transactions of the American Mathematical Society 5 Journal of High Energy Physics 4 Science of Computer Programming 3 Journal of Soviet Mathematics 3 Proceedings of the American Mathematical Society 3 Proceedings of the Japan Academy. Series A 3 Tôhoku Mathematical Journal. Second Series 3 Information and Computation 3 Pattern Recognition 3 Bulletin of the American Mathematical Society. New Series 3 Distributed Computing 3 Journal of Algebraic Combinatorics 3 International Journal of Modern Physics D 3 Selecta Mathematica. New Series 3 Comptes Rendus. Mathématique. Académie des Sciences, Paris 3 Journal of Logical and Algebraic Methods in Programming 2 Annales Scientifiques de l’École Normale Supérieure. Quatrième Série 2 Duke Mathematical Journal 2 Journal of Functional Analysis 2 Journal of Geometry 2 Journal of the Mathematical Society of Japan 2 Journal für die Reine und Angewandte Mathematik 2 Manuscripta Mathematica 2 Publications of the Research Institute for Mathematical Sciences, Kyoto University 2 Revista Matemática Iberoamericana 2 Journal of the American Mathematical Society 2 Journal of Parallel and Distributed Computing 2 Proceedings of the Indian Academy of Sciences. Mathematical Sciences 2 Expositiones Mathematicae 2 Journal of Mathematical Imaging and Vision 2 St. Petersburg Mathematical Journal 2 Journal of Lie Theory 2 Séminaire Lotharingien de Combinatoire 2 Journal of Group Theory 2 Annals of Mathematics. Second Series 2 Journal of Commutative Algebra 2 Forum of Mathematics, Sigma 1 Modern Physics Letters A 1 Artificial Intelligence 1 Israel Journal of Mathematics 1 Journal of Mathematical Physics 1 Letters in Mathematical Physics 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Periodica Mathematica Hungarica 1 Reports on Mathematical Physics 1 Theoretical and Mathematical Physics 1 Journal of Geometry and Physics 1 Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 1 Annali di Matematica Pura ed Applicata. Serie Quarta 1 Functional Analysis and its Applications 1 Geometriae Dedicata 1 Journal of Combinatorial Theory. Series A 1 Journal of Differential Equations 1 Journal of the London Mathematical Society. Second Series 1 Memoirs of the American Mathematical Society 1 Rendiconti del Seminario Matematico della Università di Padova 1 Tokyo Journal of Mathematics 1 Transactions of the Moscow Mathematical Society 1 European Journal of Combinatorics 1 Acta Applicandae Mathematicae 1 Journal of Symbolic Computation 1 Discrete & Computational Geometry 1 Journal of Automated Reasoning 1 Forum Mathematicum 1 MSCS. Mathematical Structures in Computer Science 1 International Journal of Foundations of Computer Science 1 The Journal of Geometric Analysis 1 Applied Mathematical Modelling 1 Journal de Mathématiques Pures et Appliquées. Neuvième Série 1 Proceedings of the National Academy of Sciences of the United States of America 1 RAIRO. Informatique Théorique et Applications 1 Experimental Mathematics 1 Formal Methods in System Design 1 Annales Mathématiques Blaise Pascal 1 The Electronic Journal of Combinatorics 1 Journal of Functional Programming 1 Annals of Mathematics and Artificial Intelligence 1 Boletín de la Sociedad Matemática Mexicana. Third Series 1 Geometry & Topology 1 Journal of the European Mathematical Society (JEMS) 1 Computational Geosciences 1 Journal of Dynamical and Control Systems ...and 18 more Serials all top 5 Cited in 38 Fields 141 Algebraic geometry (14-XX) 118 Nonassociative rings and algebras (17-XX) 115 Group theory and generalizations (20-XX) 106 Computer science (68-XX) 41 Topological groups, Lie groups (22-XX) 31 Combinatorics (05-XX) 24 Associative rings and algebras (16-XX) 16 Quantum theory (81-XX) 13 Mathematical logic and foundations (03-XX) 12 Linear and multilinear algebra; matrix theory (15-XX) 10 Category theory; homological algebra (18-XX) 10 Several complex variables and analytic spaces (32-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 7 Number theory (11-XX) 7 Commutative algebra (13-XX) 7 Differential geometry (53-XX) 6 Relativity and gravitational theory (83-XX) 4 Dynamical systems and ergodic theory (37-XX) 4 Manifolds and cell complexes (57-XX) 4 Numerical analysis (65-XX) 4 Information and communication theory, circuits (94-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Functions of a complex variable (30-XX) 2 Ordinary differential equations (34-XX) 2 Partial differential equations (35-XX) 2 Geometry (51-XX) 2 Convex and discrete geometry (52-XX) 1 General and overarching topics; collections (00-XX) 1 \(K\)-theory (19-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 General topology (54-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Probability theory and stochastic processes (60-XX) 1 Mechanics of particles and systems (70-XX) 1 Fluid mechanics (76-XX) 1 Astronomy and astrophysics (85-XX) 1 Geophysics (86-XX) Citations by Year