Nested antichains for WS1S Tomáš FiedorLukáš HolíkTomáš Vojnar Original Article 01 January 2019 Pages: 205 - 228
Associative composition of components with double-sided interfaces Wolfgang Reisig Original Article 29 October 2018 Pages: 229 - 253
On the hardness of analyzing probabilistic programs Benjamin Lucien KaminskiJoost-Pieter KatoenChristoph Matheja Original Article 15 May 2018 Pages: 255 - 285