×

zbMATH — the first resource for mathematics

Wesselink, Wieger

Compute Distance To:
Author ID: wesselink.wieger Recent zbMATH articles by "Wesselink, Wieger"
Published as: Wesselink, W.; Wesselink, Wieger
Documents Indexed: 10 Publications since 1995, including 1 Book

Publications by Year

Citations contained in zbMATH

8 Publications have been cited 30 times in 26 Documents Cited by Year
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
Static analysis techniques for parameterised Boolean equation systems. Zbl 1234.68263
Orzan, Simona; Wesselink, Wieger; Willemse, Tim A. C.
5
2009
Interactive design of constrained variational curves. Zbl 0875.68848
Wesselink, Wieger; Veltkamp, Remco C.
4
1995
Efficient evaluation of triangular B-spline surfaces. Zbl 0948.68186
Franssen, M.; Veltkamp, R. C.; Wesselink, W.
3
2000
Abstraction in fixpoint logic. Zbl 1367.68187
Cranen, Sjoerd; Gazda, Maciej; Wesselink, Wieger; Willemse, Tim A. C.
2
2015
Liveness analysis for parameterised Boolean equation systems. Zbl 1448.68302
Keiren, Jeroen J. A.; Wesselink, Wieger; Willemse, Tim A. C.
2
2014
Assertion-based proof checking of Chang-Roberts leader election in PVS. Zbl 1141.68487
Romijn, Judi; Wesselink, Wieger; Mooij, Arjan
1
2007
Variational modeling of curves and surfaces. Zbl 0852.65014
Wesselink, Wieger
1
1996
Abstraction in fixpoint logic. Zbl 1367.68187
Cranen, Sjoerd; Gazda, Maciej; Wesselink, Wieger; Willemse, Tim A. C.
2
2015
Liveness analysis for parameterised Boolean equation systems. Zbl 1448.68302
Keiren, Jeroen J. A.; Wesselink, Wieger; Willemse, Tim A. C.
2
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
Static analysis techniques for parameterised Boolean equation systems. Zbl 1234.68263
Orzan, Simona; Wesselink, Wieger; Willemse, Tim A. C.
5
2009
Assertion-based proof checking of Chang-Roberts leader election in PVS. Zbl 1141.68487
Romijn, Judi; Wesselink, Wieger; Mooij, Arjan
1
2007
Efficient evaluation of triangular B-spline surfaces. Zbl 0948.68186
Franssen, M.; Veltkamp, R. C.; Wesselink, W.
3
2000
Variational modeling of curves and surfaces. Zbl 0852.65014
Wesselink, Wieger
1
1996
Interactive design of constrained variational curves. Zbl 0875.68848
Wesselink, Wieger; Veltkamp, Remco C.
4
1995

Citations by Year