Publications

During the year of 2022, the Interactive Technologies Institute research team has excelled in the production of scientific outputs. The team has successfully published 94 papers in journals, 76 in international conferences and 26 book chapters

Show all

2013

no, N. Cata; Ahmad, Ijaz; Siminiceanu, Radu I.; Aldrich, Jonathan

A case study on the lightweight verification of a multi-threaded task server Journal Article

In: Science of Computer Programming [Impact Factor: 0.568], 2013.

Abstract | Links | BibTeX