| 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 | 207 | 2013 |
| 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 | 203 | 2019 |
| 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 | 102 | 2002 |
| Modeling 3D curves of minimal energy RC Veltkamp, W Wesselink Computer graphics forum 14 (3), 97-110, 1995 | 77 | 1995 |
| 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 | 73 | 2011 |
| Interactive design of constrained variational curves W Wesselink, RC Veltkamp Computer Aided Geometric Design 12 (5), 533-546, 1995 | 63 | 1995 |
| 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 | 49 | 1996 |
| Variational modeling of curves and surfaces JW Wesselink | 37 | 1996 |
| 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 | 30 | 2002 |
| 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 | 27 | 2017 |
| 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 | 26 | 2009 |
| Efficient evaluation of triangular B-spline surfaces M Franssen, RC Veltkamp, W Wesselink Computer Aided Geometric Design 17 (9), 863-877, 2000 | 25 | 2000 |
| A distributed spanning tree algorithm for topology-aware networks AJ Mooij, N Goga, JW Wesselink Technische Universiteit Eindhoven, 2003 | 22 | 2003 |
| 2D polygons GJ Giezeman, W Wesselink CGAL User and Reference Manual 3, 2008 | 19 | 2008 |
| Evidence extraction from parameterised Boolean equation systems W Wesselink, TAC Willemse 3rd International Workshop on Automated Reasoning in Quantified Non …, 2018 | 17 | 2018 |
| 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 | 17 | 2011 |
| 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 | 17 | 2003 |
| Incremental verification of Owicki/Gries proof outlines using PVS AJ Mooij, W Wesselink International Conference on Formal Engineering Methods, 390-404, 2005 | 15 | 2005 |
| A formal analysis of a dynamic distributed spanning tree algorithm AJ Mooij, JW Wesselink Technische Universiteit Eindhoven, 2003 | 15 | 2003 |
| Liveness analysis for parameterised Boolean equation systems JJA Keiren, W Wesselink, TAC Willemse Automated Technology for Verification and Analysis: 12th International …, 2014 | 14 | 2014 |
