D3N: programming distributed computationin pocket switched networks. - Eiko Yoneki; Ioannis G. Baltopoulos; Jon Crowcroft (MobiHeld, 2009)

Secure compilation of a multi-tier web language. - Ioannis G. Baltopoulos; Andrew D. Gordon 001 (TLDI, 2009)

Maintaining Database Integrity with Refinement Types. - Ioannis G. Baltopoulos; Johannes Borgström; Andrew D. Gordon 001 (ECOOP, 2011)