Home › Biblio

Biblio

Export 20 results:
Sort by: Author Keyword [ Title (Desc)] Type Year
Filters: First Letter Of Title is K  [Clear All Filters]
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   [Show ALL]
K
Lipeck, U. W., S. Braß, and G. Saake, Kurzfassungen des 21 Workshops ``Grundlagen von Datenbanken'', Volkse, 5.-8. Juni 1990, , no. 90-02: TU Braunschweig, 1990. Abstract
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)
Gogolla, M., N. Vlachantonis, R. Herzig, G. Denker, S. Conrad, and H. - D. Ehrich, The KORSO Approach to the Development of Reliable Information Systems, , no. 94-06: Technische Universität Braunschweig, 1994. Abstract
Neumann, K., "Kopplungsarten von Programmiersprachen mit Datenbanksprachen", Informatik-Spektrum, vol. 15, pp. 185-194, 1992. Abstract
Saake, G., and R. Jungclaus, "Konzeptioneller Entwurf von Objektgesellschaften", Proc1 Datenbanksysteme in Büro, Technik und Wissenschaft BTW'91: Informatik-Fachberichte IFB 270, Springer, Berlin, pp. 327-343, 1991. Abstract
Eckstein, S., and K. Neumann, Konzeptioneller Entwurf mit der Unified Modeling Language, , no. 99-03: Technische Universität Braunschweig, 1999. Abstract
Hartel, P., Konzeptionelle Modellierung von Informationssystemen als verteilte Objektsysteme, : infix-Verlag, 1997. Abstract
Ehrich, H. - D., "Konzeptionelle Modellierung von Informationssystemen", Carolo-Wilhelmina Mitteilungen, vol. Band 34 (Schwerpunktheft Informatik), pp. 16-19, 1999. Abstract  Download: 1999CWM.pdf (515.72 KB)
Engels, G., U. Hohenstein, L. Neugebauer, G. Saake, and H. - D. Ehrich, "Konzeption einer integrierten Datenbank-Entwurfsumgebung", Proc1 DBTA/SI Conf1 ``Data Dictionaries und Entwicklungswerkzeuge für Datenbankanwendungen'': Verlag der Fachvereine an den Schweiz1 Hochschulen und Techniken, Zürich, pp. 151-157, 1988. Abstract  Download: 1988DBEntwUmg1.pdf (692.07 KB)
Saake, G., L. Neugebauer, U. Hohenstein, and H. - D. Ehrich, Konzepte und Werkzeuge für eine Datenbank-Entwurfsumgebung, , no. 87-05: Technische Universität Braunschweig, 1987. Abstract
Ebert, J., and G. Engels, "Konzepte einer Software-Architektur-Beschreibungssprache", Tagungsband GI-Fachtagung ``Software-Entwicklung'': Informatik-Fachbericht Nr. 212, Springer, Berlin, 1989. Abstract
Pinger, R., Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking, : Technical University Braunschweig, Germany, February, 2002. Abstract
Kalo, J. - C., L. Fichtel, P. Ehler, and W. - T. Balke, "KnowlyBERT - Hybrid Query Processing over Language Models and Knowledge Graphs", International Semantic Web Conference (ISWC), Athens, Greece, 11/2020. Abstract  Download: ISWC_20_KnowlyBERT.pdf (484.05 KB); knowlybert_slides_iswc2020.pdf (577.64 KB)
Balke, W. - T., and K. Mainzer, "Knowledge Representation and the Embodied Mind: Towards a Philosophy and Technology of Personalized Informatics", 3rd International Conference on Professional Knowledge Management (WM 2005), Kaiserslautern, Germany, Springer , 2005. Abstract  Download: wm05.pdf (272.76 KB)
Balke, W. - T., and K. Mainzer, "Knowledge Representation and the Embodied Mind: Towards a Philosophy and Technology of Personalized Informatics", 2nd International Workshop on Philosophy and Informatics (WSPI 2005), Kaiserslautern, Germany, 2005. Abstract  Download: wspi05.pdf (56.28 KB)
Kalo, J. - C., P. Ehler, and W. - T. Balke, "Knowledge Graph Consolidation by Unifying Synonymous Relationships", International Semantic Web Conference (ISWC), Auckland, New Zealand, 10/2019. Abstract  Download: ISWC19CameraReady.pdf (503.5 KB)
Ehrich, H. - D., "Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics", Proc Workshop on Category Theory and Computer Programming: Springer, Berlin, LNCS series, pp. 412-433, 1986. Abstract  Download: 1986KeyExtens.pdf (277.5 KB)
Kupfer, A., S. Eckstein, K. Neumann, and B. Mathiak, "Keeping Track of Changes in Database Schemas and Related Ontologies", 7. Int. Baltic Conference on Databases and Information Systems: IEEE, pp. 63-68, July, 2006. Abstract
Prehn, T., and S. Mennicke, Keep it Fair: Equivalences, , Neuchâtel, Switzerland, EPTCS, 08/2017. Abstract  Download: ICE_2017_fairness_equivalences_preprint.pdf (204.92 KB)
Mennicke, S., and T. Prehn, "Keep it fair: Equivalence and composition", Journal of Logical and Algebraic Methods in Programming, vol. 104, 2019. Abstract