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, ...
International Conference on Tools and Algorithms for the Construction and …, 2013
1632013
Pitch, eyebrows and the perception of focus
E Krahmer, Z Ruttkay, M Swerts, W Wesselink
Speech Prosody 2002, International Conference, 2002
792002
Visual Interaction Platform.
D Aliakseyeu, JB Martens, S Subramanian, M Vroubel, W Wesselink
INTERACT, 232-239, 2001
562001
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
542008
Interactive design of constrained variational curves
W Wesselink, RC Veltkamp
Computer Aided Geometric Design 12 (5), 533-546, 1995
511995
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
481996
Modeling 3D curves of minimal energy
RC Veltkamp, W Wesselink
Computer Graphics Forum 14 (3), 97-110, 1995
421995
Variational modeling of curves and surfaces
W Wesselink
CUMINCAD, 1996
331996
The mCRL2 toolset for analysing concurrent systems
O Bunte, JF Groote, JJA Keiren, M Laveaux, T Neele, EP de Vink, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
282019
Perceptual evaluation of audiovisual cues for prominence
E Krahmer, Z Ruttkay, M Swerts, W Wesselink
Seventh International Conference on Spoken Language Processing, 2002
252002
Efficient evaluation of triangular B-spline surfaces
M Franssen, RC Veltkamp, W Wesselink
Computer Aided Geometric Design 17 (9), 863-877, 2000
242000
Static analysis techniques for parameterised Boolean equation systems
S Orzan, W Wesselink, TAC Willemse
International Conference on Tools and Algorithms for the Construction and …, 2009
232009
A distributed spanning tree algorithm for topology-aware networks
AJ Mooij, N Goga, JW Wesselink
Technische Universiteit Eindhoven, Department of Mathematics and Computer …, 2003
222003
Audio-visual personality cues for embodied agents: An experimental evaluation
E Krahmer, S Van Buuren, Z Ruttkay, W Wesselink
Proceedings of the Workshop on embodied conversational characters as Individuals, 2003
162003
A formal analysis of a dynamic distributed spanning tree algorithm
AJ Mooij, JW Wesselink
Technische Universiteit Eindhoven, Department of Mathematics and Computer …, 2003
152003
Realizability criteria for compositional MSC
A Mooij, J Romijn, W Wesselink
International Conference on Algebraic Methodology and Software Technology …, 2006
142006
An analysis of medical device communication standard IEEE 1073.2
AJ Mooij, N Goga, W Wesselink, D Bosnacki
Communication Systems and Networks, 74-79, 2003
132003
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
122011
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, 217-233, 2017
112017
Incremental verification of Owicki/Gries proof outlines using PVS
AJ Mooij, W Wesselink
International Conference on Formal Engineering Methods, 390-404, 2005
112005
The system can't perform the operation now. Try again later.
Articles 1–20