| |
| 2005 | ||
|---|---|---|
| 10 | EE | Jan Friso Groote, François Monin, Jan Springintveld: A computer checked algebraic verification of a distributed summation algorithm. Formal Asp. Comput. 17(1): 19-37 (2005) |
| 2001 | ||
| 9 | Jan Friso Groote, Jan Springintveld: Focus points and convergent process operators: a proof strategy for protocol verification. J. Log. Algebr. Program. 49(1-2): 31-60 (2001) | |
| 8 | EE | Jan Springintveld, Frits W. Vaandrager, Pedro R. D'Argenio: Testing timed automata. Theor. Comput. Sci. 254(1-2): 225-257 (2001) |
| 1998 | ||
| 7 | Judi Romijn, Jan Springintveld: Exploiting Symmetry in Protocol Testing. FORTE 1998: 337-352 | |
| 1996 | ||
| 6 | Jan Springintveld, Frits W. Vaandrager: Minimizable Timed Automata. FTRTFT 1996: 130-147 | |
| 5 | Marc Bezem, Jan Springintveld: A Simple Proof of the Undecidability of Inhabitation in lambdaP. J. Funct. Program. 6(5): 757-761 (1996) | |
| 1995 | ||
| 4 | Jan Springintveld: Third-Order Matching in the Polymorphic Lambda Calculus. HOA 1995: 221-237 | |
| 3 | Jan Springintveld: Third-Order Matching in the Presence of Type Constructors. TLCA 1995: 428-442 | |
| 1994 | ||
| 2 | Henri Korver, Jan Springintveld: A Computer-Checked Verification of Milner's Scheduler. TACS 1994: 161-178 | |
| 1993 | ||
| 1 | Jan Springintveld: Lower and Upper Bounds for Reductions of Types in Lambda-omega and Lambda-P. TLCA 1993: 391-405 | |
| 1 | Marc Bezem | [5] |
| 2 | Pedro R. D'Argenio | [8] |
| 3 | Jan Friso Groote | [9] [10] |
| 4 | Henri Korver | [2] |
| 5 | François Monin | [10] |
| 6 | Judi Romijn | [7] |
| 7 | Frits W. Vaandrager | [6] [8] |