Wieger Wesselink
Wieger Wesselink
Assistant Proffessor of Computer Science, Eindhoven University of Technology
Verified email at tue.nl
TitleCited byYear
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
1572013
Pitch, eyebrows and the perception of focus
E Krahmer, Z Ruttkay, M Swerts, W Wesselink
Speech Prosody 2002, International Conference, 2002
762002
Visual Interaction Platform.
D Aliakseyeu, JB Martens, S Subramanian, M Vroubel, W Wesselink
INTERACT, 232-239, 2001
572001
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
Interactive design of constrained variational curves
W Wesselink, RC Veltkamp
Computer Aided Geometric Design 12 (5), 533-546, 1995
501995
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
401995
Variational modeling of curves and surfaces
JW Wesselink
Technische Universiteit Eindhoven, 1996
331996
Perceptual evaluation of audiovisual cues for prominence
E Krahmer, Z Ruttkay, M Swerts, W Wesselink
Seventh International Conference on Spoken Language Processing, 2002
242002
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
Efficient evaluation of triangular B-spline surfaces
M Franssen, RC Veltkamp, W Wesselink
Computer Aided Geometric Design 17 (9), 863-877, 2000
232000
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
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
162019
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
152003
A formal analysis of a dynamic distributed spanning tree algorithm
AJ Mooij, JW Wesselink
Technische Universiteit Eindhoven, Department of Mathematics and Computer …, 2003
142003
Realizability criteria for compositional MSC
A Mooij, J Romijn, W Wesselink
International Conference on Algebraic Methodology and Software Technology …, 2006
132006
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
Experiences in developing the mCRL2 toolset
JF Groote, JJA Keiren, FPM Stappers, JW Wesselink, TAC Willemse
Software: Practice and Experience 41 (2), 143-153, 2011
102011
Incremental verification of Owicki/Gries proof outlines using PVS
AJ Mooij, W Wesselink
International Conference on Formal Engineering Methods, 390-404, 2005
102005
The system can't perform the operation now. Try again later.
Articles 1–20