We stand with Ukraine  

Stefano Cataudella

Affiliations:
  • University of Pisa, Italy


According to our database1, Stefano Cataudella authored at least 5 papers between 2004 and 2010.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2010
On Abstract Interpretation of Object Calculi.
[BibTeX]
[DOI]
Stefano Cataudella
PhD thesis, 2010

2005
A Probabilistic Model for Molecular Systems.
[BibTeX]
[DOI]
Roberto Barbuti
,
Stefano Cataudella
,
Andrea Maggiolo-Schettini
,
Paolo Milazzo
,
Angelo Troina
Fundam. Informaticae, 2005

Abstract Interpretation of an Object Calculus for Synchronization Optimizations.
[BibTeX]
[DOI]
Roberto Barbuti
,
Stefano Cataudella
Fundam. Informaticae, 2005

2004
Abstract Interpretation Against Races.
[BibTeX]
[DOI]
Roberto Barbuti
,
Stefano Cataudella
,
Luca Tesei
Fundam. Informaticae, 2004

Java bytecode verification on Java cards.
[BibTeX]
[DOI]
Roberto Barbuti
,
Stefano Cataudella
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004


  Loading...