Udo W. Lipeck

From MaRDI portal
(Redirected from Person:915440)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Construction of deterministic transition graphs from dynamic integrity constraints
Graph-Theoretic Concepts in Computer Science
2024-02-28Paper
Deriving optimized integrity monitoring triggers from dynamic integrity constraints
Data & Knowledge Engineering
1997-02-27Paper
scientific article; zbMATH DE number 44414 (Why is no real title available?)1993-01-23Paper
scientific article; zbMATH DE number 42840 (Why is no real title available?)1993-01-23Paper
Transformation of dynamic integrity constraints into transaction specifications
Theoretical Computer Science
1990-01-01Paper
scientific article; zbMATH DE number 4201606 (Why is no real title available?)1989-01-01Paper
Monitoring dynamic integrity constraints based on temporal logic
Information Systems
1987-01-01Paper
Algebraic and operational semantics of specifications allowing exceptions and errors
Theoretical Computer Science
1984-01-01Paper
scientific article; zbMATH DE number 3823106 (Why is no real title available?)1983-01-01Paper
Algebraic domain equations
Theoretical Computer Science
1983-01-01Paper
scientific article; zbMATH DE number 3823107 (Why is no real title available?)1982-01-01Paper
scientific article; zbMATH DE number 3799000 (Why is no real title available?)1982-01-01Paper
scientific article; zbMATH DE number 3823108 (Why is no real title available?)1982-01-01Paper
scientific article; zbMATH DE number 3776842 (Why is no real title available?)1982-01-01Paper
scientific article; zbMATH DE number 3772919 (Why is no real title available?)1981-01-01Paper
scientific article; zbMATH DE number 3694565 (Why is no real title available?)1980-01-01Paper


Research outcomes over time


This page was built for person: Udo W. Lipeck