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