Home › Biblio

Biblio

Export 20 results:
Sort by: [ Author (Asc)] Keyword Title 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]
B
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)
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)
E
Ebert, J., and G. Engels, "Konzepte einer Software-Architektur-Beschreibungssprache", Tagungsband GI-Fachtagung ``Software-Entwicklung'': Informatik-Fachbericht Nr. 212, Springer, Berlin, 1989. Abstract
Eckstein, S., and K. Neumann, Konzeptioneller Entwurf mit der Unified Modeling Language, , no. 99-03: Technische Universität Braunschweig, 1999. 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)
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)
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)
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)
G
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
H
Hartel, P., Konzeptionelle Modellierung von Informationssystemen als verteilte Objektsysteme, : infix-Verlag, 1997. Abstract
K
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)
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)
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
L
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
M
Mennicke, S., and T. Prehn, "Keep it fair: Equivalence and composition", Journal of Logical and Algebraic Methods in Programming, vol. 104, 2019. Abstract
N
Neumann, K., "Kopplungsarten von Programmiersprachen mit Datenbanksprachen", Informatik-Spektrum, vol. 15, pp. 185-194, 1992. Abstract
P
Pinger, R., Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking, : Technical University Braunschweig, Germany, February, 2002. 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)
S
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
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