Hans-Dieter Ehrich

86 papers A* 3A 4B 8C 1Misc 2Journal 19Unranked 38

Year	Rank	Type	Title / Venue / Authors
2012	—	`ed.`	40 Jahre Informatik an der Technischen Universität Braunschweig, 1972 - 2012, Zum Workshop auf der GI-Jahrestagung 2012 in Braunschweig 40 Jahre Informatik @ Braunschweig Hans-Dieter Ehrich, Klaus Alber, Günther Stiege, Roland Vollmar, Dietmar Wätjen
2012	—	`conf`	Datenbanken und Informationssysteme. 40 Jahre Informatik @ Braunschweig Günther Stiege, Hans-Dieter Ehrich, Wolf-Tilo Balke
2010	A	`conf`	Model Checking PLC Software Written in Function Block Diagram. ICST Olivera Pavlovic, Hans-Dieter Ehrich
2010	—	`conf`	My ADT Shrine. WADT Hans-Dieter Ehrich
2008	—	`conf`	OOLH: A Formal Framework for Specifying System Requirements. SIGSAND-EUROPE Yuen Man Hon, Jan-Tecker Gayen, Hans-Dieter Ehrich
2006	—	`conf`	Bioinformatik: Erkenntnisse aus der Datenflut? Grundlagen von Datenbanken Hans-Dieter Ehrich, Silke Eckstein, Brigitte Mathiak, Andreas Kupfer, Claudia Täubner
2006	J	`jnl`	Editorial. J. Syst. Softw. Hans-Dieter Ehrich, Klaus-Dieter Schewe, T. H. Tse
2005	J	`jnl`	Harmonizing intra- and inter-object specification and verification: a multi-object logics approach. ACM SIGSOFT Softw. Eng. Notes Hans-Dieter Ehrich
2004	J	`jnl`	Editorial. Inf. Softw. Technol. Huimin Lin, Hans-Dieter Ehrich, T. H. Tse
2004	—	`ed.`	Objects, Agents, and Features, International Seminar, Dagstuhl Castle, Germany, February 2003, Revised and Invited Papers Objects, Agents, and Features Mark Dermot Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich
2003	J	`jnl`	Checking Object System Designs Incrementally. J. Univers. Comput. Sci. Hans-Dieter Ehrich, Maik Kollmann, Ralf Pinger
2003	—	`conf`	Objects, Agents, and Features: An Introduction. Objects, Agents, and Features John-Jules Ch. Meyer, Mark Dermot Ryan, Hans-Dieter Ehrich
2001	B	`conf`	Compositional Checking of Communication among Observers. FASE Ralf Pinger, Hans-Dieter Ehrich
2000	J	`jnl`	Specifying Communication in Distributed Information Systems. Acta Informatica Hans-Dieter Ehrich, Carlos Caleiro
1999	—	`ch.`	Object Specification. Algebraic Foundations of Systems Specification Hans-Dieter Ehrich
1998	—	`conf`	Logics for Specifying Concurrent Information Systems. Logics for Databases and Information Systems Hans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas, Grit Denker
1998	A	`conf`	The TROLL Approach to Conceptual Modeling: Syntax, Semantics and Tools. ER Antonio Grau, Juliana Küster Filipe, Mojgan Kowsari, Silke Eckstein, Ralf Pinger, Hans-Dieter Ehrich
1997	J	`jnl`	Information Systems Modelling with TROLL Formal Methods at Work. Inf. Syst. Peter Hartel, Grit Denker, Mojgan Kowsari, Maren Krone, Hans-Dieter Ehrich
1996	A	`conf`	Developing an Information System Using TROLL: An Application Field Study. CAiSE Maren Krone, Mojgan Kowsari, Peter Hartel, Grit Denker, Hans-Dieter Ehrich
1996	—	`book`	Specification of abstract data types. Jacques Loeckx, Hans-Dieter Ehrich, Markus Wolf
1995	J	`jnl`	Entwicklung zuverlässiger Informationssysteme. EMISA Forum Stefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, Hans-Dieter Ehrich
1995	—	`ch.`	Korso Reference Languages - Concepts and Application Domains. KORSO Book Hans-Dieter Ehrich, Franz Regensburger, Wolfgang Grieskamp, Carola Gerke, Rudolf Herzig, Martin Gogolla, Grit Denker, Ernst-Rüdiger Olderog
1994	—	`conf`	Local Specification of Distributed Families of Sequential Objects. COMPASS/ADT Hans-Dieter Ehrich, Amílcar Sernadas
1994	—	`conf`	Modulare Semantik für nebenläfige Familien sequentieller Objekte. Grundlagen von Datenbanken Hans-Dieter Ehrich
1993	—	`conf`	Constructing Systems as Object Communities. TAPSOFT Hans-Dieter Ehrich, Grit Denker, Amílcar Sernadas
1993	—	`conf`	Object-Oriented Design of Information Systems: TROLL Language Features. CISM - Advances in Database Systems Gunter Saake, Thorsten Hartmann, Ralf Jungclaus, Hans-Dieter Ehrich
1993	—	`conf`	Object-Oriented Design of Information Systems: Theoretical Foundations. CISM - Advances in Database Systems Hans-Dieter Ehrich, Ralf Jungclaus, Grit Denker, Amílcar Sernadas
1993	A	`conf`	Towards Reliable Information Systems: The KorSo Approach CAiSE Nikolaos Vlachantonis, Rudolf Herzig, Martin Gogolla, Grit Denker, Stefan Conrad, Hans-Dieter Ehrich
1993	—	`conf`	Zur Entwicklung zuverlässiger Informationssysteme in KorSo. GI Jahrestagung Stefan Conrad, Grit Denker, Martin Gogolla, Rudolf Herzig, Nikolaos Vlachantonis, Hans-Dieter Ehrich
1992	—	`conf`	Concepts of Object-Orientation. IS/KI Hans-Dieter Ehrich, Gunter Saake, Amílcar Sernadas
1992	J	`jnl`	Conceptual modelling of database applications using extended ER model. Data Knowl. Eng. Gregor Engels, Martin Gogolla, Uwe Hohenstein, Klaus Hülsmann, Perdita Löhr-Richter, Gunter Saake, Hans-Dieter Ehrich
1992	B	`conf`	Object Interaction. MFCS José Félix Costa, Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich
1992	—	`conf`	Spezifikation von Objektsystemen. Objektbanken für Experten Thorsten Hartmann, Ralf Jungclaus, Gunter Saake, Hans-Dieter Ehrich
1991	—	`conf`	Object-Oriented Specification and Stepwise Refinement. Open Distributed Processing Gunter Saake, Ralf Jungclaus, Hans-Dieter Ehrich
1991	—	`conf`	Objects and their Specification. COMPASS/ADT Hans-Dieter Ehrich, Martin Gogolla, Amílcar Sernadas
1990	—	`conf`	A Categorial Theory of Objects as Observed Processes. REX Workshop Hans-Dieter Ehrich, Joseph A. Goguen, Amílcar Sernadas
1990	J	`jnl`	From Data Types to Object Types. J. Inf. Process. Cybern. Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas
1990	—	`conf`	What is an Object, After All? DS-4 Amílcar Sernadas, Hans-Dieter Ehrich
1989	—	`conf`	Algebraic Implementation of Objects over Objects. REX Workshop Hans-Dieter Ehrich, Amílcar Sernadas
1989	—	`book`	Algebraische Spezifikation abstrakter Datentypen - eine Einführung in die Theorie. Hans-Dieter Ehrich, Martin Gogolla, Udo W. Lipeck
1989	Misc	`conf`	Entwurf eines Datenbank-Prototyps für geowissenschaftliche Anwendungen. BTW Friedrich Lohmann, Karl Neumann, Hans-Dieter Ehrich
1989	—	`conf`	Objekt-orientierter Entwurf von Informationssystmenen: Das IS-CORE Projekt. Grundlagen von Datenbanken Hans-Dieter Ehrich
1989	C	`conf`	The Basic Building Blocks of Information Systems. ISCO Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich
1989	—	`ed.`	Workshop Grundlagen von Datenbanken, GvD 1989. Technische Universität Braunschweig, Germany GvDB Hans-Dieter Ehrich, Gregor Engels, Martin Gogolla, Gunter Saake
1988	—	`conf`	Abstract Object Types for Databases. OODBS Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas
1988	—	`conf`	Objects and Object Types. ADT Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas
1988	—	`conf`	Objects, Object Types, and Object Identification. Categorial Methods in Computer Science Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas
1987	—	`conf`	Abstract Object Types: A Temporal Perspective. Temporal Logic in Specification Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich
1987	A*	`conf`	Object-Oriented Specification of Databases: An Algebraic Approach. VLDB Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich
1987	Misc	`conf`	Regelorientierte Erzeugung von Karten-Entwürfen auf geowissenschaftlichen Datenbanken. BTW Michael Drawin, Karl Neumann, Hans-Dieter Ehrich
1987	—	`conf`	Three-Level-Specification of Databases using an extended Entity-Relationship Model. EMISA Uwe Hohenstein, Leonore Neugebauer, Gunter Saake, Hans-Dieter Ehrich
1986	—	`ed.`	Proceedings of the 4st Workshop on Abstract Data Type, 1986. University of Braunschweig, Germany ADT Klaus Drosten, Hans-Dieter Ehrich, Martin Gogolla, Udo W. Lipeck
1986	—	`conf`	Towards an Algebraic Semantics for Database Specification. DS-2 Hans-Dieter Ehrich, Klaus Drosten, Martin Gogolla
1986	—	`conf`	Towards an Algebraic Semantics for Databases. ADT Hans-Dieter Ehrich
1985	—	`conf`	Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics. CTCS Hans-Dieter Ehrich
1985	—	`conf`	Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic. TFAIS Udo W. Lipeck, Hans-Dieter Ehrich, Martin Gogolla
1984	—	`conf`	Algebraic (?) Specification of Conceptual Database Schemata. ADT Hans-Dieter Ehrich
1984	J	`jnl`	Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors. Theor. Comput. Sci. Martin Gogolla, Klaus Drosten, Udo W. Lipeck, Hans-Dieter Ehrich
1984	—	`ed.`	Fachgespräche auf der 14. GI-Jahrestagung, Braunschweig, 1.-2. Oktober 1984, Proceedings GI Jahrestagung (Fachgespräche) Hans-Dieter Ehrich
1984	—	`ed.`	GI - 14. Jahrestagung, Braunschweig, 2.-4. Oktober 1984, Proceedings GI Jahrestagung Hans-Dieter Ehrich
1984	A*	`conf`	Specification, Semantics, and Enforcement of Dynamic Database Constraints. VLDB Hans-Dieter Ehrich, Udo W. Lipeck, Martin Gogolla
1983	J	`jnl`	Algebraic Domain Equations. Theor. Comput. Sci. Hans-Dieter Ehrich, Udo W. Lipeck
1983	J	`jnl`	Algebraic Specification with subsorts using declarations. Bull. EATCS Martin Gogolla, Hans-Dieter Ehrich
1983	—	`conf`	Algebraic Specifications of Database Constraints. ADT Udo W. Lipeck, Hans-Dieter Ehrich
1983	—	`conf`	Algebraic and operational semantics of exceptions and errors. Theoretical Computer Science Martin Gogolla, Klaus Drosten, Udo W. Lipeck, Hans-Dieter Ehrich
1983	J	`jnl`	An Operational Semantics for Specifications of Abstract Data Types with Error Handling. Acta Informatica Gregor Engels, Udo Pletat, Hans-Dieter Ehrich
1982	—	`conf`	Algebraic Domain Equations. ADT Hans-Dieter Ehrich
1982	J	`jnl`	On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types. J. ACM Hans-Dieter Ehrich
1982	—	`conf`	Operational Aspects of Algebraic Specifications. ADT Hans-Dieter Ehrich
1982	—	`ed.`	Proceedings 1st Workshop on Abstract Data Type, 1982. University of Dortmund, Germany ADT Hans-Dieter Ehrich, Udo W. Lipeck
1981	B	`conf`	On Realization and Implementation. MFCS Hans-Dieter Ehrich
1981	B	`conf`	Specifying Algebraic Data Types by Domain Equations. FCT Hans-Dieter Ehrich
1980	—	`conf`	Proving Implementations Correct - Two Alternative Approaches. IFIP Congress Hans-Dieter Ehrich, Udo W. Lipeck
1978	—	`conf`	Constructive Specifications of Abstract Data Types by Replacements. Graph-Grammars and Their Application to Computer Science and Biology Hans-Dieter Ehrich, V. G. Lohberger
1978	B	`conf`	Extensions and Implementations of Abstract Data Type Specifications. MFCS Hans-Dieter Ehrich
1977	B	`conf`	Algebraic Semantics of Type Definitions and Structured Variables. FCT Hans-Dieter Ehrich
1976	B	`conf`	An Axiomatic Approach to Information Structures. MFCS Hans-Dieter Ehrich
1976	J	`jnl`	On the Storage Space Requirement of Consecutive Retrieval with Redundancy. Inf. Process. Lett. Hans-Dieter Ehrich, Witold Lipski Jr.
1976	A*	`conf`	Outline of an Algebraic Theory of Structured Objects. ICALP Hans-Dieter Ehrich
1975	B	`conf`	Ein axiomatischer Ansatz für eine Algebra strukturierter Objekte. WG Hans-Dieter Ehrich
1974	J	`jnl`	Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. Teil I: Datenstrukturen und Schemata. Acta Informatica Hans-Dieter Ehrich
1974	J	`jnl`	Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. Teil II: Zugriffssysteme. Acta Informatica Hans-Dieter Ehrich
1974	—	`conf`	Theory of Direct-Access Storage Functions. IFIP Congress Hans-Dieter Ehrich
1973	—	`conf`	Datenstrukturen und Q-Systeme - Eine Mathematische Studie. GI Jahrestagung Hans-Dieter Ehrich
1973	J	`jnl`	Minimale und m-minimale Variablenmengen für partielle Boole'sche Funktionen Acta Informatica Hans-Dieter Ehrich
1972	J	`jnl`	A Note on State Minimization of a Special Class of Incomplete Sequential Machines. IEEE Trans. Computers Hans-Dieter Ehrich