Concepedia

Udo W. Lipeck

UW

14

Publications

500

Citations

12

H-Index

1984

Active since

Affiliations

Technische Universität Braunschweig(Current)

Leibniz University Hannover

Udo W. Lipeck is an author at Technische Universität Braunschweig specializing in engineering, verification, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationSoftware AnalysisData SecurityData IntegrityData ManagementAutomated Reasoning

Publications per year

1984–2014

14

Publications

14

Integration of heterogeneous geospatial data in a federated database

Matthias Butenuth, Guido von Gösseln, Michael Tiedge et al. · ISPRS Journal of Photogrammetry and Remote Sensing · 2007 · 111 citations

Heterogeneous Database System, Engineering, Data Science +8

Monitoring dynamic integrity constraints based on temporal logic

Udo W. Lipeck, Gunter Saake · Information Systems · 1987 · 106 citations

Reliability Engineering, Engineering, Data Integrity +11

Specification, Semantics, and Enforcement of Dynamic Database Constraints

Hans-Dieter Ehrich, Udo W. Lipeck, Martin Gogolla · Very Large Data Bases · 1984 · 38 citations

Transformation of dynamic integrity constraints into transaction specifications

Udo W. Lipeck · Theoretical Computer Science · 1990 · 37 citations

Engineering, Information Security, Transactional Application +10

Matching cartographic objects in spatial databases

Daniela Mantel, Udo W. Lipeck · Institutional Repository of Leibniz Universität Hannover (Leibniz Universität Hannover) · 2004 · 36 citations · Full text

Rows per page

1–5 of 14