Biblio

Export 677 results:
Sort by: [ Author  (Asc)] Keyword Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
N
Neumann, K., and S. Eckstein, "Entwicklung eines geographischen Informationssystems zur Forsteinrichtung", Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe 1, no. 115, pp. 119-130, 1996. Abstract
Neumann, K., and R. Sudmann, "Automatische kartographische Visualisierung von ATKIS-Daten mit einfachen Mitteln", Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe 1, no. 117, pp. 59-69, 1997. Abstract
Neumann, K., "Struktur und Integritätsbedingungen bei der Abbildung von Umweltdaten", Proc1 Workshop Umweltdatenbanken: Metropolis, Marburg, pp. 259-275, 1994. Abstract
Neumann, K., and S. Eckstein, "Geography Markup Language (GML) - Eine Einführung aus Informatiksicht", Mitteilungen des Bundesamtes für Kartographie und Geodäsie, no. 24, pp. 103-111, 2003. Abstract  Download: NE03.pdf (91 KB)
Neumann, K., "Schnittstellen von Datenbanksystemen zu Programmiersprachen - Stand der Technik", Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe 1, no. 108, pp. 145-158, 1992. Abstract
Neumann, K., and S. Eckstein, "Towards Meta-Automating the German Real Estate Map", International Symposium on LandCover Logic: LNI, pp. 55-68, 2007. Abstract
Neumann, K., and R. Kappler, "Darstellung kartographischen Wissens durch Integritätsbedingungen eines semantischen Datenmodells", Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe 1, no. 110, pp. 99-109, 1993. Abstract
Neumann, K., B. Mathiak, and A. Kupfer, "Der Einsatz von GML, XSLT und SVG am Beispiel von ATKIS-DLM-Daten", Mitteilungen des Bundesamtes für Kartographie und Geodäsie, no. 31, pp. 97-107, 2004. Abstract  Download: NMK04.pdf (329.63 KB)
Neumann, K., and H. Koch, "Ein experimentelles Informationssystem für ATKIS-Daten", Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe 1, no. 113, pp. 179-190, 1995. Abstract
Neumann, K., "Erfahrungen mit einem geowissenschaftlichen/kartographischen Datenbank-Prototyp", Proc1 Workshop ``Wissensbasierte Systeme in den Geowissenschaften'', Berlin 1989: Arbeitsbereich Informationswissenschaften & Institut für Geologie, FU Berlin, pp. 73-91, 1990. Abstract
Neumann, K., and T. Mack, "Representing Geoobjects in Terms of a Semantic Data Model", Proc1 Automated Mapping/Facilities Management/GIS, European Conference VIII, Montreux, pp. 239-244, 1992. Abstract
Neumann, K., "Realisierbare Integritätsbedingungen in Datenbanken: Ein aktuelles Beispiel", Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe 1, no. 111, pp. 111-121, 1994. Abstract
Neumann, K., A. Kupfer, and B. Mathiak, "Umsetzung des Signaturenkataloges SK25 bei der XML-basierten Erzeugung kartenähnlicher Graphiken", Mitteilungen des Bundesamtes für Kartographie und Geodäsie, no. 34, pp. 107-118, 2005. Abstract  Download: NKM05.pdf (189.94 KB)
Nieke, C., M. Lassnig, L. Menichetti, E. Motesnitsalis, and D. Duellmann, "Analysis of CERN computing infrastructure and monitoring data", 21st International Conference on Computing in High Energy and Nuclear Physics (CHEP2015), Okinawa, Japan, 02/2016, 2015. Abstract
Nieke, C., and W. - T. Balke, "Monitoring Performance in Large Scale Computing Clouds with Passive Benchmarking", 10th IEEE International Conference on Cloud Computing CLOUD2017, Honolulu, Hawaii, USA, 06/2017. Abstract  Download: 2017_CLOUD_PassiveBenchmark_Nieke_camera_ready.pdf (1.4 MB)
Nieke, C., U. Güntzer, and W. - T. Balke, "TopCrowd – Efficient Crowd-enabled Top-k Retrieval on Incomplete Data", 33rd Int. Conf. on Conceptual Modeling (ER), Atlanta, GA, USA, 10/2014. Abstract  Download: 2014_ER_TopCrowd.pdf (563.87 KB)
Nieke, C., and D. Duellmann, "First results from a combined analysis of CERN computing infrastructure metrics", 22nd International Conference on Computing in High Energy and Nuclear Physics CHEP2016, San Francisco, USA, 10/2016. Abstract
O
P
Papapetrou, O., W. Siberski, W. - T. Balke, and W. Nejdl, "DHTs over Peer Clusters for Distributed Information Retrieval", 21st IEEE International Conference on Advanced Information Networking and Applications (AINA), Niagara Falls, Canada, 2007. Abstract  Download: aina07.pdf (348.04 KB)
Pinger, R., and H. - D. Ehrich, "Compositional Checking of Communication among Observers", Fundamental Approaches to Software Engineering (FASE), Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2001), Genova, vol. LNCS 2029: Springer, pp. 32-44, 2001. Abstract  Download: 2001FASE.pdf (171.57 KB)
Pinger, R., "Ein Ansatz zur Verifikation mehrerer Agenten durch Model Checking", 11. Workshop Grundlagen von Datenbanken, Luisenthal, 25.- 28. Mai 1999: Jenaer Schriften zur Mathematik und Informatik, Math/Inf/99/16, Friedrich-Schiller-Universität Jena, pp. 82-86, 1999. Abstract
Pinger, R., "Verifikation globaler Prüfbedingungen in \sc OmTroll Verhaltensdiagrammen", Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme: Bericht 24/00 - I, Universität Münster, pp. 70-77, November, 2000. Abstract
Pinger, R., "Verifikation von Informationssystemen durch Model Checking", 10. Workshop Grundlagen von Datenbanken, Konstanz, June 2-5 1998: Konstanzer Schriften in Mathematik und Informatik Nr. 63, Univ. Konstanz, pp. 99-103, 1998. Abstract
Pinto, J. M. G., and W. - T. Balke, "Offering Answers for Claim-Based Queries: A New Challenge for Digital Libraries", The 19th International Conference on Asia-Pacific Digital Libraries (ICADL 2017) , Bangkok, Thailand, 2017. Abstract  Download: cbq.pdf (661.53 KB)