Home › Biblio

Biblio

Export 57 results:
Sort by: Author Keyword [ Title (Asc)] 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]
A
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
Ehrich, H. - D., "Abstract Data Types", The Concise Handbook of Algebra: Kluwer Academic Publishers, pp. 486-490, 2002. Abstract  Download: 2002HandbAlgebra.pdf (528.49 KB)
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
Ehrich, H. - D., A. Sernadas, and C. Sernadas, "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)
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)
Hartmann, T., and G. Saake, Abstract Specification of Object Interaction, , no. 93-08: Technische Universität Braunschweig, 1993. Abstract
Ehrich, H. - D., G. Engels, M. Gogolla, G. Saake, and (eds), "Abstracts des Workshops "Grundlagen von Datenbanken"", Abstracts des Workshops "Grundlagen von Datenbanken": Informatik-Bericht Nr. 89-02, Technische Universität Braunschweig, 1989. Abstract
, Abstracts des Workshops ``Grundlagen von Datenbanken'', : Technische Universität Braunschweig, Informatik-Bericht 89-02, 1989. Abstract
, Abstracts of the 4th Workshop on Specification of Abstract Data Types, : Technische Universität Braunschweig, Informatik-Bericht 86-09, 1986. Abstract
Ehrich, H. - D., K. Drosten, M. Gogolla, U. Lipeck, and (eds), "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
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
Denker, G., and H. - D. Ehrich, "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)
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
Ehrich, H. - D., "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)
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., 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)
Ehrich, H. - D., and U. Lipeck, "Algebraic domain equations", Theoretical Computer Science, vol. 27, pp. 167-196, 1983. Abstract  Download: 1983TCS-ADE.pdf (951.11 KB)
Ehrich, H. - D., and A. Sernadas, "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)
Ehrich, H. - D., "Algebraic Semantics of Type Definitions and Structured Variables", Proc. FCT’77: Springer LNCS 56, 1977. Abstract  Download: 1977FCT.pdf (283.25 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
Gogolla, M., Algebraic Specifications with Partially Ordered Sorts and Declarations, , no. 169: Abt1 Informatik, Universität Dortmund, 1983. Abstract
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)
Ehrich, H. - D., M. Gogolla, and U. W. Lipeck, Algebraische Spezifikation abstrakter Datentypen, : Teubner, Stuttgart, 1989. Abstract
Ehrich, H. - D., "Algebraische Spezifikation von Datenstrukturen", Datenstrukturen, Graphen, Algorithmen.: Hanser Appl. Comp. Sc. 8, pp 48-61, 1978. Abstract  Download: 1978Graphen3.pdf (419.04 KB)
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
Balke, W. - T., "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)
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)
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
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
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)
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
Eckstein, S., "Anforderungen an ein Modulkonzept für objektorientierte Spezifikationssprachen", 9. Workshop Grundlagen von Datenbanke1 , Königslutter, Mai 20-23 1997: Forschungsbericht Nr. 643, Fachbereich Informatik, Univ. Dortmund, pp. 16-20, 1997. 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
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