| 2005 |
|---|
| 8 | EE | 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.
GeoInformatica 9(2): 139-158 (2005) |
| 2003 |
|---|
| 7 | EE | Gerhard Gröger,
Lutz Plümer:
Exploiting 2D concepts to achieve consistency in 3D GIS applications.
GIS 2003: 78-85 |
| 2001 |
|---|
| 6 | | Ingo Petzold,
Gerhard Gröger,
Lutz Plümer:
Network Planning using Geomorphology.
ACM-GIS 2001: 167-172 |
| 1997 |
|---|
| 5 | EE | Gerhard Gröger,
Lutz Plümer:
Provably Correct and Complete Transaction Rules for GIS.
ACM-GIS 1997: 40-43 |
| 4 | | Lutz Plümer,
Gerhard Gröger:
Achieving Integrity in Geographic Information Systems Maps and Nested Maps.
GeoInformatica 1(4): 345-367 (1997) |
| 1996 |
|---|
| 3 | EE | Lutz Plümer,
Gerhard Gröger:
Nested Maps - A Formal, Provably Correct Object Model for Spatial Aggregates.
ACM-GIS 1996: 76-83 |
| 1993 |
|---|
| 2 | | Gerhard Gröger:
Herleitung schärferer Ungleichungen für Terminierungsbeweise logischer Programme.
WLP 1993: 36-41 |
| 1992 |
|---|
| 1 | | Gerhard Gröger,
Lutz Plümer:
Handling of Mutual Recursion in Automatic Termination Proofs for Logic Programs.
JICSLP 1992: 336-350 |
