Search the dblp DataBase

Publications of Author

1. Gerhard Gröger, Lutz Plümer
   Exploiting 2D concepts to achieve consistency in 3D GIS applications. [Citation Graph (0, 0)][DBLP]
   GIS, 2003, pp:78-85 [Conf]
   
2. Gerhard Gröger, Lutz Plümer
   Provably Correct and Complete Transaction Rules for GIS. [Citation Graph (0, 0)][DBLP]
   ACM-GIS, 1997, pp:40-43 [Conf]
   
3. Lutz Plümer, Gerhard Gröger
   Nested Maps - A Formal, Provably Correct Object Model for Spatial Aggregates. [Citation Graph (0, 0)][DBLP]
   ACM-GIS, 1996, pp:76-83 [Conf]
   
4. Ingo Petzold, Gerhard Gröger, Lutz Plümer
   Network Planning using Geomorphology. [Citation Graph (0, 0)][DBLP]
   ACM-GIS, 2001, pp:167-172 [Conf]
   
5. Gerhard Gröger, Lutz Plümer
   Handling of Mutual Recursion in Automatic Termination Proofs for Logic Programs. [Citation Graph (0, 0)][DBLP]
   JICSLP, 1992, pp:336-350 [Conf]
   
6. Gerhard Gröger
   Herleitung schärferer Ungleichungen für Terminierungsbeweise logischer Programme. [Citation Graph (0, 0)][DBLP]
   WLP, 1993, pp:36-41 [Conf]
   
7. Lutz Plümer, Gerhard Gröger
   Achieving Integrity in Geographic Information Systems Maps and Nested Maps. [Citation Graph (0, 0)][DBLP]
   GeoInformatica, 1997, v:1, n:4, pp:345-367 [Journal]
   
8. Gerhard Gröger, Lutz Plümer
   How to Get 3-D for the Price of 2-D-Topology and Consistency of 3-D Urban GIS. [Citation Graph (0, 0)][DBLP]
   GeoInformatica, 2005, v:9, n:2, pp:139-158 [Journal]
   
9. 
   Updating 3D city models: how to preserve geometric-topological consistency. [Citation Graph (, )][DBLP]