Biblio

Export 690 results:
Sort by: [ Author  (Asc)] Keyword Title 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 
D
Denker, G., J. Meseguer, and C. Talcott, "Protocol Specification and Analysis in Maude", Proc1 of Workshop on Formal Methods and Security Protocols, 25 June 1998, Indianapolis, Indiana, 1998. Abstract
Denker, G., and J. Küster Filipe, "Towards a Model for Asynchronously Communicating Objects", Proc1 2nd Int. Baltic Workshop on Databases and Information Systems, Tallinn, June 12-14, 1996: Institute of Cybernetics, pp. 182-193, 1996. Abstract
Diederich, J., and W. - T. Balke, "FacetedDBLP - Navigational Access for Digital Libraries", Bulletin of the IEEE Technical Committee on Digital Libraries (TCDL), vol. 4, no. 1, 2008.  Download: tcdl08.pdf (111.9 KB)
Diederich, J., W. - T. Balke, and U. Thaden, "Demonstrating the Semantic GrowBag: Automatically Creating Topic Facets for FacetedDBLP", ACM IEEE Joint Conference on Digital Libraries (JCDL), Vancouver, BC, Canada, 2007. Abstract  Download: jcdl07.pdf (90.78 KB)
Diederich, J., and W. - T. Balke, "The Semantic GrowBag Algorithm: Automatically Deriving Categorization Systems", 11th European Conference on Research and Advanced Technology for Digital Libraries (ECDL), Budapest, Hungary, 2007. Abstract  Download: ecdl07.pdf (240.17 KB)
Diederich, J., and W. - T. Balke, "Topic-Based User Models: Design & Comparison", 10th DELOS Thematic Workshop on Personalized Access, Profile Management, and Context Awareness in Digital Libraries (PersDL), Corfu, Greece, 2007. Abstract  Download: persdl07.pdf (133.94 KB)
Diederich, J., and W. - T. Balke, "Automatically Created Concept Graphs using Descriptive Keywords in the Medical Domain", Methods of Information in Medicine (METHODS), vol. 47, no. 3: Schattauer, 2008.  Download: methods08.pdf (310.74 KB)
Draheim, C., K. Keßler, J. Wawrzinek, and S. Wulle, "Die Rechercheplattform PubPharm", GMS Medizin-Bibliothek-Information, 19(3), 2019.
Drawin, M., K. Neumann, and H. - D. Ehrich, "Regelorientierte Erzeugung von Karten-Entwürfen auf geowissenschaftlichen Datenbanken", Proc Datenbanksysteme in Büro, Technik und Wissenschaft: Informatik-Fachbericht 136, Springer, Berlin, pp. 231-246, 1987. Abstract  Download: 1987BTW.pdf (739.81 KB)
Drosten, K., and H. - D. Ehrich, "Translating algebraic specifications to PROLOG programs", Bericht Nr. 84-08, Institut für Informatik: TU Braunschweig, 1984. Abstract
Durchholz, R., and H. - D. Ehrich, "Proceedings", Workshop on Information and Data Structure Description, München, Bericht der GMD Nr. 139, 1983. Abstract
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., "Towards a Module Concept for Object Oriented Specification Languages", Proc1 3rd Int. Baltic Workshop on Data Bases and Information Systems, Riga, Latvia, April 15-17, vol. 2: Institute of Mathematics and Informatics, University of Latvia, Latvian Academic Library, pp. 180-188, 1998. Abstract
Eckstein, R., and S. Eckstein, "Conceptual Modeling XML-Schemata Using UML", Proc. CAiSE'04 Forum, 15th Int. Conf. on Advanced Information Systems Engineering, pp. 122 - 131, 2004. Abstract
Eckstein, S., "Anforderungen an ein Modulkonzept für objektorientierte Spezifikationssprachen", 9. Workshop Grundlagen von Datenbanke1 , Königslutter, Mai 20-23 1997: Forschungsbericht Nr. 643, Fachbereich Informatik, Univ. Dortmund, pp. 16-20, 1997. Abstract
Eckstein, S., "Modules for Object Oriented Specification Languages: A Bipartite Approach", Proc1 5th Doctoral Consortium on Advanced Information Systems Engineering (CAiSE'98), Pisa, Italy, June 8-9, 1998: Tech. Report, ETH Zürich, 1998. Abstract
Eckstein, S., P. Ahlbrecht, and K. Neumann, "Increasing Reusability in Information Systems Development by Applying Generic Methods", Proc. 13th Int. Conf. on Advanced Information Systems Engineering (CAiSE'01), Interlaken: Springer, pp. 251-266, 2001. Abstract
Eckstein, S., and C. Täubner, "An Extendable System for Conceptual Modeling and Simulation of Signal Transduction Pathways", International Workshop on Conceptual Modelling for Life Sciences Applications (CMLSA 2007) at ER 2007: Springer, pp. 54-63, 2007. Abstract
Ehrich, H. - D., "Über eine Reduktionsmöglichkeit gewisser Überdeckungsprobleme", Automatentheorie und Formale Sprachen, Bericht Nr. 3 einer Tagung des Mathematischen Forschungsinstituts Oberwolfach, Oktober 1969: Bibliographisches Institut Mannheim, 1970. Abstract  Download: 1970MFO3.pdf (725.62 KB)
Ehrich, H. - D., and U. Lipeck, "Algebraic domain equations", Theoretical Computer Science, vol. 27, pp. 167-196, 1983. Abstract  Download: 1983TCS-ADE.pdf (951.11 KB)
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)
Ehrich, H. - D., "BWG-Kommission „Das Kulturelle Erbe im Digitalen Zeitalter“", Jahrbuch der Braunschweigischen Wissenschaftlichen Gesellschaft, vol. 2017_32, pp. 210-212, 06/2018.  Download: 2017_32_Jahrbuch_BWG_Ehrich.pdf (509.2 KB)