Subvarieties of the Variety of Meadows, pages 1-18

Authors: J.A. Bergstra, I. Bethke

Abstract | References | BibTeX | Full Text (PDF)

A Provably Correct Compilation of Functional Languages into Scripting Languages, pages 19-76

Authors: P. Giannini, A. Shaqiri

Abstract | References | BibTeX | Full Text (PDF)

Model Checking Delay Differential Equations Against Metric Interval Temporal Logic, pages 77-109

Authors: P.N. Mosaad, M. Fränzle, B. Xue

Abstract | References | BibTeX | Full Text (PDF)