Tim Priesnitz

	2005
5		Joachim Niehren, Tim Priesnitz, Zhendong Su: Complexity of Subtype Satisfiability over Posets. ESOP 2005: 357-373
	2003
4		Joachim Niehren, Tim Priesnitz: Non-structural subtype entailment in automata theory. Inf. Comput. 186(2): 319-354 (2003)
	2002
3		Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen: The first-order theory of subtyping constraints. POPL 2002: 203-216
	2001
2		Joachim Niehren, Tim Priesnitz: Non-structural Subtype Entailment in Automata Theory. TACS 2001: 360-384
	1999
1		Joachim Niehren, Tim Priesnitz: Entailment of Non-structural Subtype Constraints. ASIAN 1999: 251-265

Coauthor Index

1	Alexander Aiken (Alex Aiken)	[3]
2	Joachim Niehren	[1] [2] [3] [4] [5]
3	Zhendong Su	[3] [5]
4	Ralf Treinen	[3]