Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Search this site:
Links
Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Home
› Biblio
Biblio
List
Filter
Export 18 results:
RTF
Tagged
XML
BibTex
Sort by: [
Author
]
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
S
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
R
Ramm, I.
,
K. Neumann
,
U. W. Lipeck
, and
H. - D. Ehrich
,
Eine Benutzerschnittstelle für geowissenschaftliche Datenbanken
,
: Technische Universität Braunschweig, 1985.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
L
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
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1985TFAIS.pdf
(602.54 KB)
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
RTF
Tagged
XML
BibTex
Google Scholar
Lipeck, U. W.
,
S. Braß
, and
G. Saake
,
Kurzfassungen des 21 Workshops ``Grundlagen von Datenbanken'', Volkse, 5.-8. Juni 1990
,
, no. 90-02: TU Braunschweig, 1990.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
Lipeck, U. W.
,
"
Stepwise Specification of Dynamic Database Behaviour
",
Proc1 1986 ACM-SIGMOD Int1 Conf1 on Management of Data
, pp. 387-397, 1986.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Lipeck, U. W.
,
"
Transformation of Dynamic Integrity Constraints into Transaction Specifications
",
Theoretical Computer Science
, vol. 76, pp. 115-142, 1990.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Lipeck, U. W.
,
Zur dynamischen Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung
,
: Springer, 1989.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Lipeck, U. W.
, and
G. Saake
,
"
Monitoring Dynamic Integrity Constraints Based on Temporal Logic
",
Information Systems
, vol. 12, pp. 255-269, 1987.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Lipeck, U. W.
,
G. Saake
, and
H. - D. Ehrich
,
Monitoring Dynamic Database Integrity by Transition Graphs
,
, no. 86-08: Technische Universität Braunschweig, 1986.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
G
Gogolla, M.
,
K. Drosten
,
U. W. Lipeck
, and
H. - D. Ehrich
,
"
Algebraic and Operational Semantics of Specifications allowing Exceptions and Errors
",
Theoretical Computer Science
, vol. 34, 1984.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1984TCS-ExcErr.pdf
(728.49 KB)
F
Feng, D. S.
, and
U. W. Lipeck
,
Deterministische Überwachung temporaler Formeln
,
, no. 87-06: Technische Universität Braunschweig, 1987.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
E
Ehrich, H. - D.
,
M. Gogolla
, and
U. W. Lipeck
,
Algebraische Spezifikation abstrakter Datentypen
,
: Teubner, Stuttgart, 1989.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Ehrich, H. - D.
,
U. W. Lipeck
, and
M. Gogolla
,
"
Specification, Semantics, and Enforcement of Dynamic Database Constraints
",
Proc Int Conf on Very Large Databases VLDB '84
, pp. 301-308, 1984.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1984VLDB.pdf
(462.55 KB)