2009 |
9 | EE | Simona Orzan,
Wieger Wesselink,
Tim A. C. Willemse:
Static Analysis Techniques for Parameterised Boolean Equation Systems.
TACAS 2009: 230-245 |
8 | EE | Olga Tveretina,
Wieger Wesselink:
EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas.
Electr. Notes Theor. Comput. Sci. 225: 405-420 (2009) |
2007 |
7 | EE | Judi Romijn,
Wieger Wesselink,
Arjan J. Mooij:
Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS.
ATVA 2007: 347-361 |
2006 |
6 | EE | Arjan J. Mooij,
Judi Romijn,
Wieger Wesselink:
Realizability Criteria for Compositional MSC.
AMAST 2006: 248-262 |
2005 |
5 | EE | Arjan J. Mooij,
Wieger Wesselink:
Incremental Verification of Owicki/Gries Proof Outlines Using PVS.
ICFEM 2005: 390-404 |
2000 |
4 | EE | Michael Franssen,
Remco C. Veltkamp,
Wieger Wesselink:
Efficient evaluation of triangular B-spline surfaces.
Computer Aided Geometric Design 17(9): 863-877 (2000) |
1996 |
3 | EE | Günther Greiner,
Joachim Loos,
Wieger Wesselink:
Data Dependent Thin Plate Energy and its Use in Interactive Surface Modeling.
Comput. Graph. Forum 15(3): 175-186 (1996) |
1995 |
2 | | Remco C. Veltkamp,
Wieger Wesselink:
Modeling 3D Curves of Minimal Energy.
Comput. Graph. Forum 14(3): 97-110 (1995) |
1 | EE | Wieger Wesselink,
Remco C. Veltkamp:
Interactive design of constrained variational curves.
Computer Aided Geometric Design 12(5): 533-546 (1995) |