Agora: Agent and market-based resource management for many-core systems. - Themistoklis Melissaris; Iraklis Anagnostopoulos; Dimitrios Soudris; Dionysios I. Reisis (ICECS, 2016)

Testing and Analyzing Correctness in Concurrent Systems: From Microprocessors to IoT and Distributed Systems - Themistoklis Melissaris (2021)