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) |