Home › Biblio

Biblio

Export 565 results:
Sort by: Author Keyword Title [ Type (Asc)] Year
Artwork
Grau, A., Computer-Aided Validation of Formal Conceptual Models, : Technical University Braunschweig, Germany, March, 2001. Abstract
Hohenstein, U., Ein Kalkül für ein erweitertes Entity-Relationship-Modell und seine Übersetzung in einen relationalen Kalkül, : Technische Universität Braunschweig, 1990. Abstract
Lohmann, F., Einbettung einer geowissenschaftlichen Datenbanksprache in eine höhere Programmiersprache, : Technische Universität Braunschweig, 1990. Abstract
Löhr-Richter, P., Generische Methoden für die frühen Entwurfsphasen von Informationssystemen, : Technische Universität Braunschweig, 1993. Abstract
Ahlbrecht, P., Impact of Mobility on Information Systems and Information System Design, : Technical University Braunschweig, 2004. Abstract
Pinger, R., Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking, : Technical University Braunschweig, Germany, February, 2002. Abstract
Kowsari, M., On the Development and Use of a Formal Object Oriented Methodology Based on an Application Case Study, : Technical University Braunschweig, Germany, January, 2003. Abstract
Saake, G., Spezifikation, Semantik und Überwachung von Objektlebensläufen in Datenbanken, : Technische Universität Braunschweig, 1988. Abstract
Drosten, K., Über Erweiterungen in Termersetzungssystemen und deren Anwendung zur Prototyp-Generierung algebraischer Spezifikationen, : Technische Universität Braunschweig, 1988. Abstract
Gogolla, M., Über partiell geordnete Sortenmengen und deren Anwendung zur Fehlerbehandlung in abstrakten Datentypen, : Technische Universität Braunschweig, 1986. Abstract
Book
Ehrich, H. - D., K. Alber, G. Stiege, R. Vollmar, and D. Wätjen, "40 Jahre Informatik an der Technischen Universität Braunschweig 1972-2012", Lecture Notes in Informatics, vol. T-6, Bonn, Gesellschaft für Informatik, pp. 188, 2012.
Neumann, K., Datenbanktechnik für Anwender, : Hanser, München, 1996. Abstract
Goltz, U., M. Magnor, H. - J. Appelrath, H. Matthies, W. - T. Balke, and L. Wolf, "INFORMATIK 2012", Lecture Notes in Informatics, vol. 208: Gesellschaft für Informik e.V., 2012.
Eckstein, S., Informationsmanagement in der Systembiologie. Datenbanken, Integration, Modellierung, , Berlin, Heidelberg, Springer, pp. 268, 2011.
Balke, W. - T., and K. Nahrstedt, "Proceedings of the 1st ACM Workshop on Multimedia Service Composition (MSC 2005)", in Conjunction with ACM Multimedia 2005, Singapore: ACM, 2005.  Download: msc05-pro.pdf (3.06 MB)
Eckstein, R., and S. Eckstein, XML und Datenmodellierung. XML-Schema und RDF zur Modellierung von Daten und Metadaten einsetzen, : dpunkt.verlag, 2004. Abstract
Book Chapter
Ehrich, H. - D., "Abstract Data Types", The Concise Handbook of Algebra: Kluwer Academic Publishers, pp. 486-490, 2002. Abstract
Loeckx, J., H. - D. Ehrich, and M. Wolf, "Algebraic specification of abstract data types", Handbook of Logic in Computer Science, Volume 5: Oxford Science Publications, pp. 217-316, 2000. Abstract
Ehrich, H. - D., F. Lohmann, K. Neumann, and I. Ramm, "A Database Language for Scientific Map Data", Construction and Display of Geosientific Maps Derived from Databases (Proc. Int. Coll. Dinkelsbühl 1986): Geologisches Jahrbuch A 104, pp. 139-152, 1988. Abstract
Ehrich, H. - D., C. Caleiro, A. Sernadas, and G. Denker, "Logics for Specifying Concurrent Information Systems", Logics for Databases and Information Systems: Kluwer Academic Publishers, pp. 167-198, 1998. Abstract
Saake, G., and R. Jungclaus, "Models and Languages for Abstract Objects", Encyclopedia of Microcomputers, vol. 11: Marcel Dekker, Inc., pp. 173-187, 1993. Abstract
Saake, G., and R. Jungclaus, "Models and Languages for Abstract Objects", Encyclopedia of Computer Science and Technology, vol. 30: Marcel Dekker, Inc., pp. 241-255, 1994. Abstract
Köhncke, B., and W. - T. Balke, "MPEG-7/21: Structured Metadata for Handling and Personalizing Multimedia Content", The Handbook of MPEG Applications: Standards in Practice: Wiley, 2010.  Download: koehncke_MPEG-721.pdf (1.47 MB)
Ehrich, H. - D., "Object Specification", Algebraic Foundations of Systems Specification: Springer, pp. 435-465, 1999. Abstract
Crnkovic, I., J. Küster Filipe, M. Larsson, and K. - K. Lau, "Object-Oriented Design Frameworks: Formal Specification and Some Implementation Issues", Data Bases and Information Systems: Fourth International Baltic Workshop on DB and IS (Selected Papers): Kluwer Academic Publishers, 2000. Abstract
Lofi, C., and W. - T. Balke, "On Skyline Queries and how to Choose from Pareto Sets", Advanced Query Processing, vol. 36: Springer, pp. 15–36., 2012. Abstract  Download: printversion.pdf (415.01 KB)
Balke, W. - T., "Supporting Information Retrieval in Peer-to-Peer Systems", Peer-to-Peer Systems and Applications, R. Steinmetz, K. Wehrle (eds.): Springer , 2005.  Download: p2p05.pdf (423.45 KB)
Ehrich, H. - D., "Überprüfung von Softwareskizzen und -entwürfen", Jahrbuch 2000 der Braunschweigischen Wissenschaftlichen Gesellschaft: J1 Cramer Verlag, pp. 69-72, 2001. Abstract
Mathiak, B., A. Kupfer, S. Eckstein, D. A. Zighed, S. Tsumoto, Z. W. Ras, and H. Hacid, "Using Layout Data for the Analysis of Scientific Literature", Mining Complex Data, vol. 165: Springer, pp. 3-22, 2009.
Denker, G., "Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen", GI Dissertationspreise, Ausgezeichnete Informatikdissertationen 1996: Teubner, pp. 9-28, 1998. Abstract
Wagner, M., W. - T. Balke, and W. Kießling, "An XML-Based Multimedia Middleware for Mobile Online Auctions", Enterprise Information Systems III, J. Filipe, B. Sharp, and P. Miranda (eds.): Kluwer Academic Publishers, 2002.  Download: iceis01.pdf (929.37 KB)
Conference Paper
Tönnies, S., B. Köhncke, P. Hennig, and W. - T. Balke, " A Service Oriented Architecture for Personalized Rich Media Delivery ", IEEE International Conference on Services Computing (IEEE SCC 2009), Bangalore, India, 09/2009. Abstract  Download: scc09.pdf (275.26 KB)
Tönnies, S., and W. - T. Balke, " Using Semantic Technologies in Digital Libraries - A Roadmap to Quality Evaluation ", 13th European Conference on Digital Libraries (ECDL 2009), Corfu, Greece, 09/2009. Abstract  Download: ecdl09.pdf (452.12 KB)
Vogel, J., W. - T. Balke, and W. Kießling, "(Semi-) Automatic Segmentation in Historic Collections of Heraldic Images", 15th International Conference on Pattern recognition (ICPR 2000), Barcelona, Spain, 2000. Abstract  Download: icpr00.pdf (74.68 KB)
Sernadas, A., J. Fiadeiro, C. Sernadas, and H. - D. Ehrich, "Abstract object types: A temporal perspective", Proc. Colloq. on Temporal Logic in Specification, B. Banieqbal, H. Barringer, and A. Pnueli, editors: Springer LNCS 398, 1989. Abstract