Travelled to:
1 × Ireland
1 × USA
Collaborated with:
F.Giannotti G.Amato F.Bonchi D.Pedreschi
Talks about:
program (2) databas (2) analysi (2) methodolog (1) interpret (1) transact (1) strategi (1) lanaguag (1) function (1) abstract (1)
Person: Gianni Mainetto
DBLP: Mainetto:Gianni
Contributed to:
Wrote 3 papers:
- KDD-1999-BonchiGMP #classification #detection
- A Classification-Based Methodology for Planning Audit Strategies in Fraud Detection (FB, FG, GM, DP), pp. 175–184.
- VLDB-1993-AmatoGM #abstract interpretation #analysis #database #programming
- Data Sharing Analysis for a Database Programming Lanaguage via Abstract Interpretation (GA, FG, GM), pp. 405–415.
- WSA-1992-AmatoGM #analysis #concurrent #database #functional #programming language #transaction
- Analysis of Concurrent Transactions in a Functional Database Programming Language (GA, FG, GM), pp. 174–184.