|
П |
A Logical Framework for the Specification of Transactions |
2000 |
Wichert C. -A., Freitag B., Fent A. |
Lecture Notes in Computer Science |
|
Univ.Passau |
|
28.10.2000 |
|
П |
On the Compositionality and Transactional Execution of Electronic Services |
2000 |
Wichert C. -A., Fent A., Freitag B. |
|
|
Univ.Passau |
|
28.10.2000 |
|
СТ |
Logical Update Queries as Open Nested Transactions |
2000 |
Fent A., Wichert C. -A., Freitag B. |
|
|
|
Lecture Notes in Computer Science |
08.04.2000 |
|
СТ |
Meta-modeling for Web-Based Teachware Management |
1999 |
Suss C., Freitag B., Brossler P. |
|
|
|
Lecture Notes in Computer Science |
30.11.1999 |
|
П |
Logical Transactions and Serializability |
1998 |
Wichert C. -A., Freitag B., Fent A. |
Lecture Notes in Computer Science |
|
Univ.Passau |
|
07.01.1999 |
|
П |
How to Execute ULTRA Transactions |
1998 |
Wichert C. -A., Fent A., Freitag B. |
Lecture Notes in Computer Science |
|
Univ.Passau |
|
07.01.1999 |
|
СТ |
Adding Flexibility to Query Evaluation for Modularity Stratified Databases |
1996 |
Zukowski U., Freitag B. |
|
|
|
Logic Programming |
12.03.1998 |
|
СТ |
Capturing Database Dynamics by Deferred Updates |
1997 |
Wichert C. -A., Freitag B. |
|
|
|
Logic Programming |
11.03.1998 |
|
П |
Transformation-Based Bottom-Up Computation of the Well-Founded Model |
1996 |
Zukowski U., Freitag B., Brass S. |
|
|
Univ.Passau |
|
29.04.1997 |
|
П |
Method Resolution and Virtual Classes in a Deductive Object-Oriented Database |
1995 |
Freitag B. |
|
|
Univ.Passau |
|
18.06.1996 |
|
СТ |
A Pragmatic Approach to Software Synthesis |
1994 |
Freitag B., Margaria T., Steffen B. |
|
|
|
SIGPLAN Notices |
30.08.1994 |
|
СТ |
A Hypertext-Based Tool for Large Scale Software Reuse |
1994 |
Freitag B. |
|
|
|
Lecture Notes in Computer Science |
29.06.1994 |
|
П |
Module Configuration by Minimal Model Construction |
1993 |
Steffen B., Margaria T., Freitag B. |
|
|
Univ.Passau |
|
06.04.1994 |
|
П |
A Deductive Database Language Supporting Modules |
1992 |
Freitag B. |
|
|
Univ.Passau |
|
27.10.1992 |
|
СТ |
Extending Deductive Database Languages by Embedded Implications |
1992 |
Freitag B. |
|
|
|
Lecture Notes in Artificial Intelligence |
08.08.1992 |
