Jan Willem

Abstract In the framework of a study for the European Commission on ‘Measuring Capacity in Fishing Industries using the Data Envelopment Analysis (2008)

Jan Willem, De Wilde

A geometric proof of con uence by decreasing diagrams (2007)

Jan Willem, Klop Vincent, Oostrom Roel Vrijer

The criterion for con uence using decreasing diagrams is a generalization of several well-known con uence criteria in abstract rewriting, such as the strong con uence lemma. We give a new proof of...

A Geometric Proof of Confluence by Decreasing Diagrams (2007)

Jan Willem, Klop Vincent, Oostrom Roel Vrijer

The criterion for confluence using decreasing diagrams is a generalization of several well-known confluence criteria in abstract rewriting, such as the strong confluence lemma. We give a new proof of...

institute for logic, language and computation (2007)

Jan Willem, Cornelis Koorn

Generating uniform user-interfaces for interactive programming environments

Reflections on a Geometry of Processes (2005)

Clemens Grabmayer, Jan Willem, Klop Bas Luttik

In this note we discuss some issues concerning a geometric approach to process algebra. We mainly raise questions and are not yet able to present significant answers. 1 Periodic Processes Our point...

Project: Distributed Control and Stochastic Analysis of Hybrid Systems Supporting Safety Critical Real-Time Systems Design (HYBRIDGE) DOCUMENT CHANGE LOG (2005)

Stefan Strubbe, Jan Willem Polderman, Agung Julius, Strubbe Utwente, Jan Willem, ...

Version: 1.0

Evaluation of capture ELISA for detection of antineutrophil cytoplasmic antibodies directed against proteinase 3 in Wegener's granulomatosis: first results from a multicentre study (2004)

Csernok, Elena, Holle, Julia, Hellmich, Bernhard, Willem, Jan, Tervaert, Cohen, Kallenberg, Cees G. M., ...

Objective: To evaluate the performance characteristics of direct and capture ELISA for the detection of PR3-ANCA in Wegener's granulomatosis (WG) in international ANCA reference laboratories....

Evaluation of capture ELISA for detection of antineutrophil cytoplasmic antibodies directed against proteinase 3 in Wegener's granulomatosis: first results from a multicentre study (2003)

Csernok, Elena, Holle, Julia, Hellmich, Bernhard, Willem, Jan, Tervaert, Cohen, Kallenberg, Cees G. M., ...

Objective: To evaluate the performance characteristics of direct and capture ELISA for the detection of PR3-ANCA in Wegener’s granulomatosis (WG) in international ANCA reference laboratories....

Evaluation of capture ELISA for detection of antineutrophil cytoplasmic antibodies directed against proteinase 3 in Wegener's granulomatosis: first results from a multicentre study (2003)

Csernok, Elena, Holle, Julia, Hellmich, Bernhard, Willem, Jan, Tervaert, Cohen, Kallenberg, Cees G. M., ...

Objective: To evaluate the performance characteristics of direct and capture ELISA for the detection of PR3-ANCA in Wegener’s granulomatosis (WG) in international ANCA reference laboratories....

A Geometric Proof of Con uence by Decreasing Diagrams (2000)

J. W. Klop, V. Van Oostrom, R. De Vrijer, Issn -x, Jan Willem, Klop Vincent, ...

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of