By Dr Roger Su

Conference Papers

Colvin RJ; Heiner S; Höfner P; Su R, 2025, 'Rely-guarantee concurrency verification of queued locks in Isabelle/HOL', Menlo Park, California, USA, presented at Verified Software: Theory, Tools, and Experiments (VSTTE), Menlo Park, California, USA, 06 October 2025

Chen S; Liu W; Liu J; Soo K-U; Chen W, 2019, 'Maximizing Social Welfare in Fractional Hedonic Games using Shapley Value', in 2019 IEEE INTERNATIONAL CONFERENCE ON AGENTS (ICA), IEEE COMPUTER SOC, PEOPLES R CHINA, Jinan, pp. 21 - 26, presented at IEEE International Conference on Agents (ICA), PEOPLES R CHINA, Jinan, 18 October 2019 - 21 October 2019

Back to profile page