СТ |
Analysis of Concurrent Transactions in a Functional Database Programming Language |
1992 |
Amato G., Giannotti F., Mainetto G. |
|
|
|
BIGRE |
05.11.1992 |
СТ |
Static Analysis of Transactions for Conservative Multigranularity Locking |
1998 |
Amato G., Giannotti F., Mainetto G. |
|
|
|
Lecture Notes in Computer Science |
22.08.1998 |
СТ |
Estimating Proximity of Metric Ball Regions for Multimedia Data Indexing |
2000 |
Amato G., Rabitti F., Savino P., Zezula P. |
|
|
|
Lecture Notes in Computer Science |
10.12.2000 |
СТ |
Abstract Interpretation Basedd Semantics of Sequent Calculy |
2000 |
Amato G., Levi G. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
19.08.2000 |
СТ |
Abstract Compilation for Sharing Analysis |
2001 |
Amato G., Spoto F. |
|
|
|
Lecture Notes in Computer Science |
06.04.2001 |
СТ |
Processing XML Queries with Tree Signatures |
2003 |
Zezula P., Amato G., Rabitti F. |
|
|
|
Lecture Notes in Computer Science |
16.12.2003 |
СТ |
A General Framework for Variable Aliasing Towards Optimal Operators for Sharing Properties |
2003 |
Amato G., Scozzari F. |
|
|
|
Lecture Notes in Computer Science |
20.09.2003 |