1. Scientific workflows

   • Anna-Lena Lamprecht
   • Kenneth J. Turner

   Introduction 13 June 2016 Pages: 575 - 580

2. Using registries to integrate bioinformatics tools and services into workbench environments

   • Hervé Ménager
   • Matúš Kalaš
   • Jon Ison

   SW Open access 25 July 2015 Pages: 581 - 586

   

3. A scalable Cloud-based system for data-intensive spatial analysis

   • R. O. Sinnott
   • W. Voorsluys

   SW 28 August 2015 Pages: 587 - 605

   

4. Scientific workflows for process mining: building blocks, scenarios, and implementation

   • Alfredo Bolt
   • Massimiliano de Leoni
   • Wil M. P. van der Aalst

   SW Open access 14 September 2015 Pages: 607 - 628

   

5. Scientific workflows with the jABC framework

   • Anna-Lena Lamprecht
   • Bernhard Steffen
   • Tiziana Margaria

   SW 08 June 2016 Pages: 629 - 651

   

6. Provably correct control flow graphs from Java bytecode programs with exceptions

   • Afshin Amighi
   • Pedro de Carvalho Gomes
   • Marieke Huisman

   Regular Paper 05 April 2015 Pages: 653 - 684

   

7. Equivalence class verification of the contract net protocol-extension

   • Amar Kumar Gupta
   • Guy Edward Gallasch

   Regular Paper 04 April 2015 Pages: 685 - 706