Ioannis G. Baltopoulos

Publication Activity (10 Years)

Years Active: 2009-2011
Publications (10 Years): 0

Publications

Ioannis G. Baltopoulos, Johannes Borgström, Andrew D. Gordon
Maintaining Database Integrity with Refinement Types. ECOOP (2011)
Eiko Yoneki, Ioannis G. Baltopoulos, Jon Crowcroft
D3N: programming distributed computationin pocket switched networks. MobiHeld (2009)
Ioannis G. Baltopoulos, Andrew D. Gordon
Secure compilation of a multi-tier web language. TLDI (2009)