Proving Implementations Correct - Two Alternative Approaches. - Hans-Dieter Ehrich; Udo W. Lipeck (IFIP Congress, 1980)

Composition and Implementation of Parameterized Data Types. - Udo W. Lipeck (ADT, 1982)

Ein algebraischer Kalkül für einen strukturierten Entwurf von Datenabstraktionen. - Udo W. Lipeck (1982)

Algebraic Specifications of Database Constraints. - Udo W. Lipeck; Hans-Dieter Ehrich (ADT, 1983)

Algebraic and operational semantics of exceptions and errors. - Martin Gogolla; Klaus Drosten; Udo W. Lipeck; Hans-Dieter Ehrich (Theoretical Computer Science, 1983)

Algebraic Domain Equations. - Hans-Dieter Ehrich; Udo W. Lipeck (Theor. Comput. Sci., 1983)

Specification, Semantics, and Enforcement of Dynamic Database Constraints. - Hans-Dieter Ehrich; Udo W. Lipeck; Martin Gogolla (VLDB, 1984)

Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors. - Martin Gogolla; Klaus Drosten; Udo W. Lipeck; Hans-Dieter Ehrich (Theor. Comput. Sci., 1984)

Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic. - Udo W. Lipeck; Hans-Dieter Ehrich; Martin Gogolla (TFAIS, 1985)

On the Semantics of the Frame Rule. - Udo W. Lipeck (ADT, 1986)

Modelling and Manipulating Objects in Geoscientific Databases. - Udo W. Lipeck; Karl Neumann (ER, 1986)

Stepwise Specification of Dynamic Database Behaviour. - Udo W. Lipeck (SIGMOD Conference, 1986)

Foundations of Temporal Integrity Monitoring. - Gunter Saake; Udo W. Lipeck (Temporal Aspects in Information Systems, 1987)

Monitoring dynamic integrity constraints based on temporal logic. - Udo W. Lipeck; Gunter Saake (Inf. Syst., 1987)

Using Finite-Linear Temporal Logic for Specifying Database Dynamics. - Gunter Saake; Udo W. Lipeck (CSL, 1988)

Entwurf von Systemverhalten durch Spezifikation und Transformation temporaler Anforderungen. - Udo W. Lipeck; Gunter Saake (GI Jahrestagung (2), 1988)

Construction of Deterministic Transition Graphs from Dynamic Integrity Constraints. - Udo W. Lipeck; Dasu Feng (WG, 1988)

Algebraische Spezifikation abstrakter Datentypen - eine Einführung in die Theorie. - Hans-Dieter Ehrich; Martin Gogolla; Udo W. Lipeck (Teubner, 1989)

Dynamische Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung - Udo W. Lipeck (Springer, 1989)

Schrittweiser Entwurf von Datenbankverhalten durch Transformation dynamischer Integritätsbedingungen. - Udo W. Lipeck (Grundlagen von Datenbanken, 1989)

Specifying Closed World Assumptions for Logic Databases. - Stefan Brass; Udo W. Lipeck (MFDBS, 1989)

Transformation of Dynamic Integrity Constraints into Transaction Specifications. - Udo W. Lipeck (Theor. Comput. Sci., 1990)

A Functional DBPL Revealing High Level Optimizations. - Martin Erwig; Udo W. Lipeck (DBPL, 1991)

Semantice of Inheritance in Logical Object Specifications. - Stefan Brass; Udo W. Lipeck (DOOD, 1991)

Monitoring Dynamic Integrity Constraints on Finite State Sequences and Existence Intervals. - Udo W. Lipeck; Heren Zhou (FMLDO, 1991)

Zur Semantik von Vererbung in logischen Objektspezifikationen. - Stefan Brass; Udo W. Lipeck (Grundlagen von Datenbanken, 1991)

Generalized Bottom-Up Query Evaluation. - Stefan Brass; Udo W. Lipeck (EDBT, 1992)

Integritätszentrierter Datenbank-Entwurf. - Udo W. Lipeck (EMISA Forum, 1992)

Bottom-Up Query Evaluation with Partially Ordered Defaults. - Stefan Brass; Udo W. Lipeck (DOOD, 1993)

Deriving Integrity Maintaining Triggers from Transition Graphs. - Michael Gertz 001; Udo W. Lipeck (ICDE, 1993)

Object-Oriented System Specification Using Defaults. - Udo W. Lipeck; Stefan Brass (IS/KI, 1994)

Transitional Monitoring of Dynamic Inegrity Constraints. - Udo W. Lipeck; Michael Gertz 001; Gunter Saake (IEEE Data Eng. Bull., 1994)

Comments on "A meta model transformation approach towards harmonisation in information system modelling" by J. L. H. Oei. - Udo W. Lipeck (ISCO, 1995)

"Temporal" Integrity Constraints in Temporal Databases - Michael Gertz 001; Udo W. Lipeck (Temporal Databases, 1995)

Deriving Optimized Integrity Monitoring Triggers from Dynamic Integrity Constraints. - Michael Gertz 001; Udo W. Lipeck (Data Knowl. Eng., 1996)

SubQuery-By-Example: Eine orthogonale Erweiterung von QBE. - Alexander Scharnofske; Udo W. Lipeck; Michael Gertz 001 (BTW, 1997)

An Extensible Framework for Repairing Constraint Violations. - Michael Gertz 001; Udo W. Lipeck (IICIS, 1997)

Specifying with defaults: Compositional semantics. - F. Miguel Dionísio; Udo W. Lipeck (WADT, 1997)

Efficient Index Structures for Spatio-Temporal Objects. - Carsten Kleiner; Udo W. Lipeck (DEXA Workshop, 2000)

Web-Enabling Geographic Data with Object-Relational Databases. - Carsten Kleiner; Udo W. Lipeck (BTW, 2001)

Automatic Generation of XML DTDs from Conceptual Database Schemas. - Carsten Kleiner; Udo W. Lipeck (GI Jahrestagung (1), 2001)

Temporale Daten in objekt-relationalen Datenbanksystemen. - Carsten Kleiner; Udo W. Lipeck (Grundlagen von Datenbanken, 2001)

Performance of Querying Temporal Attributes in Object-Relational Databases. - Carsten Kleiner; Udo W. Lipeck (TIME, 2002)

Generierung und Anfragebearbeitung von hierarchischen XML-Sichten auf relationale Datenbanken. - Sascha Klopp; Udo W. Lipeck (XSW, 2002)

Automatische Erzeugung von XML-DTDs aus konzeptionellen Datenbankschemata. - Carsten Kleiner; Udo W. Lipeck (Datenbank-Spektrum, 2002)

OraGiST - How to Make User-Defined Indexing Become Usable and Useful. - Carsten Kleiner; Udo W. Lipeck (BTW, 2003)

Anfrageoptimierung in objektrelationalen Datenbanken mit bedingten Termersetzungen. - Mazeyar E. Makoui; Udo W. Lipeck (Grundlagen von Datenbanken, 2005)

Graphbasiertes Matching in räumlichen Datenbanken. - Michael Tiedge; Udo W. Lipeck (Grundlagen von Datenbanken, 2007)

A Scalable Approach for Generalization of Land Cover Data. - Frank Thiemann; Hendrik Warneke; Monika Sester; Udo W. Lipeck (AGILE Conf., 2011)

Matching-Based Map Generalization by Transferring Geometric Representations. - Hendrik Warneke; Michael Schäfers 002; Udo W. Lipeck; Joachim Bobrich (Geoinformatik, 2011)

Ein Partitionierungsdienst für Geographische Daten in Räumlichen Datenbanken. - Hendrik Warneke; Udo W. Lipeck (Grundlagen von Datenbanken, 2012)

A Similarity-Based Object Matching Process for Integrating Geodatabases. - Michael Schäfers 002; Udo W. Lipeck (DB&IS, 2014)

SimMatching: adaptable road network matching for efficient and scalable spatial data integration. - Michael Schäfers 002; Udo W. Lipeck (SIGSPATIAL PhD Workshop, 2014)

Meeting the Challenges of Integrating Large and Diverse Geographic Databases. - Michael Schäfers 002; Udo W. Lipeck (BTW, 2015)

Blocking Music Metadata from Heterogenous Data Sources. - Oliver Pabst; Udo W. Lipeck (Grundlagen von Datenbanken, 2018)