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 | 173 | 2013 |

Pitch, eyebrows and the perception of focus E Krahmer, Z Ruttkay, M Swerts, W Wesselink Speech Prosody 2002, International Conference, 2002 | 82 | 2002 |

Visual Interaction Platform. D Aliakseyeu, JB Martens, S Subramanian, M Vroubel, W Wesselink INTERACT, 232-239, 2001 | 57 | 2001 |

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 | 54 | 2008 |

Interactive design of constrained variational curves W Wesselink, RC Veltkamp Computer Aided Geometric Design 12 (5), 533-546, 1995 | 52 | 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 | 48 | 1996 |

Modeling 3D curves of minimal energy RC Veltkamp, W Wesselink Computer Graphics Forum 14 (3), 97-110, 1995 | 45 | 1995 |

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 | 44 | 2019 |

Variational modeling of curves and surfaces W Wesselink CUMINCAD, 1996 | 33 | 1996 |

Perceptual evaluation of audiovisual cues for prominence E Krahmer, Z Ruttkay, M Swerts, W Wesselink Seventh International Conference on Spoken Language Processing, 2002 | 27 | 2002 |

Efficient evaluation of triangular B-spline surfaces M Franssen, RC Veltkamp, W Wesselink Computer Aided Geometric Design 17 (9), 863-877, 2000 | 24 | 2000 |

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 | 23 | 2009 |

A distributed spanning tree algorithm for topology-aware networks AJ Mooij, N Goga, JW Wesselink Technische Universiteit Eindhoven, Department of Mathematics and Computer …, 2003 | 22 | 2003 |

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 | 16 | 2003 |

A formal analysis of a dynamic distributed spanning tree algorithm AJ Mooij, JW Wesselink Technische Universiteit Eindhoven, Department of Mathematics and Computer …, 2003 | 15 | 2003 |

Realizability criteria for compositional MSC A Mooij, J Romijn, W Wesselink International Conference on Algebraic Methodology and Software Technology …, 2006 | 14 | 2006 |

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 | 14 | 2003 |

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 | 13 | 2017 |

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 | 13 | 2011 |

Incremental verification of Owicki/Gries proof outlines using PVS AJ Mooij, W Wesselink International Conference on Formal Engineering Methods, 390-404, 2005 | 13 | 2005 |