Lutz Plümer Papers on DiSC'04 Exploiting 2D concepts to achieve consistency in 3D GIS applications Publications Note: Links lead to the DBLP on the Web. Lutz Plümer Gerhard Gröger , Lutz Plümer: Exploiting 2D concepts to achieve consistency in 3D GIS applications. GIS 2003 : 78-85 Matthias Backes , Lutz Plümer: On the Adequacy of GIS-Generated Weed Maps for Precision Farming. ScanGIS 2003 : 261-268 Ingo Petzold , Gerhard Gröger , Lutz Plümer: Network Planning using Geomorphology. ACM-GIS 2001 : 167-172 Thomas Kolbe , Lutz Plümer, Armin B. Cremers : Identifying Buildings in Aerial Images Using Constraint Relaxation and Variable Elimination. IEEE Intelligent Systems 15 (1): 33-39 (2000) Gerhard Gröger , Lutz Plümer: Provably Correct and Complete Transaction Rules for GIS. ACM-GIS 1997 : 40-43 Lutz Plümer, Gerhard Gröger : Achieving Integrity in Geographic Information Systems Maps and Nested Maps. GeoInformatica 1 (4): 345-367 (1997) Lutz Plümer, Gerhard Gröger : Nested Maps - A Formal, Provably Correct Object Model for Spatial Aggregates. ACM-GIS 1996 : 76-83 Lutz Plümer: Automatic Verification of Parallel Logic Programs: Termination. Logic Programming: Formal Methods and Practical Applications 1995 : 91-119 C. Braun , T. H. Kolbe , F. Lang , W. Schickler , Volker Steinhage , Armin B. Cremers , Wolfgang Förstner , Lutz Plümer: Models for photogrammetric building reconstruction. Computers & Graphics 19 (1): 109-118 (1995) Lutz Plümer: Automatic Verification of GHC-Programs: Termination. FGCS 1992 : 489-496 Armin B. Cremers , Günter Kniesel , Thomas Lemke , Lutz Plümer: Intelligent Databases and Interoperability. IEA/AIE 1992 : 15-24 Wolfram Burgard , Stefan Lüttringhaus-Kappel , Lutz Plümer: Knowledge-Based Design of Ergonomic Lighting for Underground Scenarios. IEA/AIE 1992 : 491-494 Gerhard Gröger , Lutz Plümer: Handling of Mutual Recursion in Automatic Termination Proofs for Logic Programs. JICSLP 1992 : 336-350 Lutz Plümer: Expert Systems in Mining. Logic Programming Summer School 1992 : 118-126 Annegret Baumewerd-Ahlmann , Armin B. Cremers , G. Krüger , J. Leonhardt , Lutz Plümer, Rainer Waschkowski : An Information System for the Mining Industry. DEXA 1991 : 86-91 Lutz Plümer: Automatic Termination Proofs for Prolog Programs Operating on Nonground Terms. ISLP 1991 : 503-517 Lutz Plümer: Termination Proofs for Logic Programs Springer 1990 Lutz Plümer: Termination Proofs for Logic Programs Based on Predicate Inequalities. ICLP 1990 : 634-648 Lutz Plümer: Predicate Inequalities as a Basis for Automated Termination Proofs for Prolog Programs. CSL 1988 : 254-271 Lutz Plümer: Und-Parallelismus und effizientes Backtracking von Prolog-Prozeduren. GI Jahrestagung (1) 1986 : 137-150 1 [ 19 ] 2 [ 6 ] 3 [ 12 ] 4 [ 9 ] 5 [ 6 ] [ 10 ] [ 12 ] [ 17 ] 6 [ 12 ] 7 [ 8 ] [ 14 ] [ 15 ] [ 16 ] [ 18 ] [ 20 ] 8 [ 10 ] 9 [ 12 ] 10 [ 17 ] 11 [ 6 ] 12 [ 12 ] 13 [ 10 ] 14 [ 6 ] 15 [ 9 ] 16 [ 18 ] 17 [ 12 ] 18 [ 12 ] 19 [ 6 ] ©2004 Association for Computing Machinery