In memoriam: Professor Heinz Zemanek (1920–2014) Cliff B. Jones Editorial 03 February 2015 Pages: 237 - 237
Formalizing provable anonymity in Isabelle/HOL Yongjian LiJun Pang Original Article 24 September 2014 Pages: 255 - 282
A linear algebra approach to OLAP Hugo Daniel MacedoJosé Nuno Oliveira Original Article 30 September 2014 Pages: 283 - 307
Abstraction and approximation in fuzzy temporal logics and models Gholamreza SotudehAli Movaghar Original Article 06 November 2014 Pages: 309 - 334
Proof-based verification approaches for dynamic properties: application to the information system domain Amel MammarMarc Frappier Original Article 06 November 2014 Pages: 335 - 374
Refinement in hybridised institutions Alexandre MadeiraManuel A. MartinsRolf Hennicker Original Article 19 December 2014 Pages: 375 - 395
Model checking dynamic pushdown networks Fu SongTayssir Touili Original Article 08 January 2015 Pages: 397 - 421
Laws of mission-based programming Frank ZeydaAna Cavalcanti Original Article 08 January 2015 Pages: 423 - 472