Home › Biblio

Biblio

Export 55 results:
Sort by: [ Author (Desc)] Keyword Title Type Year
Filters: First Letter Of Title is A  [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]
V
Vlachantonis, N., and P. Hartel, "An Approach towards the Conceptual Modelling of the Tool Integration Aspect", Proc. 6th Int1 Conf1 Software Engineering & Its Application1 (SEA'93): EC2, Nanterre, France, pp. 543-553, 1993. Abstract
S
Sernadas, A., J. Fiadeiro, C. Sernadas, and H. - D. Ehrich, "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)
Saake, G., R. Jungclaus, and T. Hartmann, "Application Modelling in Heterogeneous Environments using an Object Specification Language", Int1 Journal of Intelligent and Cooperative Information Systems, vol. 2, no. 4, pp. 425-449, 1993. Abstract
Saake, G., R. Jungclaus, and C. Sernadas, "Abstract Data Type Semantics for Many-Sorted Object Query Algebras", Proceedings 3rd. Symp. on Mathematical Fundamentals of Database and Knowledge Base Systems MFDBS-91, Rostock (D): LNCS 495, Springer, Berlin, pp. 291-307, 1991. Abstract
Saake, G., R. Jungclaus, and T. Hartmann, "Application Modelling in Heterogeneous Environments using an Object Specification Language", Int1 Conf1 on Intelligent & Cooperative Information Systems (ICICIS'93): IEEE Computer Society Press, pp. 309-318, 1993. Abstract
P
Pinto, J. M. G., and W. - T. Balke, "Assessing plausibility of scientific claims to support high-quality content in digital collections", International Journal of Digital Libraries: Springer Berlin Heidelberg, 10/2018.  Download: GonzálezPinto-Balke2018_Article_AssessingPlausibilityOfScienti.pdf (906.17 KB)
N
Nieke, C., M. Lassnig, L. Menichetti, E. Motesnitsalis, and D. Duellmann, "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
Neumann, K., "Auf dem Weg zu korrekten Daten - Ein Kompromiß für Anwender", Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe 1, no. 118, pp. 77-96, 1998. Abstract
Neumann, K., and R. Sudmann, "Automatische kartographische Visualisierung von ATKIS-Daten mit einfachen Mitteln", Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe 1, no. 117, pp. 59-69, 1997. Abstract
M
Mennicke, S., M. Lochau, J. Schroeter, and T. Winkelmann, "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
Mathiak, B., and S. Eckstein, Automatische Lernverfahren zur Analyse von biomedizinischer Literatur, , no. 2004-2: Technische Universität Braunschweig, 2004. Abstract
Mathiak, B., A. Kupfer, R. Münch, C. Täubner, and S. Eckstein, "Analysing layout information: searching PDF documents for pictures", LWA 2005 Lernen - Wissen - Adaptivität, pp. 190-195, 2005. Abstract
L
Lofi, C., "Analogy Queries in Information Systems – A New Challenge", Journal of Information & Knowledge Management (JIKM), vol. 12, no. 3, 09/2013.  Download: 13JIKM.pdf (729.8 KB)
Loeckx, J., H. - D. Ehrich, and M. Wolf, "Algebraic specification of abstract data types", Handbook of Logic in Computer Science, Volume 5: Oxford Science Publications, pp. 217-316, 2000. Abstract
K
Kroll, H., C. K. Kreutz, B. M. Thang, and W. - T. Balke, "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)
Kroll, H., and W. - T. Balke, 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)
Kalo, J. - C., S. Homoceanu, J. Rose, and W. - T. Balke, "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)
Kalo, J. - C., "Analysing the Problem of Transitivity in Instance Matching Tasks on Linked Data", Carl-Friedrich-Gauß Fakultät: Technische Universität Braunschweig, 2014.  Download: thesis.pdf (2.69 MB)
H
Huhn, M., H. Wehrheim, and G. Denker, Action Refinement - An Application of Process Theory on Object-Oriented Specification, , no. 40/95: Universität Hildesheim, November, 1995. Abstract
Huhn, M., H. Wehrheim, and G. Denker, "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
Homoceanu, S., F. Geilert, C. Pek, and W. - T. Balke, "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)
Hohenstein, U., Automatic Transformation of Entity-Relationship Schemas into Relational Schemas, , no. 88-10: Technische Universität Braunschweig, 1988. Abstract
Hohenstein, U., "Automatic Transformation of an Entity-Relationship Query Language into SQL", Proc1 8th Int1 Conf1 on the Entity-Relationship Approach, pp. 309-327, 1989. Abstract
Herzig, R., and M. Gogolla, "An Animator for the Object Specification Language TROLL \em light", Proc. Colloquium on Object Orientation in Databases and Software Engineerin1 (COODBSE'94): Universit\'e du Queb\'ec \`a Montr\'eal, pp. 4-17, 1994. Abstract
Hartmann, T., and R. Jungclaus, "Abstract Description of Distributed Object Systems", Proc1 ECOOP'91 Workshop on Object-Based Concurrent Computing. Geneva (CH), 1991: Springer, LNCS 612, Berlin, pp. 227-244, 1992. Abstract
Hartmann, T., R. Jungclaus, and G. Saake, "Aggregation in a Behavior Oriented Object Model", Proc1 European Conference on Object-Oriented Programming (ECOOP'92): Springer, LNCS 615, Berlin, pp. 57-77, 1992. Abstract
Hartmann, T., and G. Saake, Abstract Specification of Object Interaction, , no. 93-08: Technische Universität Braunschweig, 1993. Abstract
Hartmann, T., R. Jungclaus, and G. Saake, "Animation Support for a Conceptual Modelling Language", Proc1 4th Int1 Conf1 on Database and Expert Systems Applications (DEXA), Prague: LNCS 720, Springer, Berlin, pp. 56-67, 1993. Abstract
G
Grau, A., "An Animation System for Validating Object-Oriented Conceptual Models", 4th Doctoral Consortium on Advanced Information Systems Engineerin1 (CAISE'97), Barcelona, June 16-17 1997: Fachberichte Informatik 14/97, Univ. Koblenz-Landau, 1997. Abstract
Grau, A., "Analysing Object Specifications for Execution", 10. Workshop Grundlagen von Datenbanken, Konstanz, June 2-5 1998: Konstanzer Schriften in Mathematik und Informatik Nr. 63, Univ. Konstanz, pp. 32-36, 1998. Abstract
Gogolla, M., K. Drosten, U. Lipeck, and H. - D. Ehrich, "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)
Gogolla, M., Algebraic Specifications with Partially Ordered Sorts and Declarations, , no. 169: Abt1 Informatik, Universität Dortmund, 1983. Abstract
Gogolla, M., "Algebraization and Integrity Constraints for an Extended Entity-Relationship Approach", Proc1 Theory and Practice of Software Developmen1 (TAPSOFT'89): Springer, Berlin, LNCS 351, pp. 259-274, 1989. Abstract
Gogolla, M., K. Drosten, U. W. Lipeck, and H. - D. Ehrich, "Algebraic and Operational Semantics of Specifications allowing Exceptions and Errors", Theoretical Computer Science, vol. 34, 1984. Abstract  Download: 1984TCS-ExcErr.pdf (728.49 KB)
Gogolla, M., and H. - D. Ehrich, "Algebraic Specifications with Subsorts Using Declarations", EATCS Bulletin, vol. 21, pp. 31-38, 1983. Abstract  Download: 1983EATCSBull.pdf (93.61 KB)