Biblio

Export 49 results:
Sort by: [ Author  (Asc)] 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]
B
Balke, W. - T., U. Güntzer, and W. Kießling, "On Real-time Top k Querying for Mobile Services", 10th International Conference on Cooperative Information Systems (CoopIS 2002), Irvine, CA, USA, Springer, 2002. Abstract  Download: coopis02.pdf (372.94 KB)
C
Cho, S. R., and W. - T. Balke, "Order-Preserving Optimization of Twig Queries with Structural Preferences", International Database Engineering & Applications Symposium (IDEAS) , Coimbra, Portugal, 2008. Abstract  Download: IDEAS08.pdf (559.96 KB)
Conrad, S., "On Certification of Specifications for TROLL \it light\/ Objects", Proc1 9th Workshop on Abstract Data Types - 4th Compass Workshop (ADT'92): Springer, LNCS 785, pp. 158-172, 1994. Abstract
Costa, J. - F., A. Sernadas, C. Sernadas, and H. - D. Ehrich, "Object Interaction", Mathematical Foundations of Computer Science (MFCS'92): Springer Verlag, pp. 200-208, 1992. Abstract  Download: 1992MFCS.pdf (56.77 KB)
Crnkovic, I., J. Küster Filipe, M. Larsson, and K. - K. Lau, "Object-Oriented Design Frameworks: Formal Specification and Some Implementation Issues", Databases and Information Systems: Proceedings of the 4th IEEE International Baltic Workshop, Volume 2, Vilnius, Lithuania, May 1-5, 2000: Vilnius Gediminas Technical University, Lithuanian Computer Society, pp. 63-77, 2000. Abstract
Crnkovic, I., J. Küster Filipe, M. Larsson, and K. - K. Lau, "Object-Oriented Design Frameworks: Formal Specification and Some Implementation Issues", Data Bases and Information Systems: Fourth International Baltic Workshop on DB and IS (Selected Papers): Kluwer Academic Publishers, 2000. Abstract
D
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
E
Ehrich, H. - D., M. Gogolla, and A. Sernadas, "Objects and their Specification", Proc 8th Workshop on Abstract Data Types (ADT'91): Springer, Berlin, LNCS 655, pp. 40-65, 1992. Abstract  Download: 1992ObjSpec.pdf (456.9 KB)
Ehrich, H. - D., "On Realization and Implementation", MFCS: Springer LNCS 118, 1981. Abstract  Download: 1981MFCS.pdf (167.47 KB)
Ehrich, H. - D., "Outline of an Algebraic Theory of Structured Objects", Proc. 3rd ICALP, pages 508-530: Edinburgh University Press, 1976. Abstract  Download: 1976EdinBurgh.pdf (966.41 KB)
Ehrich, H. - D., A. Sernadas, and C. Sernadas, "Objects, Object Types, and Object Identification", Categorical Methods in Computer Science: LNCS 393, Springer, Berlin, pp. 142-156, 1989. Abstract  Download: 1989ObjOtypOid.pdf (313.66 KB)
Ehrich, H. - D., R. Jungclaus, G. Denker, and A. Sernadas, "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)
Ehrich, H. - D., R. Jungclaus, and G. Denker, "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
Ehrich, H. - D., "Object Specification", Algebraic Foundations of Systems Specification: Springer, pp. 435-465, 1999. Abstract  Download: 1999ObjSpec.pdf (243.61 KB)
Ehrich, H. - D., and J. W. Lipski, "On the Storage Space Requirement of Consecutive Retrieval with Redundancy", Information Processing Letters, vol. 4 (4), pp. 101-104, 1976.  Download: 1976ConsecRetrieval.pdf (168.16 KB)
G
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., "On Parametric Algebraic Specifications with Clean Error Handling", Proc1 TAPSOFT'87, Pisa (I), Vol1 I: LNCS 249, Springer, Berlin, pp. 81-95, 1987. 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
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)
H
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
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
Hartmann, T., "Operationalisierung von Objektspezifikationen", Grundlagen von Datenbanken: Univ1 Rostock, Bericht 3-93, pp. 64-68, 1993. Abstract
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)
J
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
L
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)
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)
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