Person:915440

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/Q3992617	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q3993542	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
Algebraic domain equations	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3668830	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3668831	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/Q4743722	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Udo W. Lipeck