Jan Springintveld

	2005
10		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		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

Coauthor Index

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]