Interactive design of constrained variational curves. - Wieger Wesselink; Remco C. Veltkamp (Comput. Aided Geom. Des., 1995)

Modeling 3D Curves of Minimal Energy. - Remco C. Veltkamp; Wieger Wesselink (Comput. Graph. Forum, 1995)

Data Dependent Thin Plate Energy and its Use in Interactive Surface Modeling. - Günther Greiner; Joachim Loos; Wieger Wesselink (Comput. Graph. Forum, 1996)

Efficient evaluation of triangular B-spline surfaces. - Michael Franssen; Remco C. Veltkamp; Wieger Wesselink (Comput. Aided Geom. Des., 2000)

Visual Interaction Platform. - Dzmitry Aliakseyeu; Jean-Bernard Martens; Sriram Subramanian; Marina Vroubel; Wieger Wesselink (INTERACT, 2001)

Perceptual evaluation of audiovisual cues for prominence. - Emiel Krahmer; Zsófia Ruttkay; Marc Swerts; Wieger Wesselink (INTERSPEECH, 2002)

Incremental Verification of Owicki/Gries Proof Outlines Using PVS. - Arjan J. Mooij; Wieger Wesselink (ICFEM, 2005)

Realizability Criteria for Compositional MSC. - Arjan J. Mooij; Judi Romijn; Wieger Wesselink (AMAST, 2006)

EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas. - Olga Tveretina; Wieger Wesselink (MFCSIT, 2006)

Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS. - Judi Romijn; Wieger Wesselink; Arjan J. Mooij (ATVA, 2007)

Static Analysis Techniques for Parameterised Boolean Equation Systems. - Simona Orzan; Wieger Wesselink; Tim A. C. Willemse (TACAS, 2009)

Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems. - Bas Ploeger; Wieger Wesselink; Tim A. C. Willemse (Inf. Comput., 2011)

Experiences in developing the mCRL2 toolset. - Jan Friso Groote; Jeroen Keiren; Frank P. M. Stappers; Wieger Wesselink; Tim A. C. Willemse (Softw. Pract. Exp., 2011)

An Overview of the mCRL2 Toolset and Its Recent Advances. - Sjoerd Cranen; Jan Friso Groote; Jeroen J. A. Keiren; Frank P. M. Stappers; Erik P. de Vink; Wieger Wesselink; Tim A. C. Willemse (TACAS, 2013)

Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction - Jeroen J. A. Keiren; Wieger Wesselink; Tim A. C. Willemse (CoRR, 2013)

Liveness Analysis for Parameterised Boolean Equation Systems. - Jeroen J. A. Keiren; Wieger Wesselink; Tim A. C. Willemse (ATVA, 2014)

Abstraction in Fixpoint Logic. - Sjoerd Cranen; Maciej Gazda; Wieger Wesselink; Tim A. C. Willemse (ACM Trans. Comput. Log., 2015)

Formalising the Dezyne Modelling Language in mCRL2. - Rutger van Beusekom; Jan Friso Groote; Paul F. Hoogendijk; Robert Howe; Wieger Wesselink; Rob Wieringa; Tim A. C. Willemse (FMICS-AVoCS, 2017)

Evidence Extraction from Parameterised Boolean Equation Systems. - Wieger Wesselink; Tim A. C. Willemse (ARQNL@IJCAR, 2018)

A Comparison of BDD-Based Parity Game Solvers. - Lisette Sanchez; Wieger Wesselink; Tim A. C. Willemse (GandALF, 2018)

The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. - Olav Bunte; Jan Friso Groote; Jeroen J. A. Keiren; Maurice Laveaux; Thomas Neele; Erik P. de Vink; Wieger Wesselink; Anton Wijs; Tim A. C. Willemse (TACAS (2), 2019)

Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems. - Thomas Neele; Tim A. C. Willemse; Wieger Wesselink (TACAS (2), 2020)

On-The-Fly Solving for Symbolic Parity Games. - Maurice Laveaux; Wieger Wesselink; Tim A. C. Willemse (TACAS (2), 2022)

Partial-order reduction for parity games and parameterised Boolean equation systems. - Thomas Neele; Tim A. C. Willemse; Wieger Wesselink; Antti Valmari (Int. J. Softw. Tools Technol. Transf., 2022)

Nerva: a Truly Sparse Implementation of Neural Networks. - Wieger Wesselink; Bram Grooten; Qiao Xiao; Cassio de Campos; Mykola Pechenizkiy (CoRR, 2024)