Biblio

Export 684 results:
Sort by: Author Keyword [ Title  (Asc)] 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 
Ü
U
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)
Balke, W. - T., "University Libraries - between Service Providers and Research Institutions", 36th Annual Conference of the International Association of Technological University Libraries (IATUL), Hannover, Germany, 07/2015. Abstract  Download: IATUL - paper - Balke.pdf (366.67 KB)
Balke, W. - T., "Untersuchungen zur bildinhaltlichen Datenbank - Recherche in einer Wappensammlung anhand des IBM Ultimedia Managers", Institut für Informatik, vol. Master, Augsburg, Germany, Universität Augsburg, 1997. Abstract  Download: balke97.pdf (3.23 MB)
Kramer, M., G. Lausen, and G. Saake, "Updates in a Rule-Based Language for Objects", Proc1 18th Int1 Conf1 on Very Large Databases, Vancouver, pp. 251--262, 1992. Abstract
Kramer, M., G. Lausen, and G. Saake, "Updates in a Rule-Based Language for Objects (Extended Abstract)", Proc1 4th International Workshop on Modelling Database Dynamics, Volkse, Oct1 1992: Informatik-Bericht 90/3, TU Clausthal, pp. 125-142, 1992. Abstract
Balke, W. - T., C. Lofi, and U. Güntzer, "User Interaction Support for Incremental Refinement of Preference-Based Queries", 1st IEEE International Conference on Research Challenges in Information Science (RCIS), Ouarzazate, Morocco, 04/2007. Abstract  Download: Fulltext-PDF (643.83 KB)
Tönnies, S., and W. - T. Balke, "User-centered Content Provisioning over Large Collections of eBooks", 2nd Workshop on Research Advances in Large Digital Book Collections , Corfu, Greece, Springer, 2009. Abstract  Download: books-online09.pdf (408.06 KB)
Küster Filipe, J., "Using a Modular Distributed Temporal Logic for In-the-large Object Specification", Proc. of the First International Workshop on Component-based Software Development in Computational Logic (COCL'98), Pisa, Italy, September 19, pp. 43-57, 1998. Abstract
Jungclaus, R., G. Saake, and C. Sernadas, "Using Active Objects for Query Processing", Object-Oriented Databases: Analysis, Design and Construction (Proc1 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK), 1990): North-Holland, pp. 285-304, 1991. Abstract
Saake, G., and U. W. Lipeck, "Using Finite-Linear Temporal Logic for Specifying Database Dynamics", Proc1 CSL'88 2nd Workshop Computer Science Logic: Springer, Berlin, pp. 288-300, 1989. Abstract
Köhncke, B., and W. - T. Balke, "Using Wikipedia Categories for Compact Representations of Chemical Documents", 19th ACM International Conference on Information and Knowledge Management (CIKM), Toronto, Canada, 10/2010. Abstract  Download: cikm2010.pdf (296.61 KB)
Mathiak, B., A. Kupfer, and K. Neumann, "Using XML Languages for Modeling and Web-Visualization of Geographical Legacy Data", VI Brazilian Symposium on GeoInformatics: GeoInfo 2004: Instituto Nacional de Pesquisas Espaciais, pp. 265-280, 2004. Abstract
V
Grau, A., "Validating Object-Oriented Specifications through Animation", 9. Workshop Grundlagen von Datenbanke1 , Königslutter, Mai 20-23 1997: Forschungsbericht Nr. 643, Fachbereich Informatik, Univ. Dortmund, pp. 26-30, 1997. Abstract
Grau, A., and M. Kowsari, "A Validation System for Object-Oriented Specifications of Information Systems", Proc. of the First East-European Symposium on Advances in Databases and Information Systems (ADBIS'97) St. Petersburg: eWiC, Springer, 1997. Abstract
Denker, G., "Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen", GI Dissertationspreise, Ausgezeichnete Informatikdissertationen 1996: Teubner, pp. 9-28, 1998. 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
Saake, G., and R. Jungclaus, "Views and Formal Implementation in a Three-Level Schema Architecture for Dynamic Objects", Advanced Database System1 : Proc1 10th British National Conference on Databases (BNCO1 10), July 6-8, 1992, Aberdeen (Scotland): Springer, LNCS 618, Berlin, pp. 78-95, 1992. Abstract
Tauscher, S., and K. Neumann, "Visualisierung personalisierter Streckenpläne", Kartographische Nachrichten, vol. 2013, no. 2/3, pp. 94-96, 2013.
Hartmann, T., "Vom konzeptionellen Modell zur Implementierung: Transformation des \tt TROLL Data-Dictionary", Kurzfassungen des 41 GI-Workshops ``Grundlagen von Datenbanken'', Barsinghausen, 9.-121 Juni 1992: ECRC, München, technical report ECRC-92-13, pp. 56-60, 1992. Abstract
W
Tönnies, S., "Werkzeugunterstützter Einsatz von XP-Techniken in der Programmierausbildung", Institut für verteilte Systeme - Fachgebiet wissensbasierte Systeme , vol. B.Sc., Hannover, Universität Hannover, 2003.
Barthel, S., S. Tönnies, B. Köhncke, P. Siehndel, and W. - T. Balke, "What does Twitter Measure? Influence of Diverse User Groups in Altmetrics", ACM/IEEE Joint Conference on Digital Libraries (JCDL), Knoxville, TN, USA, 06/2015. Abstract  Download: JCDL2015_camera-ready.pdf (458.62 KB)