| 2008 |
|---|
| 17 | EE | Kentaro Yoshimura,
Thomas Forster,
Dirk Muthig,
Daniel Pech:
Model-Based Design of Product Line Components in the Automotive Domain.
SPLC 2008: 170-179 |
| 16 | EE | Thomas Forster,
Dirk Muthig,
Daniel Pech:
Understanding Decision Models – Visualization and Complexity Reduction of Software Variability.
VaMoS 2008: 111-119 |
| 15 | EE | Thomas Forster:
Sharvy's Lucy and Benjamin Puzzle.
Studia Logica 90(2): 249-256 (2008) |
| 2007 |
|---|
| 14 | EE | Thomas E. Forster,
J. K. Truss:
Ramsey's theorem and König's Lemma.
Arch. Math. Log. 46(1): 37-42 (2007) |
| 2005 |
|---|
| 13 | 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 |
| 12 | 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 |
|---|
| 11 | | Thomas Forster:
ZF + 'Every set is the same size as a wellfounded set'.
J. Symb. Log. 68(1): 1-4 (2003) |
| 10 | | Thomas E. Forster,
J. K. Truss:
Non-well-foundedness of well-orderable power sets.
J. Symb. Log. 68(3): 879-884 (2003) |
| 9 | EE | Thomas Forster:
Better-quasi-orderings and coinduction.
Theor. Comput. Sci. 309(1-3): 111-123 (2003) |
| 1996 |
|---|
| 8 | | Thomas E. Forster,
C. M. Rood:
Sethood and Situations.
Computational Linguistics 22(3): 405-408 (1996) |
| 1994 |
|---|
| 7 | | Thomas Forster:
Weak Systems of Set Theory Related to HOL.
TPHOLs 1994: 193-204 |
| 6 | | Thomas Forster:
Letter: Why Set Theory Without Foundation?
J. Log. Comput. 4(4): 333-335 (1994) |
| 1993 |
|---|
| 5 | | Thomas Forster:
A Semantic Characterization of the Well-Typed Formulae of gamma-Calculus.
Theor. Comput. Sci. 110(2): 405-418 (1993) |
| 1991 |
|---|
| 4 | | Thomas Forster,
Richard Kaye:
End-Extensions Preserving Power Set.
J. Symb. Log. 56(1): 323-328 (1991) |
| 1987 |
|---|
| 3 | | Thomas E. Forster:
Term Models for Weak Set Theories with a Universal Set.
J. Symb. Log. 52(2): 374-387 (1987) |
| 1985 |
|---|
| 2 | | Thomas E. Forster:
The Status of the Axiom of Choice in Set Theory with a Universal Set.
J. Symb. Log. 50(3): 701-707 (1985) |
| 1983 |
|---|
| 1 | | Thomas E. Forster:
Further Consistency and Independence Results in NF Obtained by the Permutation Method.
J. Symb. Log. 48(2): 236-238 (1983) |
