Javier O. Blanco

Convergences and divergences in the notion of computing

Javier O. Blanco, Pío García, Renato Cherini, 2011 .

Generación de invariantes para implementar eficientemente regiones críticas condicionales

Damián Barsotti, Javier O. Blanco, 2007 .

A Shape Analysis for Non-linear Data Structures

Javier O. Blanco, Renato Cherini, Lucas Rearte, 2010, SAS.

Automatic Refinement of Split Binary Semaphore

Damián Barsotti, Javier O. Blanco, 2007, ICTAC.

Local reasoning for abstraction and sharing

Javier O. Blanco, Renato Cherini, 2009, SAC '09.