DOI,IST REx ID,Research Group,Title of publication
10.1007/s00236-025-00502-1,20186,ToHe,Gray-box runtime enforcement of hyperproperties
10.4230/LIPICS.FSTTCS.2025.20,21089,ToHe,Flavors of quantifiers in hyperlogics
10.1007/978-3-032-05435-7_23,21093,ToHe,Monitoring hypernode logic over infinite domains