Edit Profile Wesselink, Wieger Compute Distance To: Compute Author ID: wesselink.wieger Published as: Wesselink, W.; Wesselink, Wieger Documents Indexed: 10 Publications since 1995, including 1 Book all top 5 Co-Authors 1 single-authored 4 Willemse, Tim A. C. 2 Cranen, Sjoerd 2 Keiren, Jeroen J. A. 2 Mooij, Arjan J. 2 Romijn, Judi 2 Veltkamp, Remco C. 1 de Vink, Erik P. 1 Franssen, Maarten 1 Gazda, Maciej W. 1 Groote, Jan Friso 1 Orzan, Simona 1 Stappers, Frank P. M. 1 Tveretina, Olga Serials 2 Computer Aided Geometric Design 1 ACM Transactions on Computational Logic Fields 9 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 Numerical analysis (65-XX) Publications by Year all cited Publications top 5 cited Publications 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.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 Static analysis techniques for parameterised Boolean equation systems. Zbl 1234.68263Orzan, Simona; Wesselink, Wieger; Willemse, Tim A. C. 5 2009 Interactive design of constrained variational curves. Zbl 0875.68848Wesselink, Wieger; Veltkamp, Remco C. 4 1995 Efficient evaluation of triangular B-spline surfaces. Zbl 0948.68186Franssen, M.; Veltkamp, R. C.; Wesselink, W. 3 2000 Abstraction in fixpoint logic. Zbl 1367.68187Cranen, Sjoerd; Gazda, Maciej; Wesselink, Wieger; Willemse, Tim A. C. 2 2015 Liveness analysis for parameterised Boolean equation systems. Zbl 1448.68302Keiren, Jeroen J. A.; Wesselink, Wieger; Willemse, Tim A. C. 2 2014 Assertion-based proof checking of Chang-Roberts leader election in PVS. Zbl 1141.68487Romijn, Judi; Wesselink, Wieger; Mooij, Arjan 1 2007 Variational modeling of curves and surfaces. Zbl 0852.65014Wesselink, Wieger 1 1996 Abstraction in fixpoint logic. Zbl 1367.68187Cranen, Sjoerd; Gazda, Maciej; Wesselink, Wieger; Willemse, Tim A. C. 2 2015 Liveness analysis for parameterised Boolean equation systems. Zbl 1448.68302Keiren, Jeroen J. A.; Wesselink, Wieger; Willemse, Tim A. C. 2 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 Static analysis techniques for parameterised Boolean equation systems. Zbl 1234.68263Orzan, Simona; Wesselink, Wieger; Willemse, Tim A. C. 5 2009 Assertion-based proof checking of Chang-Roberts leader election in PVS. Zbl 1141.68487Romijn, Judi; Wesselink, Wieger; Mooij, Arjan 1 2007 Efficient evaluation of triangular B-spline surfaces. Zbl 0948.68186Franssen, M.; Veltkamp, R. C.; Wesselink, W. 3 2000 Variational modeling of curves and surfaces. Zbl 0852.65014Wesselink, Wieger 1 1996 Interactive design of constrained variational curves. Zbl 0875.68848Wesselink, Wieger; Veltkamp, Remco C. 4 1995 all cited Publications top 5 cited Publications all top 5 Cited by 59 Authors 7 Willemse, Tim A. C. 3 Groote, Jan Friso 3 Keiren, Jeroen J. A. 2 Cranen, Sjoerd 2 Gazda, Maciej W. 2 Gregorio-Rodríguez, Carlos 2 Wijs, Anton J. 2 Xu, Gang 1 Aceto, Luca 1 Arbab, Farhad 1 Basile, Davide 1 Beohar, Harsh 1 Bliudze, Simon 1 Cao, Juan 1 Chen, Wenyu 1 Chen, Zhonggui 1 Cui, Xia 1 de Frutos-Escrig, David 1 de Putter, Sander 1 de Vink, Erik P. 1 Dokter, Kasper 1 Duan, Zhenhua 1 Fábregas, Ignacio 1 Garavel, Hubert 1 Ingólfsdóttir, Anna 1 Jansen, David N. 1 Jia, Yue 1 Jongmans, Sung-Shik T. Q. 1 Kouibia, Abdelouahed 1 Li, Yongdong 1 Liu, Xuzheng 1 Llana, Luis 1 Ma, Qian 1 Martínez, Rafael García 1 Mooij, Arjan J. 1 Mousavi, Mohammadreza 1 Orzan, Simona 1 Pasadas, Miguel 1 Ploeger, Bas 1 Počkaj, Karla 1 Provatidis, Christopher G. 1 Pugliese, Rosario 1 Rabczuk, Timon 1 Rivera Verduzco, Jao 1 Sun, Jiaguang 1 ter Beek, Maurice H. 1 Wang, Aizeng 1 Wang, Guozhao 1 Wang, Xiaobing 1 Wesselink, J. W. 1 Wesselink, Wieger 1 Yong, Junhai 1 Zeng, Xiaoming 1 Zhang, Nan 1 Zhang, Yongjie 1 Zhang, Yuhua 1 Zhao, Gang 1 Zheng, Guo-Qin 1 Zhuang, Xiaoying all top 5 Cited in 15 Serials 5 Journal of Logical and Algebraic Methods in Programming 3 Formal Aspects of Computing 2 Journal of Computational and Applied Mathematics 2 ACM Transactions on Computational Logic 2 Logical Methods in Computer Science 1 Acta Informatica 1 Computer Methods in Applied Mechanics and Engineering 1 Applied Mathematics and Computation 1 Meccanica 1 Theoretical Computer Science 1 Computer Aided Geometric Design 1 Information and Computation 1 Numerical Algorithms 1 Algorithms 1 Science China. Information Sciences all top 5 Cited in 6 Fields 18 Computer science (68-XX) 7 Numerical analysis (65-XX) 6 Mathematical logic and foundations (03-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Mechanics of deformable solids (74-XX) Citations by Year