Search the dblp DataBase

Publications of Author

1. Peter Barth
   Simplifying Clausal Satisfiability Problems. [Citation Graph (0, 0)][DBLP]
   CCL, 1994, pp:19-33 [Conf]
   
2. Christian Lenz, Rainer Brokordt, Peter Barth
   Verfahren zur Erkennung der Herzkontraktion anhand von MRT-Aufnahmen. [Citation Graph (0, 0)][DBLP]
   DAGM-Symposium, 1998, pp:455-462 [Conf]
   
3. Peter Barth, Alexander Bockmayr
   Finite Domain and Cutting Plane Techniques in CLP(PB). [Citation Graph (0, 0)][DBLP]
   ICLP, 1995, pp:133-147 [Conf]
   
4. Peter Barth
   Linear 0-1 Inequalities and Extended Clauses. [Citation Graph (0, 0)][DBLP]
   LPAR, 1993, pp:40-51 [Conf]
   
5. Peter Barth
   CLP(PB), A Meta-Interpreter in CLP(R). [Citation Graph (0, 0)][DBLP]
   PLILP, 1992, pp:491-492 [Conf]
   
6. Peter Barth, Alexander Bockmayr
   Global Consistency in CLP(PB). [Citation Graph (0, 0)][DBLP]
   WLP, 1994, pp:130-133 [Conf]
   
7. 
   An Optical Pen Tracking System as Alternative Pointing Device. [Citation Graph (, )][DBLP]
   
   
8. 
   Gestenerkennung für Multitouch-Anwendungen in UI-Frameworks. [Citation Graph (, )][DBLP]
   
   
9. 
   Interactive high definition 3D face rendering on common mobile devices. [Citation Graph (, )][DBLP]