The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Lutz Plümer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Lutz Plümer
    Termination Proofs for Logic Programs Based on Predicate Inequalities. [Citation Graph (1, 0)][DBLP]
    ICLP, 1990, pp:634-648 [Conf]
  2. Lutz Plümer
    Predicate Inequalities as a Basis for Automated Termination Proofs for Prolog Programs. [Citation Graph (0, 0)][DBLP]
    CSL, 1988, pp:254-271 [Conf]
  3. Annegret Baumewerd-Ahlmann, Armin B. Cremers, G. Krüger, J. Leonhardt, Lutz Plümer, Rainer Waschkowski
    An Information System for the Mining Industry. [Citation Graph (0, 0)][DBLP]
    DEXA, 1991, pp:86-91 [Conf]
  4. Lutz Plümer
    Automatic Verification of GHC-Programs: Termination. [Citation Graph (0, 0)][DBLP]
    FGCS, 1992, pp:489-496 [Conf]
  5. Lutz Plümer
    Und-Parallelismus und effizientes Backtracking von Prolog-Prozeduren. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (1), 1986, pp:137-150 [Conf]
  6. Matthias Backes, Daniel Schumacher, Lutz Plümer
    Wie präzise sind landwirtschaftliche Bonituren? [Citation Graph (0, 0)][DBLP]
    GIL Jahrestagung, 2004, pp:283-286 [Conf]
  7. Gregor Spickermann, Lutz Plümer
    Räumlichen Differenzierung von Prognosemodellen mit Geografischen Informationssystem. [Citation Graph (0, 0)][DBLP]
    GIL Jahrestagung, 2004, pp:335-338 [Conf]
  8. 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]
  9. 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]
  10. 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]
  11. Ingo Petzold, Gerhard Gröger, Lutz Plümer
    Network Planning using Geomorphology. [Citation Graph (0, 0)][DBLP]
    ACM-GIS, 2001, pp:167-172 [Conf]
  12. 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]
  13. Wolfram Burgard, Stefan Lüttringhaus-Kappel, Lutz Plümer
    Knowledge-Based Design of Ergonomic Lighting for Underground Scenarios. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 1992, pp:491-494 [Conf]
  14. Armin B. Cremers, Günter Kniesel, Thomas Lemke, Lutz Plümer
    Intelligent Databases and Interoperability. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 1992, pp:15-24 [Conf]
  15. Lutz Plümer
    Expert Systems in Mining. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:118-126 [Conf]
  16. Matthias Backes, Lutz Plümer
    On the Adequacy of GIS-Generated Weed Maps for Precision Farming. [Citation Graph (0, 0)][DBLP]
    ScanGIS, 2003, pp:261-268 [Conf]
  17. Lutz Plümer
    Automatic Termination Proofs for Prolog Programs Operating on Nonground Terms. [Citation Graph (0, 0)][DBLP]
    ISLP, 1991, pp:503-517 [Conf]
  18. 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. [Citation Graph (0, 0)][DBLP]
    Computers & Graphics, 1995, v:19, n:1, pp:109-118 [Journal]
  19. 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. [Citation Graph (0, 0)][DBLP]
    Computer Vision and Image Understanding, 1998, v:72, n:2, pp:185-203 [Journal]
  20. Thomas H. Kolbe, Lutz Plümer, Armin B. Cremers
    Identifying Buildings in Aerial Images Using Constraint Relaxation and Variable Elimination. [Citation Graph (0, 0)][DBLP]
    IEEE Intelligent Systems, 2000, v:15, n:1, pp:33-39 [Journal]
  21. 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]
  22. 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]

  23. Updating 3D city models: how to preserve geometric-topological consistency. [Citation Graph (, )][DBLP]


Search in 0.018secs, Finished in 0.020secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002