Javier O. Blanco

According to our database¹, Javier O. Blanco authored at least 3 papers between 2007 and 2010.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2010

A Shape Analysis for Non-linear Data Structures.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 17th International Symposium, 2010

2009

Local reasoning for abstraction and sharing.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

2007

Automatic Refinement of Split Binary Semaphore.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2007