Biblio

Export 56 results:
Sort by: [ Author  (Desc)] Keyword Title Type Year
Filters: First Letter Of Last Name 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
Küster Filipe, J., "Modelling Parameterisation in Concurrent Object Systems", Logic Journal of the IGPL, vol. 5, no. 6, pp. 877-879, November, 1997. Abstract
Küster Filipe, J., K. - K. Lau, M. Ornaghi, and H. Yatsu, "On Dynamic Aspects of OOD Frameworks in Component-based Software Development in Computational Logic", Proceedings of the 9th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'99), Venice, 22-24 September 1999, Selected papers: Springer-Verlag, LNCS 1817, pp. 43-62, 2000. Abstract
Küster Filipe, J., K. - K. Lau, M. Ornaghi, and H. Yatsu, "On Dynamic Aspects of OOD Frameworks in Component-based Software Development in Computational Logic", Pre-Proceedings of the 9th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'99), Venice, 22-24 September: Universit\`a C\'a Foscari di Venezia, Dipartamento di Informatica, Rapporto di Ricerca CS-99-16, pp. 65-73, 1999. Abstract
Küster Filipe, J., "Fundamentals of a Module Logic for Distributed Object Systems", Journal of Functional and Logic Programming, vol. 2000, no. 3: The MIT Press, March, 2000. Abstract
Küster Filipe, J., K. - K. Lau, M. Ornaghi, and H. Yatsu, "Intra- and Inter-OOD-Framework Interactions in Component-based Software Development in Computational Logic", Proc. of the Second International Workshop on Component-based Software Development in Computational Logic (COCL'99), Paris, France, September 27, 1999. Abstract
Küster Filipe, J., K. - K. Lau, M. Ornaghi, K. Taguchi, H. Yatsu, and A. Wills, "Formal Specification of Catalysis Frameworks", Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), Dec. 5-8, Singapore, 2000. Abstract
Küster Filipe, J., "Using a Modular Distributed Temporal Logic for In-the-large Object Specification", Proc. of the First International Workshop on Component-based Software Development in Computational Logic (COCL'98), Pisa, Italy, September 19, pp. 43-57, 1998. Abstract
Küspert, K., G. Saake, and L. Wegner, "Duplicate Detection and Deletion in the Extended NF$^2$ Data Model", Proc1 3rd Int1 Conf1 on Foundations of Data Organization and Algorithms (FOD1 '89), Paris: LNCS 367, Springer, pp. 83-100, 1989. Abstract
Kusch, J., "Ein Ansatz zur Operationalisierung deskriptiver Anfragen durch Anfrageobjekte", Kurzfassungen des 61 GI-Workshops ``Grundlagen von Datenbanken'', Bad Helmstedt, 19.-221 September 1994: Otto-von-Guericke-Universität Magdeburg, Institut für Technische Informationssysteme, Bericht 94-01, pp. 92-96, 1994. Abstract
Kusch, J., P. Hartel, T. Hartmann, and G. Saake, "Gaining a Uniform View of Different Integration Aspects in a Prototyping Environment", Proc1 6th Int1 Conf1 on Database and Expert Systems Application1 (DEXA'95): Springer Verlag, Berlin, LNC1 978, pp. 38-47, 1995. 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
Kupfer, A., S. Eckstein, B. Störmann, and B. Mathiak, "A database ontology for signal transduction pathways", Int. J. of Bioinformatics Research and Applications, vol. 3, pp. 326-340, 09/2007.
Kupfer, A., S. Eckstein, K. Neumann, and B. Mathiak, "Handling Changes of Database Schemas and Corresponding Ontologies", Advances in Conceptual Modeling - Theory and Practice - ER Workshops 2006: Springer, pp. 227-236, Nov, 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
Kupfer, A., S. Eckstein, B. Störmann, K. Neumann, and B. Mathiak, "Methods for a Synchronised Evolution of Databases and Associated Ontologies", Frontiers in Artificial Intelligence and Applications, vol. 155: IOS Press, pp. 89-102, 2007. 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
Kulathuramaiyer, N., and W. - T. Balke, "Restricting the View and Connecting the Dots - Dangers of a Web Search Engine Monopoly", Journal of Universal Computer Science (J.UCS), vol. 12, no. 12, 2006.  Download: jucs06.pdf (127.67 KB)
Krone, M., M. Kowsari, P. Hartel, G. Denker, and H. - D. Ehrich, "Developing an Information System Using TROLL: an Application Field Study", Proc. 8th Int. Conf. on Advanced Information Systems Engineering (CAiSE'96): Springer, Berlin, LNCS 1080, pp. 136-159, 1996. Abstract  Download: 1996CAiSE.pdf (438.58 KB)
Kramer, M., G. Lausen, and G. Saake, "Updates in a Rule-Based Language for Objects (Extended Abstract)", Proc1 4th International Workshop on Modelling Database Dynamics, Volkse, Oct1 1992: Informatik-Bericht 90/3, TU Clausthal, pp. 125-142, 1992. Abstract
Kramer, M., G. Lausen, and G. Saake, "Updates in a Rule-Based Language for Objects", Proc1 18th Int1 Conf1 on Very Large Databases, Vancouver, pp. 251--262, 1992. Abstract
Kowsari, M., "Formal Object Oriented Specification Language \sc Troll in Information System Design", Doctoral Consortium of 2nd Int. Baltic Workshop on Databases and Information Systems, Tallinn, June 12-14, 1996, 1996. Abstract
Kowsari, M., and A. Grau, "An Evaluation of an Object Oriented Formal Method for Specifying Information Systems.", Proceedings of the Third CAiSE/IFIP 8.1 International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design (EMMSAD'98). Pisa, Italy. June 8-9, 1998: University of Nebraska-Lincoln, USA, pp. M1-M12, 1998. Abstract
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
Kowsari, M., and P. Hartel, "Ein Fallbeispiel zur Evaluation einer Objektorientierten Methodik", 7.Workshop Grundlagen von Datenbanken: Universität Hildesheim Institut für Informatik, pp. 88-93, Juni, 1995. Abstract
Köhncke, B., and W. - T. Balke, "Preference-Driven Personalization for Flexible Digital Item Adaptation", Multimedia Systems Journal (MMSJ), vol. 13(2): Springer, 2007.  Download: mmsj07.pdf (938.52 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)
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)