Biblio

Export 676 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., "Struktur und Integritätsbedingungen bei der Abbildung von Umweltdaten", Proc1 Workshop Umweltdatenbanken: Metropolis, Marburg, pp. 259-275, 1994. Abstract
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., 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)
Neumann, K., "Embedded SQL und Dynamic SQL", Datenbankmanagement: WEKA-Verlag, pp. 9/6.1-6.2.2, 1993. Abstract
Neumann, K., A. Kupfer, and F. Panse, "Generierung von Gebäude-Präsentationsobjekten für NAS-Bestandsdatenauszüge", Mitteilungen des Bundesamtes für Kartographie und Geodäsie, vol. 41, pp. 83-92, 2008. Abstract  Download: NKP08.pdf (306.54 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., "Funktionales Programmieren mit Polygonen", Mitteilungen des Bundesamtes für Kartographie und Geodäsie, no. 22, pp. 125-136, 2002. Abstract  Download: Ne02.pdf (138.38 KB)
Neumann, K., A. Koschel, and W. Porscha, "Migration von Datenbanken - Eine Fallstudie", Proc1 Wirtschaftsinformatik (WI93), Münster: Physica, Heidelberg, pp. 243-255, 1993. Abstract
Neumann, K., "Auf dem Weg zu korrekten Daten - Ein Kompromiß für Anwender", Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe 1, no. 118, pp. 77-96, 1998. Abstract
Neumann, K., Datenbank-Technik für Anwender, , no. 32: Technische Universität Braunschweig, 1993. Abstract
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
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., "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
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)
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)