Follow
Wieger Wesselink
Wieger Wesselink
Assistant Proffessor of Computer Science, Eindhoven University of Technology
Verified email at tue.nl
Title
Cited by
Cited by
Year
An overview of the mCRL2 toolset and its recent advances
S Cranen, JF Groote, JJA Keiren, FPM Stappers, EP De Vink, ...
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
1932013
The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability
O Bunte, JF Groote, JJA Keiren, M Laveaux, T Neele, EP de Vink, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
1192019
Pitch, eyebrows and the perception of focus
E Krahmer, Z Ruttkay, M Swerts, W Wesselink
Speech prosody 2002, international conference, 2002
942002
Modeling 3D curves of minimal energy
RC Veltkamp, W Wesselink
Computer Graphics Forum 14 (3), 97-110, 1995
661995
Interactive design of constrained variational curves
W Wesselink, RC Veltkamp
Computer Aided Geometric Design 12 (5), 533-546, 1995
611995
Visual interaction platform
D Aliakseyeu, JB Martens, S Subramanian, M Vroubel, JW Wesselink
IPO Annual Progress Report 35, 117-127, 2000
572000
The mCRL2 toolset
JF Groote, J Keiren, A Mathijssen, B Ploeger, F Stappers, C Tankink, ...
Proceedings of the International Workshop on Advanced Software Development …, 2008
552008
Data dependent thin plate energy and its use in interactive surface modeling
G Greiner, J Loos, W Wesselink
Computer graphics forum 15 (3), 175-185, 1996
491996
Variational modeling of curves and surfaces
JW Wesselink
Technische Universiteit Eindhoven, 1996
361996
Perceptual evaluation of audiovisual cues for prominence.
E Krahmer, Z Ruttkay, M Swerts, W Wesselink
INTERSPEECH, 2002
292002
Efficient evaluation of triangular B-spline surfaces
M Franssen, RC Veltkamp, W Wesselink
Computer Aided Geometric Design 17 (9), 863-877, 2000
272000
Static analysis techniques for parameterised Boolean equation systems
S Orzan, W Wesselink, TAC Willemse
Tools and Algorithms for the Construction and Analysis of Systems: 15th …, 2009
222009
Formalising the Dezyne modelling language in mCRL2
R van Beusekom, JF Groote, P Hoogendijk, R Howe, W Wesselink, ...
Critical Systems: Formal Methods and Automated Verification: Joint 22nd …, 2017
212017
A distributed spanning tree algorithm for topology-aware networks
AJ Mooij, N Goga, JW Wesselink
Technische Universiteit Eindhoven, Department of Mathematics and Computer …, 2003
212003
2D polygons
GJ Giezeman, W Wesselink
CGAL User and Reference Manual 3, 2008
162008
Verification of reactive systems via instantiation of parameterised Boolean equation systems
B Ploeger, JW Wesselink, TAC Willemse
Information and Computation 209 (4), 637-663, 2011
152011
A formal analysis of a dynamic distributed spanning tree algorithm
AJ Mooij, JW Wesselink
Technische Universiteit Eindhoven, Department of Mathematics and Computer …, 2003
152003
Audio-visual personality cues for embodied agents: An experimental evaluation
E Krahmer, S Van Buuren, Z Ruttkay, W Wesselink
Proc. of the AAMAS03 Ws on “Embodied Conversational Characters as Individuals, 2003
152003
Realizability criteria for compositional MSC
A Mooij, J Romijn, W Wesselink
Algebraic Methodology and Software Technology: 11th International Conference …, 2006
142006
Incremental verification of Owicki/Gries proof outlines using PVS
AJ Mooij, W Wesselink
Formal Methods and Software Engineering: 7th International Conference on …, 2005
142005
The system can't perform the operation now. Try again later.
Articles 1–20