Udo W. Lipeck

Available identifiers

zbMath Open lipeck.udo-walterWikidataQ102178634 ScholiaQ102178634MaRDI QIDQ915440

List of research outcomes

Publication	Date of Publication	Type
Construction of deterministic transition graphs from dynamic integrity constraints	2024-02-28	Paper
Deriving optimized integrity monitoring triggers from dynamic integrity constraints	1997-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q3993542	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q3992617	1993-01-23	Paper
Transformation of dynamic integrity constraints into transaction specifications	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3349971	1989-01-01	Paper
Monitoring dynamic integrity constraints based on temporal logic	1987-01-01	Paper
Algebraic and operational semantics of specifications allowing exceptions and errors	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3668830	1983-01-01	Paper
Algebraic domain equations	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3668831	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4743722	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3668832	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3956382	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3953141	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3888509	1980-01-01	Paper

Research outcomes over time

This page was built for person: Udo W. Lipeck