Publications

You are here

Home » Research
Export 5 results:
Author Title Type [ Year(Asc)]
Filters: Author is Fosca Giannotti  [Clear All Filters]
1999
F. Bonchi, Giannotti, F., Mainetto, G., and Pedreschi, D., “Using Data Mining Techniques in Fiscal Fraud Detection”, in DaWaK, 1999, pp. 369-376.
1998
F. Giannotti and Pedreschi, D., “Datalog with Non-Deterministic Choice Computers NDB-PTIME”, J. Log. Program., vol. 35, pp. 79-101, 1998.
F. Giannotti, Manco, G., Nanni, M., and Pedreschi, D., “On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases”, in CSL, 1998, pp. 58-72.
F. Giannotti, Manco, G., Nanni, M., and Pedreschi, D., “Query Answering in Nondeterministic, Nonmonotonic Logic Databases”, in FQAS, 1998, pp. 175-187.
1997
F. Giannotti, Manco, G., Nanni, M., and Pedreschi, D., “Datalog++: A Basis for Active Object-Oriented Databases”, in DOOD, 1997, pp. 283-301.
F. Giannotti, Manco, G., Nanni, M., and Pedreschi, D., “Datalog++: a Basis for Active Object.Oriented Databases”, in SEBD, 1997, pp. 325-340.
F. Giannotti, Manco, G., and Pedreschi, D., “A Deductive Data Model for Representing and Querying Semistructured Data”, in APPIA-GULP-PRODE, 1997, pp. 129-140.
F. Giannotti, Greco, S., Saccà, D., and Zaniolo, C., “Programming with Non-Determinism in Deductive Databases”, Ann. Math. Artif. Intell., vol. 19, pp. 97-125, 1997.
G. Amato, Giannotti, F., and Mainetto, G., “Static Analysis of Transactions for Conservative Multigranularity Locking”, in DBPL, 1997, pp. 413-430.
1996
M. E. Carboni, Deo, A. D., Giannotti, F., and Masserotti, M. V., “Ragionamento spazio-temporale con LDLT: primi esperimenti verso un sistema deduttivo per applicazioni geografiche”, in SEBD, 1996, pp. 73-90.
M. E. Carboni, Deo, A. D., Giannotti, F., and Masserotti, M. V., “Spatio-Temporal Reasoning with LDLT: First Steps Towards a Deductive System for Geographical Applications”, in DDLP, 1996, pp. 135-151.
1995
M. E. Carboni, Giannotti, F., Foddai, V., and Pedreschi, D., “Declarative Reconstruction of Updates in Logic Databases: A Compilative Approach”, in SEBD, 1995, pp. 3-13.
M. E. Carboni, Foddai, V., Giannotti, F., and Pedreschi, D., “Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach”, in GULP-PRODE, 1995, pp. 169-182.
1994
F. Fiore and Giannotti, F., “An abstract interpreter for the specification language LOTOS”, in FORTE, 1994, pp. 309-323.
G. Amato, Giannotti, F., and Mainetto, G., “Conservative Multigranularity Locking for an Obiect-Oriented Persistent Language via Abstract Interpretation”, in SEBD, 1994, pp. 329-349.
L. Corciulo, Giannotti, F., Pedreschi, D., and Zaniolo, C., “Expressive Power of Non-Deterministic Operators for Logic-based Languages”, in Workshop on Deductive Databases and Logic Programming, 1994, pp. 27-40.
F. Giannotti and Latella, D., “Gate Splitting in LOTOS Specifications Using Abstract Interpretation”, Sci. Comput. Program., vol. 23, pp. 127-149, 1994.
1993
G. Amato, Giannotti, F., and Mainetto, G., “Data Sharing Analysis for a Database Programming Lanaguage via Abstract Interpretation”, in VLDB, 1993, pp. 405-415.
L. Corciulo, Giannotti, F., and Pedreschi, D., “Datalog with Non-Deterministic Choice Computes NDB-PTIME”, in DOOD, 1993, pp. 49-66.
F. Giannotti and Latella, D., “Gate Splitting in LOTOS Specifications Using Abstract Interpretation”, in TAPSOFT, 1993, pp. 437-452.
G. Amato, Giannotti, F., and Mainetto, G., “Static Analysis of Transactions: an Experiment of Abstract Interpretation Usage”, in FMLDO, 1993, pp. 19-29.
1992
G. Amato, Giannotti, F., and Mainetto, G., “Analysis of Concurrent Transactions in a Functional Database Programming Language”, in WSA, 1992, pp. 174-184.
F. Giannotti and Latella, D., “Using Abstract Interpretation for Gate splitting in LOTOS Specifications”, in WSA, 1992, pp. 194-204.
1991
F. Giannotti, Pedreschi, D., Saccà, D., and Zaniolo, C., “Non-Determinism in Deductive Databases”, in DOOD, 1991, pp. 129-146.
F. Giannotti and Hermenegildo, M. V., “A Technique for Recursive Invariance Detection and Selective Program Specification”, in PLILP, 1991, pp. 323-334.

Pages