Home › Biblio

Biblio

Export 30 results:
Sort by: [ Author (Asc)] Keyword Title Type Year
Filters: First Letter Of Last Name is D  [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]
D
Das, M., and W. - T. Balke, "Quantifying Bias from Decoding Techniques in Natural Language Generation", 29th International Conference on Computational Linguistics (COLING), Gyeongju, Republic of Korea , 10/2022. Abstract  Download: Coling _ Preprint_Mayukh.pdf (339.39 KB)
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 P. Hartel, \sc Troll - An Object Oriented Formal Method for Distributed Information System Design: Syntax and Pragmatics, , no. 97-03: Technische Universität Braunschweig, 1997. 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
Denker, G., "Reification - Changing Viewpoint but Preserving Truth", Recent Trends in Data Types Specification, Proc.\ 11th Workshop on Specification of Abstract Data Types joint with the 8th General COMPASS Meeting. Oslo, Norway, September 1995. Selected papers.: Springer, pp. 182-199, 1996. Abstract
Denker, G., and H. - D. Ehrich, "Action Reification In Object Oriented Specification", Information Systems - Correctness and Reusability, Selected Papers from the IS-CORE Workshop: World Scientific, pp. 103-118, 1995. Abstract  Download: 1995ISCORE.pdf (1.04 MB)
Denker, G., J. Millen, A. Grau, and J. Küster Filipe, "Optimizing Protocol Rewrite Rules of CIL Specifications", Proc. of the 13th IEEE Computer Security Foundations Workshop, July 3-5, 2000, Cambridge, England, 2000. Abstract
Denker, G., and M. Gogolla, "Translating TROLL \em light Concepts to Maude", Proc1 9th Workshop on Abstract Data Types - 4th Compass Workshop (ADT'92): Springer, Berlin, LNCS 785, pp. 173-187, 1993. 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
Denker, G., and K. Schwarz, "Homogene objektorientierte Spezifikation von Datenbanken und Benutzungsschnittstellen: Ein Erfahrungsbericht", Beiträge der GI-Fachtagung Softwaretechnik'96(ST96), Koblenz, 12. - 13. September 1996: Universität Koblenz-Landau, Fachbereich Informatik, pp. 97-104, 1996. Abstract
Denker, G., "Semantic Ref\/inement of Concurrent Object Systems Based on Serializability", Object Orientation with Parallelism and Persistence: Kluwer Academic Publ., pp. 105-126, 1996. Abstract
Denker, G., and H. - D. Ehrich, "An Event-Based Semantics for Transactions", Proc. Intern. Workshop on Information Systems - Correctness and Reusability (IS-CORE'95), Technical Report, Evry, Sept. 1995: Universite d'Evry Val d'Essonne, Laboratoire de Mathematiques et d'Informatique, pp. 57-72, 1995. Abstract
Denker, G., "Towards Semantic Foundation of Basic TROLL \em light Constructs", 41 GI Workshop Grundlagen von Datenbanken: ECRC, München, Technical Report ECRC-92-13, pp. 22-26, 1992. Abstract
Denker, G., "Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen", GI Dissertationspreise, Ausgezeichnete Informatikdissertationen 1996: Teubner, pp. 9-28, 1998. Abstract
Denker, G., and H. - D. Ehrich, "Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic", Formal Methods for Open Object-Based Distributed Systems (FMOODS'97), Volume 2, IFIP TC6 WG6.1 Intern.\ Workshop, 21-23 July, Canterbury, Kent, UK: Chapman & Hall, pp. 89-104, 1997. Abstract  Download: 1997DenkerEhrich.pdf (548.39 KB)
Denker, G., Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen, , vol. 6: infix-Verlag, 1996. Abstract
Denker, G., "Transactions in Object-Oriented Specifications", 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. 203-218, 1995. Abstract
Diederich, J., U. Thaden, and W. - T. Balke, "The Semantic GrowBag Demonstrator for Automatically Organizing Topic Facets", 1st SIGIR'2006 Workshop on Faceted Search, Seattle, WA, USA, 2006. Abstract  Download: facetedsearch06.pdf (182.07 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., 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, "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., 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, "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., M. Gogolla, H. - D. Ehrich, and U. Lipeck, "A Hierarchical Approach to an Operational Semantics for Conditional Algebraic Specifications", Berichte der Abteilung Informatik, vol. 144: Universität Dortmund, 1982. Abstract
Drosten, K., and H. - D. Ehrich, "Translating algebraic specifications to PROLOG programs", Bericht Nr. 84-08, Institut für Informatik: TU Braunschweig, 1984. Abstract
Drosten, K., Über Erweiterungen in Termersetzungssystemen und deren Anwendung zur Prototyp-Generierung algebraischer Spezifikationen, : Technische Universität Braunschweig, 1988. Abstract
Durchholz, R., and H. - D. Ehrich, "Proceedings", Workshop on Information and Data Structure Description, München, Bericht der GMD Nr. 139, 1983. Abstract
Dyballa, A., H. Toben, V. Linnemann, and G. Saake, Integration geometrischer Daten in ein erweiterbares Datenbanksystem, , no. 75.91.12: IBM Germany, May, 1991. Abstract