 | 2009 |
|---|
| 9 |       | Simona Orzan,
Wieger Wesselink,
Tim A. C. Willemse:
Static Analysis Techniques for Parameterised Boolean Equation Systems.
TACAS 2009: 230-245 |
| 8 | | 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 | | Judi Romijn,
Wieger Wesselink,
Arjan J. Mooij:
Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS.
ATVA 2007: 347-361 |
| 2006 |
|---|
| 6 | | Arjan J. Mooij,
Judi Romijn,
Wieger Wesselink:
Realizability Criteria for Compositional MSC.
AMAST 2006: 248-262 |
| 2005 |
|---|
| 5 | | Arjan J. Mooij,
Wieger Wesselink:
Incremental Verification of Owicki/Gries Proof Outlines Using PVS.
ICFEM 2005: 390-404 |
| 2000 |
|---|
| 4 | | 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 | | 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 | | Wieger Wesselink,
Remco C. Veltkamp:
Interactive design of constrained variational curves.
Computer Aided Geometric Design 12(5): 533-546 (1995) |
