Lutz Plümer

	2009
26		Gerhard Gröger, Lutz Plümer: Updating 3D city models: how to preserve geometric-topological consistency. GIS 2009: 532-535
25		Jörg Schmittwilken, Michael Ying Yang, Wolfgang Förstner, Lutz Plümer: Integration of conditional random fields and attribute grammars for range data interpretation of man-made objects. Annals of GIS 15(2): 117-126 (2009)
	2005
24		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)
	2004
23		Matthias Backes, Daniel Schumacher, Lutz Plümer: Wie präzise sind landwirtschaftliche Bonituren? GIL Jahrestagung 2004: 283-286
22		Gregor Spickermann, Lutz Plümer: Räumlichen Differenzierung von Prognosemodellen mit Geografischen Informationssystem. GIL Jahrestagung 2004: 335-338
	2003
21		Gerhard Gröger, Lutz Plümer: Exploiting 2D concepts to achieve consistency in 3D GIS applications. GIS 2003: 78-85
20		Matthias Backes, Lutz Plümer: On the Adequacy of GIS-Generated Weed Maps for Precision Farming. ScanGIS 2003: 261-268
	2001
19		Ingo Petzold, Gerhard Gröger, Lutz Plümer: Network Planning using Geomorphology. ACM-GIS 2001: 167-172
	2000
18		Thomas H. 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)
	1998
17		André Fischer, Thomas H. Kolbe, Felicitas Lang, Armin B. Cremers, Wolfgang Förstner, Lutz Plümer, Volker Steinhage: Extracting Buildings from Aerial Images Using Hierarchical Aggregation in 2D and 3D. Computer Vision and Image Understanding 72(2): 185-203 (1998)
	1997
16		Gerhard Gröger, Lutz Plümer: Provably Correct and Complete Transaction Rules for GIS. ACM-GIS 1997: 40-43
15		Lutz Plümer, Gerhard Gröger: Achieving Integrity in Geographic Information Systems Maps and Nested Maps. GeoInformatica 1(4): 345-367 (1997)
	1996
14		Lutz Plümer, Gerhard Gröger: Nested Maps - A Formal, Provably Correct Object Model for Spatial Aggregates. ACM-GIS 1996: 76-83
	1995
13		Lutz Plümer: Automatic Verification of Parallel Logic Programs: Termination. Logic Programming: Formal Methods and Practical Applications 1995: 91-119
12		Claudia Braun, Thomas H. Kolbe, Felicitas Lang, Wolfgang Schickler, Volker Steinhage, Armin B. Cremers, Wolfgang Förstner, Lutz Plümer: Models for photogrammetric building reconstruction. Computers & Graphics 19(1): 109-118 (1995)
	1992
11		Lutz Plümer: Automatic Verification of GHC-Programs: Termination. FGCS 1992: 489-496
10		Armin B. Cremers, Günter Kniesel, Thomas Lemke, Lutz Plümer: Intelligent Databases and Interoperability. IEA/AIE 1992: 15-24
9		Wolfram Burgard, Stefan Lüttringhaus-Kappel, Lutz Plümer: Knowledge-Based Design of Ergonomic Lighting for Underground Scenarios. IEA/AIE 1992: 491-494
8		Gerhard Gröger, Lutz Plümer: Handling of Mutual Recursion in Automatic Termination Proofs for Logic Programs. JICSLP 1992: 336-350
7		Lutz Plümer: Expert Systems in Mining. Logic Programming Summer School 1992: 118-126
	1991
6		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
5		Lutz Plümer: Automatic Termination Proofs for Prolog Programs Operating on Nonground Terms. ISLP 1991: 503-517
	1990
4		Lutz Plümer: Termination Proofs for Logic Programs Springer 1990
3		Lutz Plümer: Termination Proofs for Logic Programs Based on Predicate Inequalities. ICLP 1990: 634-648
	1988
2		Lutz Plümer: Predicate Inequalities as a Basis for Automated Termination Proofs for Prolog Programs. CSL 1988: 254-271
	1986
1		Lutz Plümer: Und-Parallelismus und effizientes Backtracking von Prolog-Prozeduren. GI Jahrestagung (1) 1986: 137-150

Coauthor Index

1	Matthias Backes	[20] [23]
2	Annegret Baumewerd-Ahlmann	[6]
3	Claudia Braun	[12]
4	Wolfram Burgard	[9]
5	Armin B. Cremers	[6] [10] [12] [17] [18]
6	André Fischer	[17]
7	Wolfgang Förstner	[12] [17] [25]
8	Gerhard Gröger	[8] [14] [15] [16] [19] [21] [24] [26]
9	Günter Kniesel	[10]
10	Thomas H. Kolbe	[12] [17] [18]
11	G. Krüger	[6]
12	Felicitas Lang	[12] [17]
13	Thomas Lemke	[10]
14	J. Leonhardt	[6]
15	Stefan Lüttringhaus-Kappel (Stefan Kappel)	[9]
16	Ingo Petzold	[19]
17	Wolfgang Schickler	[12]
18	Jörg Schmittwilken	[25]
19	Daniel Schumacher	[23]
20	Gregor Spickermann	[22]
21	Volker Steinhage	[12] [17]
22	Rainer Waschkowski	[6]
23	Michael Ying Yang	[25]

Colors in the list of coauthors