| |
| 2005 | ||
|---|---|---|
| 8 | EE | Jens Knodel, Thomas Forster, Jean-Francois Girard: Comparing Design Alternatives from Field-Tested Systems to Support Product Line Architecture Design. CSMR 2005: 344-353 |
| 7 | EE | Jens Knodel, Michalis Anastasopolous, Thomas Forster, Dirk Muthig: An Efficient Migration to Model-driven Development (MDD). Electr. Notes Theor. Comput. Sci. 137(3): 17-27 (2005) |
| 2003 | ||
| 6 | Thomas Forster: ZF + 'Every set is the same size as a wellfounded set'. J. Symb. Log. 68(1): 1-4 (2003) | |
| 5 | EE | Thomas Forster: Better-quasi-orderings and coinduction. Theor. Comput. Sci. 309(1-3): 111-123 (2003) |
| 1994 | ||
| 4 | Thomas Forster: Weak Systems of Set Theory Related to HOL. TPHOLs 1994: 193-204 | |
| 3 | Thomas Forster: Letter: Why Set Theory Without Foundation? J. Log. Comput. 4(4): 333-335 (1994) | |
| 1993 | ||
| 2 | Thomas Forster: A Semantic Characterization of the Well-Typed Formulae of gamma-Calculus. Theor. Comput. Sci. 110(2): 405-418 (1993) | |
| 1991 | ||
| 1 | Thomas Forster, Richard Kaye: End-Extensions Preserving Power Set. J. Symb. Log. 56(1): 323-328 (1991) | |
| 1 | Michalis Anastasopolous | [7] |
| 2 | Jean-Francois Girard | [8] |
| 3 | Richard Kaye | [1] |
| 4 | Jens Knodel | [7] [8] |
| 5 | Dirk Muthig | [7] |