.gif)
] Filters: First Letter Of Last Name is D [Clear All Filters]
Über Erweiterungen in Termersetzungssystemen und deren Anwendung zur Prototyp-Generierung algebraischer Spezifikationen,
: Technische Universität Braunschweig, 1988.
Abstract
"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)
"TROLL light --- The Language and Its Development Environment",
KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Final Report: Springer, pp. 205-220, 1995.
Abstract
Download: 1995TrollLight.pdf (971.69 KB)
"Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen",
GI Dissertationspreise, Ausgezeichnete Informatikdissertationen 1996: Teubner, pp. 9-28, 1998.
Abstract
"Abstracts of the 4th Workshop on Specification of Abstract Data Types",
Abstracts of the 4th Workshop on Specification of Abstract Data Types: Informatik-Bericht Nr. 86-09, Technische Universität Braunschweig, 1986.
Abstract
Action Refinement - An Application of Process Theory on Object-Oriented Specification,
, no. 40/95: Universität Hildesheim, November, 1995.
Abstract
"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)
"Algebraic and operational semantics of exceptions and errors",
Proc. 6. GI-Fachtagung für Theoretische Informatik: Springer LNCS 145, 1983.
Abstract
Download: 1983ExceptErrors.pdf (198.63 KB)
"Analysis of CERN computing infrastructure and monitoring data",
21st International Conference on Computing in High Energy and Nuclear Physics (CHEP2015), Okinawa, Japan, 02/2016, 2015.
Abstract
"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
"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)
"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)
"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)
"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
"ExpertFOAF Recommends Experts",
1st ExpertFinder Workshop, Berlin, Germany, 2007.
Abstract
Download: expert07.pdf (54.95 KB)
"First results from a combined analysis of CERN computing infrastructure metrics",
22nd International Conference on Computing in High Energy and Nuclear Physics CHEP2016, San Francisco, USA, 10/2016.
Abstract
Integration geometrischer Daten in ein erweiterbares Datenbanksystem,
, no. 75.91.12: IBM Germany, May, 1991.
Abstract
The KORSO Approach to the Development of Reliable Information Systems,
, no. 94-06: Technische Universität Braunschweig, 1994.
Abstract
"Nonblocking Scheduling for Web Service Transactions",
5th IEEE European Conference on Web Services (ECOWS), Halle (Saale), Germany, 2007.
Abstract
Download: ecows07.pdf (372.41 KB)
"Object Roles and Phases",
Proc Intern. Workshop on Information Systems - Correctness and Reusability IS-CORE '93, Technical Report, University of Hannover No1 01/93, pp. 114-121, 1993.
Abstract
"Object-Oriented Design of Information Systems: Theoretical Foundations",
Advances in Database Systems, Implementations and Applications: Springer Verlag, Wien, CISM Courses and Lectures no. 347, pp. 201-218, 1994.
Abstract
Download: 1994CISM1.pdf (266.62 KB)
"Proceedings",
Workshop on Information and Data Structure Description, München, Bericht der GMD Nr. 139, 1983.
Abstract
"A Quality- and Cost-based Selection Model for Multimedia Service Composition in Mobile Environments",
4th IEEE International Conference on Web Services (ICWS), Chicago, IL, USA, 2006.
Abstract
Download: icws06.pdf (210.92 KB)
"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)
"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)
"Review Driven Customer Segmentation for Improved E-Shopping Experience",
3rd International Conference on Web Science, Koblenz, Germany, 2011.
Abstract
Download: ws.pdf (434.25 KB)
"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)
"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)
"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)
"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)
"Towards an Algebraic Semantics for Database Specification",
Proc 2nd IFIP WG 2.6 Working Conf on Database Semantics ``Data and Knowledge'' (DS-2), Albufeira, Portugal, North-Holland, Amsterdam, pp. 119-135, 1988.
Abstract
Download: 1988Albufeira.pdf (1.08 MB)
"Towards Reliable Information Systems: The KORSO Approach",
Proc 5th Int Conf on Advanced Information Systems Engineering (CAiSE'93): Springer, Berlin, LNCS 685, pp. 463-482, 1993.
Abstract
Download: 1993KorSo.pdf (314.47 KB)
"Zur Entwicklung zuverlässiger Informationssysteme in KorSo",
Informatik -- Wirtschaft -- Gesellschaft, Proc. 23. GI-Jahrestagung (GI'93): Springer, Informatik aktuell, pp. 464-469, 1993.
Abstract
Download: 1993GI.pdf (401.19 KB)
\sc Troll - An Object Oriented Formal Method for Distributed Information System Design: Syntax and Pragmatics,
, no. 97-03: Technische Universität Braunschweig, 1997.
Abstract
"Action Refinement in System Specification: Comparing a Process Algebraic and an Object-Oriented Approach",
GI/ITG-Fachgespräch: ``Formale Beschreibungstechniken für verteilte Systeme'', 20/21. Juni 1996, Universität Erlangen, Germany, no. 29/9: Universität Erlangen, pp. 77-88, 1996.
Abstract