СТ |
Analysis of Concurrent Transactions in a Functional Database Programming Language |
1992 |
Amato G., Giannotti F., Mainetto G. |
|
|
|
BIGRE |
05.11.1992 |
СТ |
Using Abstract Interpretation for Gate splitting in LOTOS Specifications |
1992 |
Giannotti F., Latella D. |
|
|
|
BIGRE |
11.11.1992 |
СТ |
Gate Splitting in LOTOS Specifications Using Abstract Interpretation |
1993 |
Giannotti F., Latella D. |
|
|
|
Lecture Notes in Computer Science |
26.05.1993 |
СТ |
Datalog with Non-Deterministic Choice Computers NDB-PTIME |
1993 |
Corciulo L., Giannotti F., Pedreschi D. |
|
|
|
Lecture Notes in Computer Science |
21.12.1993 |
СТ |
Datalog++: A Basis for Active Object-Oriented Databases |
1997 |
Giannotti F., Manco G., Nanni M., Pedreschi D. |
|
|
|
Lecture Notes in Computer Science |
16.12.1997 |
СТ |
Static Analysis of Transactions for Conservative Multigranularity Locking |
1998 |
Amato G., Giannotti F., Mainetto G. |
|
|
|
Lecture Notes in Computer Science |
22.08.1998 |
СТ |
On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases |
1999 |
Giannotti F., Manso G., Nanni M., Redpeschi D. |
|
|
|
Lecture Notes in Computer Science |
25.05.1999 |