| |
| 2005 | ||
|---|---|---|
| 4 | EE | Roberto Barbuti, Stefano Cataudella: Abstract Interpretation of an Object Calculus for Synchronization Optimizations. Fundam. Inform. 67(1-3): 1-12 (2005) |
| 3 | EE | Roberto Barbuti, Stefano Cataudella, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina: A Probabilistic Model for Molecular Systems. Fundam. Inform. 67(1-3): 13-27 (2005) |
| 2004 | ||
| 2 | EE | Roberto Barbuti, Stefano Cataudella: Java bytecode verification on Java cards. SAC 2004: 431-438 |
| 1 | EE | Roberto Barbuti, Stefano Cataudella, Luca Tesei: Abstract Interpretation Against Races. Fundam. Inform. 60(1-4): 67-79 (2004) |
| 1 | Roberto Barbuti | [1] [2] [3] [4] |
| 2 | Andrea Maggiolo-Schettini | [3] |
| 3 | Paolo Milazzo | [3] |
| 4 | Luca Tesei | [1] |
| 5 | Angelo Troina | [3] |