Вы здесь

Giannotti F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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