Guest Editorial: Temporal representation and reasoning Carlo Combi EditorialNotes 14 June 2017 Pages: 171 - 173
A spatio-temporal framework for managing archeological data Alberto BelussiSara Migliorini OriginalPaper 27 January 2017 Pages: 175 - 218
The RABTree and RAB−Tree: lean index structures for snapshot access in transaction-time databases Fabio Grandi OriginalPaper 17 May 2016 Pages: 219 - 245
Erratum to: The RABTree and RAB− Tree: lean index structures for snapshot access in transaction-time databases Fabio Grandi Erratum 10 June 2016 Pages: 247 - 247
Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems Alejandro SánchezCésar Sánchez OriginalPaper 15 November 2016 Pages: 249 - 282
Bounded variability of metric temporal logic Carlo A. FuriaPaola Spoletini OriginalPaper Open access 13 December 2016 Pages: 283 - 316
To be fair, use bundles John McCabe-DanstedMark Reynolds OriginalPaper 19 April 2017 Pages: 317 - 364
