DOI,IST REx ID,Research Group,Title of publication
10.1016/j.iswa.2026.200729,22999,ToHe,Shielded reinforcement learning for industrial applications: A systematic literature survey
10.1145/3447384,10855,DaAl,Input-dynamic distributed algorithms for communication networks
10.1145/3485541,10191,"GradSch,KrCh",The reads-from equivalence for the TSO and PSO memory models
10.1145/3360550,10190,"GradSch,KrCh",Value-centric dynamic partial order reduction