Javier O. Blanco

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
A Shape Analysis for Non-linear Data Structures.
Proceedings of the Static Analysis - 17th International Symposium, 2010

2009
Local reasoning for abstraction and sharing.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

2007
Automatic Refinement of Split Binary Semaphore.
Proceedings of the Theoretical Aspects of Computing, 2007


  Loading...