Παρακολούθηση
Wieger Wesselink
Wieger Wesselink
AI Research Engineer, Eindhoven University of Technology
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα tue.nl
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
2112019
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
2082013
Pitch, eyebrows and the perception of focus
EJ Krahmer, Z Ruttkay, MGJ Swerts, W Wesselink
Proceedings of the Speech Prosody 2002, Conference Aix-en-Provence, 11-13 …, 2002
1042002
Modeling 3D curves of minimal energy
RC Veltkamp, W Wesselink
Computer graphics forum 14 (3), 97-110, 1995
811995
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
742011
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
491996
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
312002
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
262017
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
262009
Efficient evaluation of triangular B-spline surfaces
M Franssen, RC Veltkamp, W Wesselink
Computer Aided Geometric Design 17 (9), 863-877, 2000
252000
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
192008
Evidence extraction from parameterised Boolean equation systems
W Wesselink, TAC Willemse
3rd International Workshop on Automated Reasoning in Quantified Non …, 2018
172018
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
172011
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
172003
Incremental verification of Owicki/Gries proof outlines using PVS
AJ Mooij, W Wesselink
International Conference on Formal Engineering Methods, 390-404, 2005
152005
A formal analysis of a dynamic distributed spanning tree algorithm
AJ Mooij, JW Wesselink
Technische Universiteit Eindhoven, 2003
152003
Liveness analysis for parameterised Boolean equation systems
JJA Keiren, W Wesselink, TAC Willemse
Automated Technology for Verification and Analysis: 12th International …, 2014
142014
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20