Java bytecode verification on Java cards. - Roberto Barbuti; Stefano Cataudella 001 (SAC, 2004)

Abstract Interpretation Against Races. - Roberto Barbuti; Stefano Cataudella 001; Luca Tesei (Fundam. Informaticae, 2004)

Abstract Interpretation of an Object Calculus for Synchronization Optimizations. - Roberto Barbuti; Stefano Cataudella 001 (Fundam. Informaticae, 2005)

A Probabilistic Model for Molecular Systems. - Roberto Barbuti; Stefano Cataudella 001; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina (Fundam. Informaticae, 2005)

On Abstract Interpretation of Object Calculi. - Stefano Cataudella 001 (2010)