Martin Grimeland

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 1

Top Topics

Statistical Analysis

Historical Data

Top Venues

Publications

Daniel Hugo, John McCulloch, Akram Hameed, Will Borghei, Martin Grimeland, Verity Felstead, Mark Goldsworthy
A smart building semantic platform to enable data re-use in energy analytics applications: the Data Clearing House. CoRR (2023)
Peter Csaba Ölveczky, Martin Grimeland
Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude. IPDPS (2007)