DOI,IST REx ID,Research Group,Title of publication
10.5281/ZENODO.8191723,15035,ToHe,Monitoring hyperproperties with prefix transducers