PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Gröger, Gerhard"

Author of the publication

copydeleteadd this publication to your clipboard
Nested Maps - A Formal, Provably Correct Object Model for Spatial Aggregates.

, and . ACM-GIS, page 76-83. ACM, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alexander Gröger University of Stuttgart

Dr. -Ing. Christoph Gröger University of Stuttgart

Pascal Gröger University of Stuttgart

Univ. -Prof. Dr. Gerhard Busse University of Stuttgart

Prof. Dr. -Ing. Gerhard Egbers University of Stuttgart

 

Other publications of authors with the same name

How to Get 3-D for the Price of 2-D-Topology and Consistency of 3-D Urban GIS., and . GeoInformatica, 9 (2): 139-158 (2005)Nested Maps - A Formal, Provably Correct Object Model for Spatial Aggregates., and . ACM-GIS, page 76-83. ACM, (1996)How to achieve consistency for 3D city models., and . GeoInformatica, 15 (1): 137-165 (2011)New Concepts for Structuring 3D City Models - An Extended Level of Detail Concept for CityGML Buildings., , , and . ICCSA (3), volume 7973 of Lecture Notes in Computer Science, page 466-480. Springer, (2013)Updating 3D city models: how to preserve geometric-topological consistency., and . GIS, page 532-535. ACM, (2009)Handling of Mutual Recursion in Automatic Termination Proofs for Logic Programs., and . JICSLP, page 336-350. MIT Press, (1992)Provably correct and complete transaction rules for updating 3D city models., and . GeoInformatica, 16 (1): 131-164 (2012)Achieving Integrity in Geographic Information Systems Maps and Nested Maps., and . GeoInformatica, 1 (4): 345-367 (1997)Identification and Modelling of Translational and Axial Symmetries and their Hierarchical Structures in Building Footprints by Formal Grammars., , and . Trans. GIS, 20 (5): 645-663 (2016)Herleitung schärferer Ungleichungen für Terminierungsbeweise logischer Programme.. WLP, page 36-41. (1993)