Home › Biblio

Biblio

Export 106 results:
Sort by: [ Author (Asc)] Keyword Title Type Year
Filters: First Letter Of Last Name is E  [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]
E
Ehrich, H. - D., and V. G. Lohberger, "Parametrie Specification of Abstract Data Types, Parameter Substitution, and Graph Replacements", Proceedings of the Workshop on "Graphentheoretische Konzepte in der Informatik": Hanser-Verlag, 1979. Abstract  Download: 1979Graphen4.pdf (792.42 KB)
Ehrich, H. - D., S. Eckstein, B. Mathiak, A. Kupfer, and C. Täubner, "Bioinformatik: Erkenntnisse aus der Datenflut?", 18. Workshop Grundlagen von Datenbanken, pp. 13-32, June, 2006. Abstract  Download: 2006GrdlDB-Bio.pdf (538.74 KB)
Ehrich, H. - D., "Implicit Specification by Algebraic Domain Equations", EATCS Bulletin, vol. 13, pp. 45-51, 1981.  Download: 1981EATCS.pdf (341.1 KB)
Ehrich, H. - D., "Datenstrukturen und Q-Systeme - eine Mathematische Studie", Proc. 3. Jahrestagung der GI: Springer, LNCS 1, pp363-371, 1973. Abstract  Download: 1973GIJahrestagung.pdf (834.06 KB)
Ehrich, H. - D., F. Lohmann, K. Neumann, and I. Ramm, "A Database Language for Scientific Map Data", Construction and Display of Geosientific Maps Derived from Databases (Proc. Int. Coll. Dinkelsbühl 1986): Geologisches Jahrbuch A 104, pp. 139-152, 1988. Abstract  Download: 1988Geo.pdf (905.2 KB)
Ehrich, H. - D., C. Caleiro, A. Sernadas, and G. Denker, "Logics for Specifying Concurrent Information Systems", Logics for Databases and Information Systems: Kluwer Academic Publishers, pp. 167-198, 1998. Abstract  Download: 1998ECSD.pdf (255.81 KB)
Ehrich, H. - D., K. Alber, G. Stiege, R. Vollmar, and D. Wätjen, "40 Jahre Informatik an der Technischen Universität Braunschweig 1972-2012", Lecture Notes in Informatics, vol. T-6, Bonn, Gesellschaft für Informatik, pp. 188, 2012.
Ehrich, H. - D., "Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. Teil I: Datenstrukturen und Schemata", Acta Informatica, vol. 4: Springer, pp. 201-211, 1975. Abstract  Download: 1975Acta1.pdf (409.11 KB)
Ehrich, H. - D., "Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics", Proc Workshop on Category Theory and Computer Programming: Springer, Berlin, LNCS series, pp. 412-433, 1986. Abstract  Download: 1986KeyExtens.pdf (277.5 KB)
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)
Ehrich, H. - D., "Ein axiomatischer Ansatz für eine Algebra strukturierter Objekte", Graphensprachen und Algorithmen auf Graphen: Hanser, Appl. Comp. Sc. 1, pages 143–161, 1976. Abstract  Download: 1976Graphen1.pdf (522.3 KB)
Ehrich, H. - D., "BWG-Kommission „Das Kulturelle Erbe im Digitalen Zeitalter“", Jahrbuch der Braunschweigischen Wissenschaftlichen Gesellschaft, vol. 2017_32, pp. 210-212, 06/2018.  Download: 2017_32_Jahrbuch_BWG_Ehrich.pdf (509.2 KB)
Ehrich, H. - D., "On the Theory of Specification, Implementation and Parameterization of Abstract Data Types", Journal of the ACM, vol. 29, pp. 206-227, 1982. Abstract  Download: 1982JACM.pdf (449.29 KB)
Ehrich, H. - D., A. Sernadas, G. Saake, and C. Sernadas, "Distributed Temporal Logic for Concurrent Object Families", Working papers of the International Workshop on Information Systems - Correctness and Reusability: Vrije Universiteit Amsterdam, RapportNr. IR-357, pp. 22-30, 1994. Abstract
Ehrich, H. - D., and (ed), "Proceedings", GI – 14. Jahrestagung, Braunschweig, Informatik-Fachberichte Nr. 88, Springer, 1984. Abstract
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)
Ehrich, H. - D., G. Engels, J. Paradaens, P. Wegner, and (eds), Fundamentals of Object- Oriented Languages. Dagstuhl Seminar Report Nr. 95 (9434), , Schloss Dagstuhl, IBFI GmbH, 1994.  Download: 1994DagstuhlSeminar9434.pdf (336.72 KB)
Ehrich, H. - D., Object Specification, , no. 96-07: TU Braunschweig, 1996. Abstract
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, 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., and R. Pinger, "Checking object systems via multiple observers", International ICSC Congress on Intelligent Systems & Applications (ISA'2000) , vol. 1: International Computer Science Conventions (ICSC), Canada, pp. 242-248, 2000. Abstract  Download: 2000ISA.pdf (112.72 KB)
Ehrich, H. - D., J. A. Goguen, A. Sernadas, and (eds), "Foundations of Information Systems Specification and Design", Dagstuhl Seminar Report No. 35, Schloss Dagstuhl, IBFI GmbH, 1992. Abstract
Ehrich, H. - D., and V. G. Lohberger, "Constructing Specifications of Abstract Data Types by Replacements", Proc. Int. Colloquium on Graph Grammars: Springer LNCS 73, pp 180-191, 1978. Abstract  Download: 1978SpecReplace.pdf (214.4 KB)
Einer, S., and A. Grau, "Integrating Petri Nets and \sc Troll in the Modeling of Engineering Systems", Proc. of the IEEE TC-ECBS and IFIP WG 10.1 Joint Workshop on Formal Specifications of Computer Based Systems (FSCBS'01) Washington DC, pp. 7-12, April, 2001. Abstract
Engels, G., T. Janning, and W. Schäfer, "A Highly Integrated Tool Set for Program Development Support", Proc1 ACM Symposium on Personal and Small Computers: ACM, New York, 1988. Abstract
Engels, G., M. Gogolla, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, G. Saake, and H. - D. Ehrich, Conceptual Modelling of Database Applications Using an Extended ER Model, , no. 90-05: Technische Universität Braunschweig, 1990. Abstract
Engels, G., and A. Schürr, "A Hybrid Interpreter in a Software Development Environment", Proc. 1st European Software Engineering Conference: LNCS 289, Springer, Berlin, 1988. Abstract
Engels, G., and P. Löhr-Richter, "CADDY - A Highly Integrated Environment to Support Conceptual Database Design", Proc1 5th Int1 Workshop on CASE, July 6.-10., 1992, Montreal (Canada): IEEE Computer Society Press, pp. 19-22, 1992. Abstract
Engels, G., U. Hohenstein, G. Saake, and H. - D. Ehrich, "Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung", Proc GI-Workshop ``Sprachspezifische Programmierumgebungen'', pp. 38-51, 1988. Abstract  Download: 1988DBEntwUmg2.pdf (564.82 KB)
Engels, G., "Elementary Actions on an Extended Entity-Relationship Database", Proc1 of the 4th Intern1 Workshop on Graph Grammars and Their Application to Computer Science: LNCS Series, Springer, 1991. Abstract
Engels, G., U. Hohenstein, L. Neugebauer, G. Saake, and H. - D. Ehrich, "Konzeption einer integrierten Datenbank-Entwurfsumgebung", Proc1 DBTA/SI Conf1 ``Data Dictionaries und Entwicklungswerkzeuge für Datenbankanwendungen'': Verlag der Fachvereine an den Schweiz1 Hochschulen und Techniken, Zürich, pp. 151-157, 1988. Abstract  Download: 1988DBEntwUmg1.pdf (692.07 KB)
Engels, G., M. Gogolla, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, G. Saake, and H. - D. Ehrich, "Conceptual modelling of database applications using an extended ER model", Data & Knowledge Engineering, North-Holland, vol. 9, no. 2, pp. 157-204, 1992. Abstract  Download: 1992DKE.pdf (883.85 KB)
Engels, G., U. Hohenstein, K. Hülsmann, P. Löhr-Richter, and H. - D. Ehrich, "CADDY: Computer-Aided Design of Non-Standard Databases", Proc 1st Int Conf on System Development Environments and Factories: Pitman, London, 1990. Abstract  Download: 1990Caddy.pdf (896.19 KB)
Engels, G., "CADDY-O: Syntaxgestütztes, graphisches Entwerfen konzeptioneller Datenbankschemata", Proc1 GI-Fachtagung ``Interaktive Schnittstellen für Informationssysteme'', pp. 1-16, 1989. Abstract
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)