2002 |
9 | | Michel A. Reniers,
Jan Friso Groote,
Mark van der Zwaag,
Jos van Wamel:
Completeness of Timed mCRL.
Fundam. Inform. 50(3-4): 361-402 (2002) |
8 | | Loe M. G. Feijs,
Frans A. C. Meijs,
Jean R. Moonen,
Jos van Wamel:
Automatic generation of MPEG test streams from high-level grammars.
Information & Software Technology 44(12): 671-682 (2002) |
2001 |
7 | | Jan Friso Groote,
Jos van Wamel:
Analysis of three hybrid systems in timed µCRL.
Sci. Comput. Program. 39(2-3): 215-247 (2001) |
6 | EE | Jan Friso Groote,
Jos van Wamel:
The parallel composition of uniform processes with data.
Theor. Comput. Sci. 266(1-2): 631-652 (2001) |
1999 |
5 | EE | Sebastiaan van Vlijmen,
Jos van Wamel:
A Semantic Approach to Protocold.
Electr. Notes Theor. Comput. Sci. 21: (1999) |
1998 |
4 | | Loe M. G. Feijs,
Frans A. C. Meijs,
Jean R. Moonen,
Jos van Wamel:
Conformance Testing of a Multimedia System Using PHACT.
IWTCS 1998: 193-210 |
3 | EE | Jan Friso Groote,
Bas Luttik,
Jos van Wamel:
Editorial.
Formal Asp. Comput. 10(5-6): 435 (1998) |
1997 |
2 | EE | Jos van Wamel:
Process Algebra with Language Matching.
Theor. Comput. Sci. 177(2): 425-458 (1997) |
1993 |
1 | | Jan A. Bergstra,
Alban Ponse,
Jos van Wamel:
Process Algebra with Backtracking.
REX School/Symposium 1993: 46-91 |