×

zbMATH — the first resource for mathematics

Hesselink, Wim H.

Compute Distance To:
Author ID: hesselink.wim-h Recent zbMATH articles by "Hesselink, Wim H."
Published as: Hesselink, W.; Hesselink, W. H.; Hesselink, Wim; Hesselink, Wim H.
Documents Indexed: 85 Publications since 1976, including 2 Books
Reviewing Activity: 1 Review

Publications by Year

Citations contained in zbMATH

59 Publications have been cited 441 times in 331 Documents Cited by Year
Singularities in the nilpotent scheme of a classical group. Zbl 0332.14017
Hesselink, Wim
48
1976
Characters of the nullcone. Zbl 0447.17006
Hesselink, Wim H.
33
1980
Nilpotency in classical groups over a field of characteristic 2. Zbl 0387.20038
Hesselink, Wim H.
28
1979
Uniform instability in reductive groups. Zbl 0386.20020
Hesselink, Wim H.
28
1978
Polarizations in the classical groups. Zbl 0364.20048
Hesselink, Wim H.
28
1978
The normality of closures of orbits in a Lie algebra. Zbl 0395.14014
Hesselink, Wim
23
1979
Desingularizations of varieties of nullforms. Zbl 0401.14006
Hesselink, Wim H.
22
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
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.
12
1992
A general algorithm for computing distance transforms in linear time. Zbl 1006.68149
Meijster, A.; Roerdink, J. B. T. M.; Hesselink, W. H.
10
2000
Cohomology and the resolution of the nilpotent variety. Zbl 0318.14007
Hesselink, Wim H.
10
1976
Universal extensions to simulate specifications. Zbl 1133.68044
Hesselink, Wim H.
9
2008
Splitting forward simulations to cope with liveness. Zbl 1089.68064
Hesselink, Wim H.
9
2006
Fixpoint semantics and simulation. Zbl 0944.68192
Hesselink, W. H.; Thijs, A.
9
2000
The quartet spaces of G. ’t Hooft. Zbl 1401.15002
Hesselink, Wim H.
8
2018
Special and pure gradings of Lie algebras. Zbl 0455.17007
Hesselink, Wim H.
8
1982
Eternity variables to prove simulation of specifications. Zbl 1367.68194
Hesselink, Wim H.
7
2005
Using eternity variables to specify and prove a serializable database interface. Zbl 1091.68041
Hesselink, Wim H.
7
2004
Eternity variables to simulate specifications. Zbl 1073.68577
Hesselink, Wim H.
7
2002
A classification of the nilpotent triangular matrices. Zbl 0579.15011
Hesselink, Wim H.
7
1985
Lock-free parallel and concurrent garbage collection by mark&sweep. Zbl 1178.68528
Gao, H.; Groote, J. F.; Hesselink, W. H.
6
2007
Interpretations of recursion under unbounded nondeterminacy. Zbl 0663.68016
Hesselink, Wim H.
6
1988
A mathematical approach to nondeterminism in data types. Zbl 0825.68330
Hesselink, Wim H.
6
1988
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
The verified incremental design of a distributed spanning tree algorithm: Extended abstract. Zbl 0937.68111
Hesselink, Wim H.
5
1999
Nondeterminacy and recursion via stacks and games. Zbl 0795.68128
Hesselink, Wim H.
5
1994
Predicate-transformer semantics of general recursion. Zbl 0643.03020
Hesselink, Wim H.
5
1989
A queue based mutual exclusion algorithm. Zbl 1172.68041
Aravind, Alex A.; Hesselink, Wim H.
4
2009
Deadlock and fairness in morphisms of transition systems. Zbl 0648.68070
Hesselink, Wim H.
4
1988
A challenge for atomicity verification. Zbl 1141.68040
Hesselink, Wim H.
3
2008
A general lock-free algorithm using compare-and-swap. Zbl 1107.68119
Gao, H.; Hesselink, W. H.
3
2007
Lock-free dynamic hash tables with open addressing. Zbl 1264.68217
Gao, H.; Groote, J. F.; Hesselink, W. H.
3
2005
An assertional proof for a construction of an atomic variable. Zbl 1061.68113
Hesselink, Wim H.
3
2004
A generalization of Naundorf’s fixpoint theorem. Zbl 0949.68095
Hesselink, W. H.
3
2000
Command algebras, recursion and program transformation. Zbl 0697.68023
Hesselink, Wim H.
3
1990
Concentration under actions of algebraic groups. Zbl 0467.14007
Hesselink, Wim H.
3
1981
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
Bounded delay for a free address. Zbl 0849.68031
Hesselink, Wim H.
2
1996
LR-parsing derived. Zbl 0768.68086
Hesselink, Wim H.
2
1992
Correctness and concurrent complexity of the black-white bakery algorithm. Zbl 1342.68348
Hesselink, Wim H.
1
2016
Starvation-free mutual exclusion with semaphores. Zbl 1298.68192
Hesselink, Wim H.; IJbema, Mark
1
2013
Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos. Zbl 1312.68153
Hesselink, Wim H.
1
2013
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
A linear-time algorithm for Euclidean feature transform sets. Zbl 1184.68562
Hesselink, Wim H.
1
2007
Preference rankings in the face of uncertainty. Zbl 1060.68110
Hesselink, Wim H.
1
2003
An assertional criterion for atomicity. Zbl 1025.68058
Hesselink, Wim H.
1
2002
Predicate transformers for recursive procedures with local variables. Zbl 0966.68113
Hesselink, Wim H.
1
1999
A mechanical proof of Segall’s PIF algorithm. Zbl 0874.68264
Hesselink, Wim H.
1
1997
Proof rules for recursive procedures. Zbl 0806.68081
Hesselink, Wim H.
1
1993
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
Axioms and models of linear logic. Zbl 0703.03010
Hesselink, Wim H.
1
1990
Schemes of linear configurations in projective plane. Zbl 0518.14001
Hesselink, Wim H.
1
1984
Depth and normal flatness, two examples. Zbl 0364.13011
Hesselink, Wim
1
1977
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
Starvation-free mutual exclusion with semaphores. Zbl 1298.68192
Hesselink, Wim H.; IJbema, Mark
1
2013
Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos. Zbl 1312.68153
Hesselink, Wim H.
1
2013
Nonatomic dual bakery algorithm with bounded tokens. Zbl 1244.68083
Aravind, Alex A.; Hesselink, Wim H.
2
2011
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
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.
7
2005
Lock-free dynamic hash tables with open addressing. Zbl 1264.68217
Gao, H.; Groote, J. F.; Hesselink, W. H.
3
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
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
A general algorithm for computing distance transforms in linear time. Zbl 1006.68149
Meijster, A.; Roerdink, J. B. T. M.; Hesselink, W. H.
10
2000
Fixpoint semantics and simulation. Zbl 0944.68192
Hesselink, W. H.; Thijs, A.
9
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.
5
1999
Predicate transformers for recursive procedures with local variables. Zbl 0966.68113
Hesselink, Wim H.
1
1999
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
Nondeterminacy and recursion via stacks and games. Zbl 0795.68128
Hesselink, Wim H.
5
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.
12
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.
3
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
Interpretations of recursion under unbounded nondeterminacy. Zbl 0663.68016
Hesselink, Wim H.
6
1988
A mathematical approach to nondeterminism in data types. Zbl 0825.68330
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
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.
8
1982
Concentration under actions of algebraic groups. Zbl 0467.14007
Hesselink, Wim H.
3
1981
Characters of the nullcone. Zbl 0447.17006
Hesselink, Wim H.
33
1980
Nilpotency in classical groups over a field of characteristic 2. Zbl 0387.20038
Hesselink, Wim H.
28
1979
The normality of closures of orbits in a Lie algebra. Zbl 0395.14014
Hesselink, Wim
23
1979
Desingularizations of varieties of nullforms. Zbl 0401.14006
Hesselink, Wim H.
22
1979
Uniform instability in reductive groups. Zbl 0386.20020
Hesselink, Wim H.
28
1978
Polarizations in the classical groups. Zbl 0364.20048
Hesselink, Wim H.
28
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
48
1976
Cohomology and the resolution of the nilpotent variety. Zbl 0318.14007
Hesselink, Wim H.
10
1976
all top 5

Cited by 356 Authors

41 Hesselink, Wim H.
13 Röhrle, Gerhard E.
8 Fu, Baohua
7 Bate, Michael Edward
7 Goodwin, Simon M.
7 Xue, Ting
6 Martin, Benjamin M. S.
5 Kraft, Hanspeter
5 Panyushev, Dmitri Ivanovich
5 Parshall, Brian J.
4 Aravind, Alex A.
4 Guttmann, Walter
4 Hanany, Amihay
4 Joseph, Anthony
4 Melnikov, Anna
4 Schellhorn, Gerhard
4 Sommers, Eric N.
4 Tange, Rudolf
4 Weyman, Jerzy M.
3 Draper, Cristina
3 Elduque, Alberto
3 Friedlander, Eric Mark
3 Hille, Lutz
3 Hirai, Takeshi
3 Korhonen, Mikko
3 Le Bruyn, Lieven
3 Lecouvey, Cédric
3 Lee, Cheolgyu
3 Letzter, Gail
3 Martín González, Cándido
3 Premet, Alexander A.
3 Procesi, Claudio
3 Shimozono, Mark
3 Vavilov, Nikolaĭ Aleksandrovich
2 Alcántara, Claudia R.
2 Back, Ralph-Johan
2 Broer, Abraham
2 Cantarini, Nicoletta
2 Corradini, Andrea
2 Costantini, Mauro
2 De Concini, Corrado
2 Duckworth, W. Ethan
2 Fresse, Lucas
2 Gandini, Jacopo
2 Gao, Hui
2 Griffith, Gareth J.
2 Groote, Jan Friso
2 Guralnick, Robert Michael
2 Hoskins, Victoria
2 Kumar, Shrawan
2 Lawther, Ray
2 Lenart, Cristian
2 Maffei, Andrea
2 Nakano, Daniel K.
2 Namikawa, Yoshinori
2 Sanchez, Norma G.
2 Schiffmann, Olivier G.
2 Sekiguchi, Jiro
2 Springer, Tonny Albert
2 Strickland, Elisabetta
2 Tiep Pham Huu
2 University of Georgia VIGRE Algebra Group
2 von Wright, Joachim
2 Willenbring, Jeb F.
2 Zamora, Alfonso
1 Abeasis, Silvana
1 Abrial, Jean-Raymond
1 Achar, Pramod N.
1 Achilles, Rüdiger
1 Aizenbud, Avraham
1 Akhmejanov, Tair
1 Alekseevskiĭ, Dmitriĭ Vladimirovich
1 Andersen, Henning Haahr
1 Andres, Eric
1 Arakawa, Tomoyuki
1 Avni, Nir
1 Babout, Laurent
1 Balaji, Vikraman
1 Ballard, Matthew Robert
1 Barnea, Nurit
1 Basili, Roberta
1 Bäumler, Simon
1 Baur, Karin
1 Belkale, Prakash
1 Bellamy, Gwyn
1 Bendel, Christopher P.
1 Bender, Matías R.
1 Benlolo, Élise
1 Best, Eike
1 Bisson, Terrence Paul
1 Blasiak, Jonah
1 Boiten, Eerke A.
1 Bonchi, Filippo
1 Bonsangue, Marcello Maria
1 Boos, Magdalena
1 Borho, Walter
1 Bravi, Paolo
1 Brion, Michel
1 Burgard, Wolfram
1 Bürgstein, Hartmut
...and 256 more Authors
all top 5

Cited in 101 Serials

43 Journal of Algebra
17 Theoretical Computer Science
14 Transformation Groups
13 Formal Aspects of Computing
12 Advances in Mathematics
11 Inventiones Mathematicae
9 Acta Informatica
8 Mathematische Zeitschrift
8 Representation Theory
7 Indagationes Mathematicae. New Series
6 Journal of Pure and Applied Algebra
6 Mathematische Annalen
6 Linear Algebra and its Applications
5 Communications in Algebra
5 Information Processing Letters
5 Annales de l’Institut Fourier
5 Compositio Mathematica
5 Transactions of the American Mathematical Society
5 Journal of High Energy Physics
4 Science of Computer Programming
3 Journal für die Reine und Angewandte Mathematik
3 Journal of Soviet Mathematics
3 Proceedings of the American Mathematical Society
3 Proceedings of the Japan Academy. Series A
3 Tohoku 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 Algebras and Representation Theory
3 Comptes Rendus. Mathématique. Académie des Sciences, Paris
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 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 Selecta Mathematica. New Series
2 Séminaire Lotharingien de Combinatoire
2 Journal of Group Theory
2 Annals of Mathematics. Second Series
2 Journal of Logical and Algebraic Methods in Programming
1 Modern Physics Letters A
1 Artificial Intelligence
1 Israel Journal of Mathematics
1 Journal of Mathematical Physics
1 Letters in Mathematical Physics
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 Differential Equations
1 Memoirs of the American Mathematical Society
1 Rendiconti del Seminario Matematico della Università di Padova
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 International Journal of Foundations of Computer Science
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 Formal Methods in System Design
1 Annales Mathématiques Blaise Pascal
1 The Electronic Journal of Combinatorics
1 Annals of Mathematics and Artificial Intelligence
1 Journal of the European Mathematical Society (JEMS)
1 Computational Geosciences
1 Journal of Dynamical and Control Systems
1 Gravitation & Cosmology
1 Physical Review Letters
1 The Journal of Logic and Algebraic Programming
1 Bulletin of the Brazilian Mathematical Society. New Series
1 Journal of the Institute of Mathematics of Jussieu
1 ACM Transactions on Computational Logic
1 International Journal of Quantum Information
1 Journal of Zhejiang University. Science A
1 SIAM Journal on Imaging Sciences
1 Journal of Commutative Algebra
1 São Paulo Journal of Mathematical Sciences
1 Science China. Mathematics
1 Forum of Mathematics, Sigma
1 Winter Braids Lecture Notes
...and 1 more Serials
all top 5

Cited in 39 Fields

119 Algebraic geometry (14-XX)
102 Group theory and generalizations (20-XX)
100 Nonassociative rings and algebras (17-XX)
82 Computer science (68-XX)
32 Topological groups, Lie groups (22-XX)
26 Combinatorics (05-XX)
19 Associative rings and algebras (16-XX)
16 Quantum theory (81-XX)
11 Linear and multilinear algebra; matrix theory (15-XX)
10 Several complex variables and analytic spaces (32-XX)
8 Mathematical logic and foundations (03-XX)
7 Category theory; homological algebra (18-XX)
6 Order, lattices, ordered algebraic structures (06-XX)
6 Number theory (11-XX)
6 Commutative algebra (13-XX)
6 Differential geometry (53-XX)
6 Relativity and gravitational theory (83-XX)
4 Dynamical systems and ergodic theory (37-XX)
3 Functions of a complex variable (30-XX)
3 Manifolds and cell complexes (57-XX)
3 Numerical analysis (65-XX)
3 Information and communication theory, circuits (94-XX)
2 Ordinary differential equations (34-XX)
2 Partial differential equations (35-XX)
2 Probability theory and stochastic processes (60-XX)
2 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 \(K\)-theory (19-XX)
1 Real functions (26-XX)
1 Functional analysis (46-XX)
1 Operator theory (47-XX)
1 Geometry (51-XX)
1 Convex and discrete geometry (52-XX)
1 General topology (54-XX)
1 Algebraic topology (55-XX)
1 Global analysis, analysis on manifolds (58-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