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
2013
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.