Biblio

Export 133 results:
Sort by: [ Author  (Asc)] Keyword Title Type Year
Filters: Author is Ehrich, H.-D.  [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 
E
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., G. Denker, and A. Sernadas, "Constructing Systems as Object Communities", Proc Theory and Practice of Software Developmen1 (TAPSOFT'93): Springer, Berlin, LNCS 668, pp. 453-467, 1993. Abstract  Download: 1993TAPSOFT.pdf (320.97 KB)
Ehrich, H. - D., "Informationssysteme - Hilfe für Dienstleister aller Art", Carolo-Wilhelmina Mitteilungen, vol. Band 35 (Sonderheft "10 Jahre Simultan-Studiengänge"), pp. 46-47, 2000. Abstract  Download: 2000CWM.pdf (461.8 KB)
Ehrich, H. - D., and K. - D. Schewe(eds), "Proceedings QSIC 2004", QSIC 2004, Braunschweig, IEEE CS Press, 2004. Abstract
Ehrich, H. - D., "KORSO Reference Languages -- Concepts and Application Domains", M. Broy and S. Jähnichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Final Report, pages 150–172. Springer, LNCS 1009, 1995. Abstract  Download: 1995KORSOref.pdf (444.2 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., U. W. Lipeck, and M. Gogolla, "Specification, Semantics, and Enforcement of Dynamic Database Constraints", Proc Int Conf on Very Large Databases VLDB '84, pp. 301-308, 1984. Abstract  Download: 1984VLDB.pdf (462.55 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., 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., S. Eckstein, B. Mathiak, A. Kupfer, and C. Täubner, "Bioinformatik - Erkenntnisse aus der Datenflut?", Abhandlungen der Braunschweigischen Wissenschaftlichen Gesellschaft, vol. LVII: J. Cramer Verlag, pp. 9-34, 2007. Abstract  Download: 2007BWG.pdf (491.15 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., "An Axiomatic Approach to Information Structures", Proc. 5th MFCS: Springer, LNCS 45, pp 277-283, 1976. Abstract  Download: 1976MFCS.pdf (364.21 KB)
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., 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., "Extensions and Implementations of Abstract Data Type Specifications", Proc. 7th MFCS: Springer LNCS 64, pages 155–164, 1978. Abstract  Download: 1978MFCS.pdf (217.71 KB)
Ehrich, H. - D., M. Kollmann, and R. Pinger, "Distributed Model Checking", Proc. FM-TOOLS 2002, pp. 53-58, 2002. Abstract  Download: 2002FMTOOLS.pdf (595.59 KB)
Ehrich, H. - D., "Zur Theorie abstrakter Datentypen", Wiss. Z. Techn. Univ. Dresden, vol. 29,2, pp. 344-346, 1980.  Download: 1980Dresden.pdf (326.3 KB)
Ehrich, H. - D., and K. Neumann, Datenbanksysteme II, , no. 34: Technische Universität Braunschweig, 1996. Abstract
Ehrich, H. - D., "A Note on State Minimization of a Special Class of lncomplete Sequential Machines", IEEE Transactions on Computers, vol. C-21, No. 5: The Institute of Electrical and Electronics Engineers, Inc., pp. 500-502, 1972. Abstract  Download: 1972IEEE-C-21.pdf (144.06 KB)
Ehrich, H. - D., and A. Sernadas, "Fundamental Object Concepts and Constructions", Information Systems - Correctness and Reusability: TU Braunschweig, Informatik Bericht 91-03, pp. 1-24, 1991. Abstract
Ehrich, H. - D., "Fundamentals of Object-Oriented Information Systems Specification and Design: The OBLOG/TROLL Approach", Nuclear Instruments and Methods in Physics Research A: Elsevier, Amsterdam, pp. 375-378, 1994. Abstract  Download: 1994CERN.pdf (280.86 KB)
Ehrich, H. - D., "Überprüfung von Softwareskizzen und -entwürfen", Jahrbuch 2000 der Braunschweigischen Wissenschaftlichen Gesellschaft: J Cramer Verlag, pp. 69-72, 2001. Abstract  Download: 2001BWG.pdf (46.05 KB)
Ehrich, H. - D., "Theory of Direct-Access Storage Functions", Proc. IFIP'74 Congress, pp 647-651: North-Holland, 1974. Abstract  Download: 1974IFIP.pdf (217.89 KB)
Ehrich, H. - D., K. Drosten, and M. Gogolla, "Towards an Algebraic Semantics for Database Specification", Proc 2nd IFIP WG 2.6 Working Conf on Database Semantics ``Data and Knowledge'' (DS-2), Albufeira, Portugal, North-Holland, Amsterdam, pp. 119-135, 1988. Abstract  Download: 1988Albufeira.pdf (1.08 MB)
Ehrich, H. - D., and C. Caleiro, "Specifying Communication in Distributed Information Systems", Acta Informatica, vol. 36, no. Fasc1 8, pp. 591-616, 2000. Abstract  Download: 2000Acta.pdf (174.2 KB)
Ehrich, H. - D., "My ADT Shrine, invited lecture", Selected Papers from WADT 2010, Till Mossakowski and Hans-Jörg Kreowski, eds., Bremen, Springer LNCS 7137, pp. 13-24, 2012. Abstract  Download: 2012LNCS7137WADT10.pdf (498.99 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)
Ehrich, H. - D., and A. Sernadas, "Local Specification of Distributed Families of Sequential Objects", Logic and Computation, vol. 33, London, College Publications, pp. 1-22, 2018.  Download: 2017adt94.pdf (189.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., "Konzeptionelle Modellierung von Informationssystemen", Carolo-Wilhelmina Mitteilungen, vol. Band 34 (Schwerpunktheft Informatik), pp. 16-19, 1999. Abstract  Download: 1999CWM.pdf (515.72 KB)