Search the dblp DataBase

Publications of Author

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