| 1998 | ||
|---|---|---|
| 6 | Christian Lenz, Rainer Brokordt, Peter Barth: Verfahren zur Erkennung der Herzkontraktion anhand von MRT-Aufnahmen. DAGM-Symposium 1998: 455-462 | |
| 1995 | ||
| 5 | Peter Barth, Alexander Bockmayr: Finite Domain and Cutting Plane Techniques in CLP(PB). ICLP 1995: 133-147 | |
| 1994 | ||
| 4 | Peter Barth: Simplifying Clausal Satisfiability Problems. CCL 1994: 19-33 | |
| 3 | Peter Barth, Alexander Bockmayr: Global Consistency in CLP(PB). WLP 1994: 130-133 | |
| 1993 | ||
| 2 | Peter Barth: Linear 0-1 Inequalities and Extended Clauses. LPAR 1993: 40-51 | |
| 1992 | ||
| 1 | Peter Barth: CLP(PB), A Meta-Interpreter in CLP(R). PLILP 1992: 491-492 | |
| 1 | Alexander Bockmayr | [3] [5] |
| 2 | Rainer Brokordt | [6] |
| 3 | Christian Lenz | [6] |