Publications

Export 9 results:
Sort by: Author [ Title (Desc)] Type Year
A B C D E F G H I J K L M N O P Q R S T [U] V W X Y Z   [Show ALL]
U
Montesi, D, Renso C, Turini F.  1996.  Using Temporary Integrity Constraints to Optimize Databases. FAPR. :430-435.
Gargantini, A, Riccobene E, Rinzivillo S.  2003.  Using Spin to Generate Tests from ASM Specifications. Abstract State Machines. :263-277.
Aquilino, D, Asirelli P, Formuso A, Renso C, Turini F.  2000.  Using MedLan to Integrate Geographical Data. J. Log. Program.. 43:3-14.
D. Aquilino P. Asirelli, A FC R, F. Turini.  2000.  Using Medlan to Integrate Geographical Data. Journal of Logic Programming. :3–14.
Bonchi, F, Giannotti F, Mainetto G, Pedreschi D.  1999.  Using Data Mining Techniques in Fiscal Fraud Detection. DaWaK. :369-376.
Giannotti, F, Latella D.  1992.  Using Abstract Interpretation for Gate splitting in LOTOS Specifications. WSA. :194-204.
Giannotti, F, Nanni M, Pedreschi D, Pinelli F, Renso C, Rinzivillo S, Trasarti R.  2011.  Unveiling the complexity of human mobility by querying and mining massive trajectory data. VLDB J.. 20:695-719.
Brogi, A, Mancarella P, Pedreschi D, Turini F.  1990.  Universal Quantification by Case Analysis. ECAI. :111-116.
Bonchi, F, Giannotti F, Mainetto G, Pedreschi D.  1999.  Una Metodologia Basata sulla Classificazione per la Pianificazione degli Accertamenti nel Rilevamento di Frodi. SEBD. :69-84.