Peter Fennema

Learn More
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirements, and is therefore not very accessible. In this paper we show how model checking can be applied in the context of business modeling and analysis by people that are not trained in(More)
The goal of this prospective, randomized, blinded trial was to determine if ligament balancing techniques for rotating platform TKA affect postoperative knee kinematics. Sixteen patients with unilateral rotating platform TKA consented to participate in this institutional review board approved study. Eight patients were randomly selected to receive ligament(More)
PURPOSE The purpose of this study was to assess whether intraoperative fluoroscopy assists in the restoration of the coronal limb alignment target in conventional total knee arthroplasty (TKA). METHODS One hundred and six patients undergoing conventional cemented TKA were randomly assigned to be operated on with or without intraoperative fluoroscopy. The(More)
a member of scientific staff at the Telematica Instituut since June 2000. Previously, he obtained a Ph.D. in the field of automatic speaker verification at the University of Nijmegen. At Telematica Instituut he has research experience in several projects in the field of electronic business, XML (eXtensible Markup Language) standardization, ASP (Application(More)
The 2 main null hypotheses of this study were: (1) the 4-year surgical trauma-related degeneration within the hip abductor muscles after a minimally invasive approach to total hip arthroplasty would be similar to that following a conventional approach; and (2) no differences in perioperative blood loss or postoperative hip pain would be observed between the(More)
The tracer 123I-SCH 23982 was tested with regard to its ability to image dopamine D1 receptor in the human brain in vivo with single photon emission computed tomography (SPECT). The tracer did not reach equilibrium with regard to its binding to dopamine D1 receptors, presumably owing to fast metabolism to hydrophilic products and deiodination. It is(More)
  • 1