The complexity of counting models of linear-time temporal logic Hazem TorfahMartin Zimmermann Original Article 17 November 2016 Pages: 191 - 212
Big data interpolation using functional representation Hadassa DaltropheShlomi DolevZvi Lotker Original Article 28 November 2016 Pages: 213 - 225
Generalized contexts for reaction systems: definition and study of dynamic causalities Roberto BarbutiRoberta GoriPaolo Milazzo Original Article 28 March 2017 Pages: 227 - 267