| A probabilistic model for molecular systems R Barbuti, S Cataudella, A Maggiolo-Schettini, P Milazzo, A Troina Fundamenta Informaticae 67 (1-3), 13-27, 2005 | 38 | 2005 |
| Tc-socialrank: Ranking the social web A Gulli, S Cataudella, L Foschini International Workshop on Algorithms and Models for the Web-Graph, 143-154, 2009 | 15 | 2009 |
| A probabilistic calculus for molecular systems R Barbuti, S Cataudella, A Maggiolo-Schettini, P Milazzo, A Troina Proc. of Workshop CS & P, Informatik Berichte 170, 202-216, 2004 | 6 | 2004 |
| Abstract interpretation against races R Barbuti, S Cataudella, L Tesei Fundamenta Informaticae 60 (1-4), 67-79, 2004 | 5 | 2004 |
| Java bytecode verification on Java cards R Barbuti, S Cataudella Proceedings of the 2004 ACM symposium on Applied computing, 431-438, 2004 | 4 | 2004 |
| Abstract interpretation of an object calculus for synchronization optimizations R Barbuti, S Cataudella Fundamenta Informaticae 67 (1-3), 1-12, 2005 | 1 | 2005 |
| On Abstract Interpretation of Object Calculi S Cataudella Università degli Studi di Pisa, 2010 | | 2010 |
| A Wiki Based Model of Web Social Search A Gulli, S Cataudella, L Foschini | | 2008 |
| A Probabilistic Calculus for Molecular Systems R Barbuti, S Cataudella, A MAGGIOLO SCHETTINI, P Milazzo, A Troina FUNDAMENTA INFORMATICAE 67, 13-27, 2005 | | 2005 |
| Abstract Interpretation for Eliminating Unnecessary Synchronizations R Barbuti, S Cataudella | | |
Paolo MilazzoDipartimento di Informatica, Università di PisaVerified email at di.unipi.it
