.gif)
]
"Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen",
GI Dissertationspreise, Ausgezeichnete Informatikdissertationen 1996: Teubner, pp. 9-28, 1998.
Abstract
"An XML-Based Multimedia Middleware for Mobile Online Auctions",
Enterprise Information Systems III, J. Filipe, B. Sharp, and P. Miranda (eds.): Kluwer Academic Publishers, 2002.
Download: iceis01.pdf (929.37 KB)
" A Service Oriented Architecture for Personalized Rich Media Delivery ",
IEEE International Conference on Services Computing (IEEE SCC 2009), Bangalore, India, 09/2009.
Abstract
Download: scc09.pdf (275.26 KB)
" Using Semantic Technologies in Digital Libraries - A Roadmap to Quality Evaluation ",
13th European Conference on Digital Libraries (ECDL 2009), Corfu, Greece, 09/2009.
Abstract
Download: ecdl09.pdf (452.12 KB)
"(Semi-) Automatic Segmentation in Historic Collections of Heraldic Images",
15th International Conference on Pattern recognition (ICPR 2000), Barcelona, Spain, 2000.
Abstract
Download: icpr00.pdf (74.68 KB)
"Abstract Object Types for Databases",
Advances in Object-Oriented Database Systems: LNCS 334, Springer, Berlin, 1988, pp. 144-149, 1988.
Abstract
Download: 1988AbstrObjTypes.pdf (549.79 KB)
"Abstract object types: A temporal perspective",
Proc. Colloq. on Temporal Logic in Specification, B. Banieqbal, H. Barringer, and A. Pnueli, editors: Springer LNCS 398, 1989.
Abstract
Download: 1989AbstrObjTypes.pdf (393.35 KB)
Abstract Specification of Object Interaction,
, no. 93-08: Technische Universität Braunschweig, 1993.
Abstract
"Abstracts des Workshops "Grundlagen von Datenbanken"",
Abstracts des Workshops "Grundlagen von Datenbanken": Informatik-Bericht Nr. 89-02, Technische Universität Braunschweig, 1989.
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 (?) specification of conceptual database schemata (extended abstract)",
Recent Trends in Data Type Specification, Informatik-Fachberichte, vol. 116: Springer, 1985.
Abstract
Download: 1985AlgSpecDB.pdf (349.23 KB)
"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)
"Algebraic Implementation of Objects over Objects",
Proc REX Workshop ``Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness'': LNCS 430, Springer, Berlin, pp. 239-266, 1990.
Abstract
Download: 1990AlgImplem.pdf (479.42 KB)
"Algebraic Semantics of Type Definitions and Structured Variables",
Proc. FCT’77: Springer LNCS 56, 1977.
Abstract
Download: 1977FCT.pdf (283.25 KB)
Algebraic Specifications with Partially Ordered Sorts and Declarations,
, no. 169: Abt1 Informatik, Universität Dortmund, 1983.
Abstract
"Algebraische Spezifikation von Datenstrukturen",
Datenstrukturen, Graphen, Algorithmen.: Hanser Appl. Comp. Sc. 8, pp 48-61, 1978.
Abstract
Download: 1978Graphen3.pdf (419.04 KB)
"Analogies as a Base for Knowledge Exchange and Argumentation",
Dagstuhl Seminar Series Nr 15512: Debating Technologies, Schloß Dagstuhl, Germany, 12/2015.
Abstract
Download: Talk Abstract.pdf (198.56 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
"Any Suggestions? Active Schema Support for Structuring Web Information",
19th International Conference on Database Systems for Advanced Applications (DASFAA), Bali, Indonesia, 04/2014.
Abstract
Download: DASFAA14_conference_105.pdf (1.1 MB)
"Applications of Quick-Combine for Ranked Query Models",
1st DELOS Workshop on Information Seeking, Searching and Querying in Digital Libraries, Zurich, Switzerland, 2000.
Abstract
Download: delos00.pdf (82.01 KB)
"Approaching the Efficient Frontier: Cooperative Database Retrieval Using High-Dimensional Skylines",
10th International Conference on Database Systems for Advanced Applications (DASFAA 2005), Beijing, China, Springer , 2005.
Abstract
Download: dasfaa05.pdf (204.67 KB)
Are Qualifiers Enough? Context-Compatible Information Fusion for Wikimedia Data,
, Virtual, WikiWorkshop, 05/2023.
Abstract
Download: WikiWorkshop2023_Kroll_Are Qualifiers Enough.pdf (148.99 KB)
"Aspect-Driven Structuring of Historical Dutch Newspaper Archives",
The 27th International Conference on Theory and Practice of Digital Libraries (TPDL), Zadar, Croatia, Springer, 09/2023.
Abstract
Download: TPDL2023_Kroll_Aspect-Driven Structuring.pdf (3.15 MB)
"Assessing Web Services Quality for Call-by-Call Outsourcing",
Fourth International Conference on Web Information Systems Engineering Workshops (WISEW'03), Rome, Italy, IEEE, 2003.
Abstract
Download: wqw03.pdf (429.18 KB)
"Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung",
Proc GI-Workshop ``Sprachspezifische Programmierumgebungen'', pp. 38-51, 1988.
Abstract
Download: 1988DBEntwUmg2.pdf (564.82 KB)
"Automated Verification of Feature Model Configuration Processes Based on Workflow Petri Nets",
18th International Software Product Line Conference (SPLC 2014), Florence, Italy, ACM, 09/2014.
Abstract
Automatic Transformation of Entity-Relationship Schemas into Relational Schemas,
, no. 88-10: Technische Universität Braunschweig, 1988.
Abstract
Automatische Lernverfahren zur Analyse von biomedizinischer Literatur,
, no. 2004-2: Technische Universität Braunschweig, 2004.
Abstract
"Avoiding Chinese Whispers: Controlling End-to-End Join Quality in Linked Open Data Stores",
ACM Web Science 2015 (WebSci'15), Oxford, United Kingdom, 06/2015.
Abstract
Download: WebSci15CameraReady-kalo.pdf (727.59 KB)
"An Axiomatic Approach to Information Structures",
Proc. 5th MFCS: Springer, LNCS 45, pp 277-283, 1976.
Abstract
Download: 1976MFCS.pdf (364.21 KB)
"BAFREC: Balancing Frequency and Rarity for Entity Characterization in Open Linked Data",
Proceedings of the ACM CIKM 2018 Workshops, Turin, Italy, 10/2018.
Abstract
Download: eyre2018-kroll-BAFREC-camera-ready.pdf (570.25 KB)
"The Basic Building Block of Information Systems",
Information System Concepts: An In-Depth Analysis: North-Holland, Amsterdam, 1989, pp. 225-246, 1989.
Abstract
Download: 1989BBBofIS.pdf (1.08 MB)
A Basic Calculus for Verifying Properties of Synchronously Interacting Objects,
, no. 94-05: Technische Universität Braunschweig, 1994.
Abstract