Export 53 results:
Sort by: Author Keyword Title [ Type  (Asc)] Year
Filters: First Letter Of Title is C  [Clear All Filters]
Grau, A., Computer-Aided Validation of Formal Conceptual Models, : Technical University Braunschweig, Germany, March, 2001. Abstract
Conference Paper
Balke, W. - T., W. Nejdl, W. Siberski, and U. Thaden, "Caching for Improved Retrieval in Peer-to-Peer Networks", GI/ITG-Workshop "Peer-to-Peer Systeme und -Anwendungen", Kaiserslautern, Germany, 2005. Abstract  Download: gi-itg05.pdf (35.08 KB)
Engels, G., U. Hohenstein, K. Hülsmann, P. Löhr-Richter, and H. - D. Ehrich, "CADDY: Computer-Aided Design of Non-Standard Databases", Proc 1st Int Conf on System Development Environments and Factories: Pitman, London, 1990. Abstract  Download: 1990Caddy.pdf (896.19 KB)
Pinto, J. M. G., J. Wawrzinek, S. Kori, and W. - T. Balke, "Can Language Inference Support Metadata Generation?", 23rd International Conference on Theory and Practice of Digital Libraries (TPDL), Oslo, Norway, Springer, 09/2019. Abstract
Pinto, J. M. G., and W. - T. Balke, "Can Plausibility Help Support High Quality Content in Digital Libraries?", 21st International Conference on Theory and Practice of Digital Libraries (TPDL), Thessaloniki, Greece , 06/2017. Abstract  Download: tpdl_pinto_plausibilty.pdf (668.04 KB)
Kowsari, M., P. Hartel, G. Denker, and H. - D. Ehrich, "A Case Study in Information System Design, The CATC System", FME'96: Industrial Benefit and Advances in Formal Methods, Oxford, UK, March 1996, poster session, 1996. Abstract
Köhncke, B., S. Tönnies, and W. - T. Balke, "Catching the Drift – Indexing Implicit Knowledge in Chemical Digital Libraries", International Conference on Theory and Practice of Digital Libraries (TPDL), Paphos, Cyprus, 09/2012. Abstract  Download: koehncke_tpdl12.pdf (696.04 KB)
Ehrich, H. - D., J. A. Goguen, and A. Sernadas, "A Categorial Theory of Objects as Observed Processes", Proc REX/FOOL Workshop: LNCS 489, Springer, Berlin, pp. 203-228, 1991. Abstract  Download: 1991CatTheorObjObservProc.pdf (533.9 KB)
Lofi, C., "cGQM - Ein zielorientierter Ansatz für kontinuierliche, automatisierte Messzyklen", Proceedings of the 4th National Conference on Software Measurement and Metrics (DASMA MetriKon 2005), Kaiserslautern, Germany, GI, 11/2005. Abstract  Download: 
Ehrich, H. - D., and R. Pinger, "Checking object systems via multiple observers", International ICSC Congress on Intelligent Systems & Applications (ISA'2000) , vol. 1: International Computer Science Conventions (ICSC), Canada, pp. 242-248, 2000. Abstract  Download: 2000ISA.pdf (112.72 KB)
Homoceanu, S., and W. - T. Balke, "A Chip Off the Old Block – Extracting Typical Attributes for Entities based on Family Resemblance", 20th International Conference on Database Systems for Advanced Applications (DASFAA), Hanoi, Vietnam, 04/2015. Abstract  Download: DASFAA15_camera-ready.pdf (1.15 MB)
Lofi, C., "Choosing the Right Thing: Cooperative Trade-Off Enhanced Skyline Queries", PhD Workshop at the International Conference On Data Engineering (ICDE), Hannover, Germany, 04/2011. Abstract  Download: 11ICDE_02.pdf (366.51 KB)
Tauscher, S., and K. Neumann, "Combining Web Map Services and Opinion Mining to generate Sentiment Maps of Touristic Locations", Symposium on Service Oriented Mapping, Wien, JOBSTMedia Präsentation Management Verlag, pp. 277-286, 11/2012. Abstract
Pinger, R., and H. - D. Ehrich, "Compositional Checking of Communication among Observers", Fundamental Approaches to Software Engineering (FASE), Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2001), Genova, vol. LNCS 2029: Springer, pp. 32-44, 2001. Abstract  Download: 2001FASE.pdf (171.57 KB)
Luthmann, L., S. Mennicke, and M. Lochau, "Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing", Formal Aspects of Component Software, Besançon, France, Springer Berlin Heidelberg, 04/2017, 2016. Abstract
Ehrich, H. - D., G. Saake, and A. Sernadas, "Concepts of Object-Orientation", Proc of the 2nd Workshop of ``Informationssysteme und Künstliche Intelligenz: Modellierung'', Ulm (Germany): Springer IF 303, pp. 1-19, 1992. Abstract  Download: 1992ConcObjOr.pdf (208.55 KB)
Balke, W. - T., "Conceptual Views for Entity-Centric Search (Keynote)", 23th GI Workshop on Foundations of Databases (GvD), Obergurgl, Austria, 2011. Abstract  Download: GvDB_2011.pdf (233.23 KB)
Selke, J., S. Homoceanu, and W. - T. Balke, "Conceptual Views for Entity-Centric Search: Turning Data into Meaningful Concepts", 14. GI-Fachtagung Datenbanksysteme für Business, Technologie und Web (BTW), Kaiserslautern, Germany, 2011. Abstract  Download: conceptual_views.pdf (1.19 MB)
Güntzer, U., and W. - T. Balke, "Consistently Adding Amalgamations to Preference Orders", 3rd Multidisciplinary Workshop on Advances in Preference Handling (M-Pref), Vienna, Austria, 2007. Abstract  Download: mpref07.pdf (154.24 KB)
Ehrich, H. - D., and V. G. Lohberger, "Constructing Specifications of Abstract Data Types by Replacements", Proc. Int. Colloquium on Graph Grammars: Springer LNCS 73, pp 180-191, 1978. Abstract  Download: 1978SpecReplace.pdf (214.4 KB)
Ehrich, H. - D., G. Denker, and A. Sernadas, "Constructing Systems as Object Communities", Proc Theory and Practice of Software Developmen1 (TAPSOFT'93): Springer, Berlin, LNCS 668, pp. 453-467, 1993. Abstract  Download: 1993TAPSOFT.pdf (320.97 KB)
Kroll, H., J. - C. Kalo, D. Nagel, S. Mennicke, and W. - T. Balke, "Context-Compatible Information Fusion for Scientific Knowledge Graphs", 24th International Conference on Theory and Practice of Digital Libraries (TPDL), Lyon, France, Springer, 08/2020. Abstract  Download: TPDL2020_Kroll_Camera_Ready.pdf (308.77 KB)
Köhncke, B., and W. - T. Balke, "Context-Sensitive Ranking Using Cross-Domain Knowledge for Chemical Digital Libraries", Research and Advanced Technologies for Digital Libraries: 17th International Conference on Theory and Practice of Digital Libraries (TPDL), Valletta, Malta, 09/2013. Abstract  Download: tpdl13_koehncke.pdf (227.41 KB)
Balke, W. - T., and M. Wagner, "Cooperative Discovery for User- centered Web Service Provisioning", 1st IEEE International Conference on Web Services (ICWS 2003), Las Vegas, NV, USA, 2003. Abstract  Download: icws03.pdf (265.46 KB)
Conference Proceedings
Engels, G., and P. Löhr-Richter, "CADDY - A Highly Integrated Environment to Support Conceptual Database Design", Proc1 5th Int1 Workshop on CASE, July 6.-10., 1992, Montreal (Canada): IEEE Computer Society Press, pp. 19-22, 1992. Abstract
Engels, G., "CADDY-O: Syntaxgestütztes, graphisches Entwerfen konzeptioneller Datenbankschemata", Proc1 GI-Fachtagung ``Interaktive Schnittstellen für Informationssysteme'', pp. 1-16, 1989. Abstract
Hohenstein, U., and M. Gogolla, "A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions", Proc1 7th Int1 Conf1 on the Entity-Relationship Approach: North-Holland, Amsterdam, pp. 129-148, 1988. Abstract
Mathiak, B., A. Kupfer, C. Täubner, S. Eckstein, and R. Münch, "CaptionSearch: Mining Images from Publications", Mining Complex Data Proceedings of 2005 IEEE ICDM Workshop: Math. Dept., Saint Mary's Univ., Nova Scotia, Canada, 2005. Abstract
Vlachantonis, N., "A Case Study for an Open CASE System: The TROLL \em light Development Environment", Proc1 4th Int1 Conf1 on Database and Expert Systems Application1 (DEXA'93): Springer, Berlin, LNCS 720, pp. 673-676, 1993. Abstract
Kupfer, A., S. Eckstein, K. Neumann, and B. Mathiak, "A Coevolution Approach for Database Schemas and Related Ontologies", 19. IEEE Int. Symposium on Computer-Based Medical Systems: IEEE CS, pp. 605-610, June, 2006. Abstract
Kupfer, A., and S. Eckstein, "Coevolution of Database Schemas and Associated Ontologies in Biological Context", 22nd British National Conference on Databases: Workshops and Posters, vol. 2: University of Sunderland Press, pp. 45-50, 2005. Abstract
Jungclaus, R., R. J. Wieringa, P. Hartel, G. Saake, and T. Hartmann, "Combining \sc Troll with the Object Modeling Technique", Innovationen bei Rechen- und Kommunikationssystemen. GI-Fachgespräch F1 1: Integration von semi-formalen und formalen Methoden für die Spezifikation von Software: Springer, Informatik aktuell, pp. 35-42, 1994. Abstract