Home › Biblio

Biblio

Export 721 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)
Balke, W. - T., A. de Waard, Y. Fu, B. Hua, J. Schneider, N. Song, and X. Wang, "Proceedings of the Workshop on Digital Infrastructures for Scholarly Content Objects (DISCO 2021)", CEUR Workshop Proceedings, vol. 2976: CEUR-WS.org, 2021.
Ehrich, H. - D., and K. - D. Schewe(eds), "Proceedings QSIC 2004", QSIC 2004, Braunschweig, IEEE CS Press, 2004. Abstract
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  Download: 2002HandbAlgebra.pdf (528.49 KB)
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
Tauscher, S., and K. Neumann, "A Displacement Method for Maps Showing Dense Sets of Points of Interest", Progress in Cartography, 1: Springer International Publishing, pp. 3-16, 2016.  Download: TN16.pdf (879.59 KB)
Ehrich, H. - D., "KORSO Reference Languages -- Concepts and Application Domains", M. Broy and S. Jähnichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Final Report, pages 150–172. Springer, LNCS 1009, 1995. Abstract  Download: 1995KORSOref.pdf (444.2 KB)
Ehrich, H. - D., and A. Sernadas, "Local Specification of Distributed Families of Sequential Objects", Logic and Computation, vol. 33, London, College Publications, pp. 1-22, 2018.  Download: 2017adt94.pdf (189.66 KB)
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  Download: 1998ECSD.pdf (255.81 KB)
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  Download: 1999ObjSpec.pdf (243.61 KB)
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: Issues and Trends, vol. 1: Springer, pp. 15–36., 2012. Abstract  Download: printversion.pdf (415.01 KB)
van Glabbeek, R., U. Goltz, C. Lippert, and S. Mennicke, "Stronger Validity Criteria for Encoding Synchrony", The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, Cham, Springer International Publishing, 2019.
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)
Gogolla, M., S. Conrad, G. Denker, R. Herzig, N. Vlachantonis, and H. - D. Ehrich, "TROLL light --- The Language and Its Development Environment", KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Final Report: Springer, pp. 205-220, 1995. Abstract  Download: 1995TrollLight.pdf (971.69 KB)
Ehrich, H. - D., "Überprüfung von Softwareskizzen und -entwürfen", Jahrbuch 2000 der Braunschweigischen Wissenschaftlichen Gesellschaft: J Cramer Verlag, pp. 69-72, 2001. Abstract  Download: 2001BWG.pdf (46.05 KB)
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.