2007 | ||
---|---|---|
5 | EE | H. Dieter Rombach, Frank Seelisch: Formalisms in Software Engineering: Myths Versus Empirical Facts. CEE-SET 2007: 13-25 |
2004 | ||
4 | EE | Jakob Mauss, Frank Seelisch, Mugur M. Tatar: A constraint solver for model-based engineering. AI Commun. 17(2): 75-92 (2004) |
2002 | ||
3 | EE | Jakob Mauss, Frank Seelisch, Mugur M. Tatar: A Relational Constraint Solver for Model-Based Engineering. CP 2002: 696-701 |
2 | EE | Frank Seelisch: A Partially Solved Form for Heterogeneous Constraints in Disjunctive Normal Form. CP 2002: 780 |
2001 | ||
1 | EE | Frank Seelisch: Heterogeneous Constraint Problems. CP 2001: 783 |
1 | Jakob Mauss | [3] [4] |
2 | H. Dieter Rombach | [5] |
3 | Mugur M. Tatar | [3] [4] |