Search the dblp DataBase

Publications of Author

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