Home › Biblio

Biblio

Export 52 results:
Sort by: [ Author (Desc)] Keyword Title Type Year
Filters: First Letter Of Title is O  [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]
S
Sernadas, A., C. Sernadas, and H. - D. Ehrich, "Object-Oriented Specification of Databases: An Algebraic Approach", Proc 13th Int Conf on Very Large Databases VLDB'87: VLDB Endowment Press, Saratoga (CA), pp. 107-116, 1987. Abstract  Download: 1987VLDB.pdf (679.95 KB)
Saake, G., Objektorientierte Spezifikation von Informationssystemen, : Teubner, 1993. Abstract
Saake, G., T. Hartmann, and R. Jungclaus, "Objektspezifikation von Benutzerschnittstellen in \tt TROLL", Objektorientierte Methoden für Informationssysteme: Springer, Berlin, Reihe Informatik aktuell, pp. 173-186, 1993. Abstract
Saake, G., Objektorientierte Modellierung von Informationssystemen, , no. 28: Technische Universität Braunschweig, 1992. Abstract
Saake, G., On First Order Temporal Logics with Changing Domains for Information System Specification, , no. 89-01: Technische Universität Braunschweig, 1989. Abstract
Saake, G., T. Hartmann, R. Jungclaus, and H. - D. Ehrich, "Object-Oriented Design of Information Systems: \tt TROLL Language Features", Advances in Database Systems, Implementations and Applications: Springer Verlag, Wien, CISM Courses and Lectures no. 347, pp. 219-245, 1994. Abstract  Download: 1994CISM2.pdf (981.53 KB)
Saake, G., R. Jungclaus, and H. - D. Ehrich, "Object-Oriented Specification and Stepwise Refinement", Proc Open Distributed Processing, Berlin (D), 8.-11. Okt 1991 (IFIP Transactions C: Communication Systems, Vol 1): North-Holland, pp. 99-121, 1992. Abstract  Download: 1992SaaJungEh.pdf (313.37 KB)
R
Ryan, M. D., J. - J. C. Meyer, H. - D. Ehrich, and (eds), Objects, Agents, and Features. Dagstuhl Seminar 13081 Report, , Schloss Dagstuhl, IBFI GmbH, 2003.  Download: 2003DagstuhlSeminar03081.pdf (97.64 KB)
Ryan, M. D., J. - J. C. Meyer, H. - D. Ehrich, and (eds), "Objects, Agents, and Features", Dagstuhl Seminar 03081, Dagstuhl, Springer LNCS 2975, 2004. Abstract  Download: 2004ObjAgFeatIntro.pdf (294.54 KB)
Ryan, M. D., J. - J. C. Meyer, H. - D. Ehrich, and (eds), Objects, Agents, and Features. Dagstuhl Seminar 13081 Report, , Schloss Dagstuhl, IBFI GmbH, 2003.  Download: 2003DagstuhlSeminar03081.pdf (97.64 KB)
P
Pinto, J. M. G., and W. - T. Balke, "Offering Answers for Claim-Based Queries: A New Challenge for Digital Libraries", The 19th International Conference on Asia-Pacific Digital Libraries (ICADL 2017) , Bangkok, Thailand, 2017. Abstract  Download: cbq.pdf (661.53 KB)
M
Mennicke, S., J. - W. Schicke-Uffmann, and U. Goltz, "On the Step Branching Time Closure of Free-Choice Petri Nets", Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2014), Berlin, Germany, Springer Berlin Heidelberg, 02/2014. Abstract
Mennicke, S., "An Operational Petri Net Semantics for the Join-Calculus", Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, EXPRESS/SOS 2012, Newcastle upon Tyne, UK, Electronic Proceedings in Theoretical Computer Science, 09/2012. Abstract
L
Löhr-Richter, P., and G. Reichwein, Object Oriented Life Cycle Model, , no. 93-05: University of Braunschweig, 1993. Abstract
Löhr-Richter, P., and G. Reichwein, "Object Orientation as a Promising Perspective for Life Cycle Models", Proc1 Intern. Workshop on Information Systems - Correctness and Reusability IS-CORE '93, Technical Report, University of Hannover No1 01/93, pp. 289-306, 1993. Abstract
Lofi, C., and W. - T. Balke, "On Skyline Queries and how to Choose from Pareto Sets", Advanced Query Processing: Issues and Trends, vol. 1: Springer, pp. 15–36., 2012. Abstract  Download: printversion.pdf (415.01 KB)
Lee, J., G. -won You, S. -won Hwang, J. Selke, and W. - T. Balke, "Optimal Preference Elicitation for Skyline Queries over Categorical Domains", 19th International Conference on Database and Expert Systems Applications (DEXA), Turin, Italy, 07/2008. Abstract  Download: DEXA08-camera-ready.pdf (538.87 KB)
K
Küster Filipe, J., K. - K. Lau, M. Ornaghi, and H. Yatsu, "On Dynamic Aspects of OOD Frameworks in Component-based Software Development in Computational Logic", Pre-Proceedings of the 9th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'99), Venice, 22-24 September: Universit\`a C\'a Foscari di Venezia, Dipartamento di Informatica, Rapporto di Ricerca CS-99-16, pp. 65-73, 1999. Abstract
Küster Filipe, J., K. - K. Lau, M. Ornaghi, and H. Yatsu, "On Dynamic Aspects of OOD Frameworks in Component-based Software Development in Computational Logic", Proceedings of the 9th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'99), Venice, 22-24 September 1999, Selected papers: Springer-Verlag, LNCS 1817, pp. 43-62, 2000. Abstract
Küster Filipe, J., On a Distributed Temporal Logic for Modular Object Systems, , no. 98-06: Technical University Braunschweig, 1998. Abstract
Kroll, H., and W. - T. Balke, "On Design Principles for Narrative Information Systems", Proceedings of the IJCAI/ECAI 2022 Workshop on Semantic Techniques for Narrative-based Understanding, Vienna, Austria, 12/2022. Abstract  Download: Kroll2022_On Narrative Information Systems.pdf (1.01 MB)
Kroll, H., J. Al-Chaar, and W. - T. Balke, "Open Information Extraction in Digital Libraries: Current Challenges and Open Research Questions", 1th International Workshop on Digital Infrastructures for Scholarly Content Objects (DISCO@JCDL2021), Urbana-Champaign, IL, USA, CEUR Proceedings, Vol-2976, 09/2021. Abstract  Download: DISCO2021_Kroll_OpenIE Challenges.pdf (350.57 KB)
Kroll, H., N. Mainzer, and W. - T. Balke, "On Dimensions of Plausibility for Narrative Information Access to Digital Libraries", The 26th International Conference on Theory and Practice of Digital Libraries (TPDL), Padua, Italy, Springer, 09/2022. Abstract  Download: TPDL_2022_Kroll_Dimensions_for_NIA.pdf (600.1 KB)
Kowsari, M., On the Development and Use of a Formal Object Oriented Methodology Based on an Application Case Study, : Technical University Braunschweig, Germany, January, 2003. Abstract
J
Jungclaus, R., G. Saake, T. Hartmann, and C. Sernadas, Object-Oriented Specification of Information Systems: The TROLL Language, , no. 91-04: TU Braunschweig, 1991. Abstract
H
Hon, Y. M., J. - T. Tecker, and H. - D. Ehrich, "OOLH: A formal framework for specifying system requirements", SIGSAND-EUROPE 2008, Berlin, Springer LNI, Vol. 129, 2008. Abstract  Download: 2008OOLH.pdf (71.71 KB)
Hartmann, T., "Operationalisierung von Objektspezifikationen", Grundlagen von Datenbanken: Univ1 Rostock, Bericht 3-93, pp. 64-68, 1993. Abstract
Hartel, P., and P. B. Inacio, "Object-Orientation and Information Modeling", Proc1 OOPSLA Workshop on Object-Oriented Reasoning in Information Modeling: Institute for Information Management and Department of Computer and Information Systems, Robert Morris College, Pennsylvania, pp. 13-16, 1992. Abstract
Hartel, P., and P. B. Inacio, "Object-Orientation and Real-Time System Development", Proc1 OOPSLA Workshop on Object-Oriented Technology in Real-Time Systems: Past, Present, and Future, 1992. Abstract
G
Güntzer, U., W. - T. Balke, and W. Kießling, "Optimizing Multi-Feature Queries for Image Databases", 26th International Conference on Very Large Databases (VLDB 2000), Cairo, Egypt, 2000. Abstract  Download: vldb00.pdf (190.85 KB)
Gogolla, M., "On Formal Semantics of Some Semantic Data Models", Proc. 9th Int. Symposium on Computer and Information Scienc1 (ISCIS'94): Bogazici University Printhouse, Istanbul, pp. 33-40, 1994. Abstract
Gogolla, M., and I. Claßen, "An Object-Oriented Design for the ACT ONE Environment", Proc1 3rd Int1 Conf1 on Algebraic Methodology and Software Technolog1 (\mboxAMAST'93): Springer, London, Workshops in Computing, pp. 361-368, 1993. Abstract
Gogolla, M., "On Parametric Algebraic Specifications with Clean Error Handling", Proc1 TAPSOFT'87, Pisa (I), Vol1 I: LNCS 249, Springer, Berlin, pp. 81-95, 1987. Abstract
E
Engels, G., U. Pletat, and H. - D. Ehrich, "An operational semantics for specification of abstract data types with error handling", Acta Informatica, vol. 19: Springer, pp. 235-253, 1983. Abstract  Download: 1983Acta.pdf (667.18 KB)
Ehrich, H. - D., "On Realization and Implementation", MFCS: Springer LNCS 118, 1981. Abstract  Download: 1981MFCS.pdf (167.47 KB)