Seguir
Wieger Wesselink
Wieger Wesselink
Dirección de correo verificada de tue.nl
Título
Citado por
Citado por
Año
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
2012013
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
1692019
Pitch, eyebrows and the perception of focus
E Krahmer, Z Ruttkay, M Swerts, W Wesselink
Speech prosody 2002, international conference, 2002
1012002
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
732011
Modeling 3D curves of minimal energy
RC Veltkamp, W Wesselink
Computer graphics forum 14 (3), 97-110, 1995
731995
Interactive design of constrained variational curves
W Wesselink, RC Veltkamp
Computer Aided Geometric Design 12 (5), 533-546, 1995
631995
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
501996
Variational modeling of curves and surfaces
JW Wesselink
371996
Perceptual evaluation of audiovisual cues for prominence
EJ Krahmer, Z Ruttkay, MGJ Swerts, M Wesselink
Proceedings of the 7th International Conference Spoken Language Processing …, 2002
302002
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
International Conference on Tools and Algorithms for the Construction and …, 2009
252009
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
222017
A distributed spanning tree algorithm for topology-aware networks
AJ Mooij, N Goga, JW Wesselink
Technische Universiteit Eindhoven, 2003
222003
2D polygons
GJ Giezeman, W Wesselink
CGAL User and Reference Manual 3, 2008
182008
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
162011
A formal analysis of a dynamic distributed spanning tree algorithm
AJ Mooij, JW Wesselink
Technische Universiteit Eindhoven, 2003
162003
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
Incremental verification of Owicki/Gries proof outlines using PVS
AJ Mooij, W Wesselink
International Conference on Formal Engineering Methods, 390-404, 2005
152005
Realizability criteria for compositional MSC
A Mooij, J Romijn, W Wesselink
International Conference on Algebraic Methodology and Software Technology …, 2006
142006
Evidence extraction from parameterised Boolean equation systems
W Wesselink, TAC Willemse
3rd International Workshop on Automated Reasoning in Quantified Non …, 2018
132018
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20