Biblio

Export 18 results:
Sort by: [ Author  (Asc)] Keyword Title Type Year
Filters: Author is Lipeck, U. W.  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
E
F
G
L
Lipeck, U. W., and D. S. Feng, "Construction of Deterministic Transition Graphs from Dynamic Integrity Constraints", Proc1 14th Int1 Workshop on Graph-Theoretic Concepts in Computer Science (WG'88): LNCS 344, Springer, Berlin, pp. 166-179, 1989. Abstract
Lipeck, U. W., H. - D. Ehrich, and M. Gogolla, "Specifying Admissability of Dynamic Database Behaviour Using Temporal Logic", Proc IFIP Working Conf on Theoretical and Formal Aspects of Information Systems: North-Holland, Amsterdam, pp. 145-157, 1985. Abstract  Download: 1985TFAIS.pdf (602.54 KB)
Lipeck, U. W., and G. Saake, "Entwurf von Systemverhalten durch Spezifikation und Transformation temporaler Anforderungen", Proc1 GI Jahrestagung, vol. 2: Informatik-Fachbericht 188, Springer, pp. 449-463, 1988. Abstract
Lipeck, U. W., and K. Neumann, "Modelling and Manipulating Objects in Geoscientific Databases", Proc1 5th Int1 Conf1 on the Entity-Relationship Approach: North-Holland, Amsterdam, pp. 67-86, 1987. Abstract
Lipeck, U. W., "Transformation of Dynamic Integrity Constraints into Transaction Specifications", Proc1 2nd Int1 Conf1 on Database Theory: LNCS 326, Springer, Berlin, pp. 322-337, 1988. Abstract
Lipeck, U. W., "Stepwise Specification of Dynamic Database Behaviour", Proc1 1986 ACM-SIGMOD Int1 Conf1 on Management of Data, pp. 387-397, 1986. Abstract
R
S
Saake, G., and U. W. Lipeck, "Foundations of Temporal Integrity Monitoring", Proc1 IFIP Working Conf1 on Temporal Aspects in Information Systems: North-Holland Publ1 Comp., Amsterdam, pp. 235-249, 1988. Abstract
Saake, G., and U. W. Lipeck, "Using Finite-Linear Temporal Logic for Specifying Database Dynamics", Proc1 CSL'88 2nd Workshop Computer Science Logic: Springer, Berlin, pp. 288-300, 1989. Abstract