Biblio

Export 680 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 
I
Knüppel, A., T. Thüm, S. Mennicke, J. Meinicke, and I. Schaefer, "Is There a Mismatch between Real-World Feature Models and Product-Line Research?", 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), Paderborn, Germany, ACM, 09/2017. Abstract
Knüppel, A., T. Thüm, S. Mennicke, J. Meinicke, and I. Schaefer, "Is There a Mismatch between Real-World Feature Models and Product-Line Research?", Software Engineering und Software Management 2018, Bonn, Gesellschaft für Informatik, 03/2018. Abstract
J
Lofi, C., "Just ask a human? – Controlling Quality in Relational Similarity and Analogy Processing using the Crowd", Crowd-enabled Data and Information Management (CDIM) Workshop at Database Systems for Business Technology and Web (BTW), Magdeburg, Germany, 2013. Abstract  Download: 13CDIM_Final.pdf (611.43 KB); Data (72.13 KB)
K
Mennicke, S., and T. Prehn, "Keep it fair: Equivalence and composition", Journal of Logical and Algebraic Methods in Programming, vol. 104, 2019. Abstract
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
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)
Kalo, J. - C., P. Ehler, and W. - T. Balke, "Knowledge Graph Consolidation by Unifying Synonymous Relationships", International Semantic Web Conference, Auckland, New Zealand, 10/2019. Abstract  Download: ISWC19CameraReady.pdf (503.5 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)
Ebert, J., and G. Engels, "Konzepte einer Software-Architektur-Beschreibungssprache", Tagungsband GI-Fachtagung ``Software-Entwicklung'': Informatik-Fachbericht Nr. 212, Springer, Berlin, 1989. Abstract
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)
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)
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
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)
L
Ahlbrecht, P., S. Eckstein, and K. Neumann, "Language Constructs for Conceptual Modelling of Mobile Object System s", Proc. 4th Int. Symp. on Collaborative Technologies and Systems, pp. 121-126, 2003. Abstract
Barthel, S., S. Tönnies, and W. - T. Balke, "Large-Scale Experiments for Mathematical Document Classification", 15th International Conference on Asia-Pacific Digital Libraries (ICADL), Bangalore, India, Springer, 12/2013. Abstract  Download: icadl13.pdf (346.56 KB)
Pinto, J. M. G., S. Celik, and W. - T. Balke, "Learning to Rank Claim-Evidence Pairs to Assist Scientific-Based Argumentation", 23rd International Conference on Theory and Practice of Digital Libraries (TPDL), Oslo, Norway, Springer, 09/2019. Abstract
Denker, G., J. Ramos, C. Caleiro, and A. Sernadas, "A Linear Temporal Logic Approach to Objects with Transactions", Sixth Int1 Conf1 on Algebraic Methodology and Software Technology, AMAST'97, 13-17 December 1997, Sydney, Australia: Springer, pp. 170-184, 1997. Abstract
Wawrzinek, J., J. M. G. Pinto, and W. - T. Balke, "Linking Semantic Fingerprints of Literature – from Simple Neural Embeddings Towards Contextualized Pharmaceutical Networks", 23rd International Conference on Theory and Practice of Digital Libraries (TPDL), Oslo, Norway, Springer, 09/2019. Abstract  Download: paper_20.pdf (408.4 KB)
Ehrich, H. - D., and A. Sernadas, "Local Specification of Distributed Families of Sequential Objects", Recent Trends in Data Types Specification, Proc1 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May/June 1994, Selected papers: Springer, Berlin, LNCS 906, pp. 219-235, 1995. Abstract  Download: 1995LocSpecDistr.pdf (350.23 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)