Wieger Wesselink

28 papers A 3B 3C 1Journal 13Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Batch Matrix-form Equations and Implementation of Multilayer Perceptrons.
CoRR
Wieger Wesselink, Bram Grooten, Huub van de Wetering, Qiao Xiao, Decebal Constantin Mocanu
2025 J jnl
Formal Verification of Minimax Algorithms.
CoRR
Wieger Wesselink, Kees Huizing, Huub van de Wetering
2024 J jnl
Nerva: a Truly Sparse Implementation of Neural Networks.
CoRR
Wieger Wesselink, Bram Grooten, Qiao Xiao, Cassio de Campos, Mykola Pechenizkiy
2022 — conf
On-The-Fly Solving for Symbolic Parity Games.
TACAS (2)
Maurice Laveaux, Wieger Wesselink, Tim A. C. Willemse
2022 J jnl
On-The-Fly Solving for Symbolic Parity Games.
CoRR
Maurice Laveaux, Wieger Wesselink, Tim A. C. Willemse
2022 J jnl
Partial-order reduction for parity games and parameterised Boolean equation systems.
Int. J. Softw. Tools Technol. Transf.
Thomas Neele, Tim A. C. Willemse, Wieger Wesselink, Antti Valmari
2020 — conf
Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems.
TACAS (2)
Thomas Neele, Tim A. C. Willemse, Wieger Wesselink
2019 — conf
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability.
TACAS (2)
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
2018 — conf
A Comparison of BDD-Based Parity Game Solvers.
GandALF
Lisette Sanchez, Wieger Wesselink, Tim A. C. Willemse
2018 — conf
Evidence Extraction from Parameterised Boolean Equation Systems.
ARQNL@IJCAR
Wieger Wesselink, Tim A. C. Willemse
2017 — conf
Formalising the Dezyne Modelling Language in mCRL2.
FMICS-AVoCS
Rutger van Beusekom, Jan Friso Groote, Paul F. Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa, Tim A. C. Willemse
2015 J jnl
Abstraction in Fixpoint Logic.
ACM Trans. Comput. Log.
Sjoerd Cranen, Maciej Gazda, Wieger Wesselink, Tim A. C. Willemse
2014 B conf
Liveness Analysis for Parameterised Boolean Equation Systems.
ATVA
Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse
2013 A conf
An Overview of the mCRL2 Toolset and Its Recent Advances.
TACAS
Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse
2013 J jnl
Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction
CoRR
Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse
2011 J jnl
Experiences in developing the mCRL2 toolset.
Softw. Pract. Exp.
Jan Friso Groote, Jeroen Keiren, Frank P. M. Stappers, Wieger Wesselink, Tim A. C. Willemse
2011 J jnl
Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems.
Inf. Comput.
Bas Ploeger, Wieger Wesselink, Tim A. C. Willemse
2009 A conf
Static Analysis Techniques for Parameterised Boolean Equation Systems.
TACAS
Simona Orzan, Wieger Wesselink, Tim A. C. Willemse
2007 B conf
Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS.
ATVA
Judi Romijn, Wieger Wesselink, Arjan J. Mooij
2006 — conf
EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas.
MFCSIT
Olga Tveretina, Wieger Wesselink
2006 — conf
Realizability Criteria for Compositional MSC.
AMAST
Arjan J. Mooij, Judi Romijn, Wieger Wesselink
2005 C conf
Incremental Verification of Owicki/Gries Proof Outlines Using PVS.
ICFEM
Arjan J. Mooij, Wieger Wesselink
2002 A conf
Perceptual evaluation of audiovisual cues for prominence.
INTERSPEECH
Emiel Krahmer, Zsófia Ruttkay, Marc Swerts, Wieger Wesselink
2001 B conf
Visual Interaction Platform.
INTERACT
Dzmitry Aliakseyeu, Jean-Bernard Martens, Sriram Subramanian, Marina Vroubel, Wieger Wesselink
2000 J jnl
Efficient evaluation of triangular B-spline surfaces.
Comput. Aided Geom. Des.
Michael Franssen, Remco C. Veltkamp, Wieger Wesselink
1996 J jnl
Data Dependent Thin Plate Energy and its Use in Interactive Surface Modeling.
Comput. Graph. Forum
Günther Greiner, Joachim Loos, Wieger Wesselink
1995 J jnl
Interactive design of constrained variational curves.
Comput. Aided Geom. Des.
Wieger Wesselink, Remco C. Veltkamp
1995 J jnl
Modeling 3D Curves of Minimal Energy.
Comput. Graph. Forum
Remco C. Veltkamp, Wieger Wesselink