|
Search the dblp DataBase
Stefano Cataudella:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Roberto Barbuti, Stefano Cataudella
Java bytecode verification on Java cards. [Citation Graph (0, 0)][DBLP] SAC, 2004, pp:431-438 [Conf]
- Roberto Barbuti, Stefano Cataudella
Abstract Interpretation of an Object Calculus for Synchronization Optimizations. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2005, v:67, n:1-3, pp:1-12 [Journal]
- Roberto Barbuti, Stefano Cataudella, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
A Probabilistic Model for Molecular Systems. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2005, v:67, n:1-3, pp:13-27 [Journal]
- Roberto Barbuti, Stefano Cataudella, Luca Tesei
Abstract Interpretation Against Races. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2004, v:60, n:1-4, pp:67-79 [Journal]
TC-SocialRank: Ranking the Social Web. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|