DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-031-44267-4_9,14076,ToHe,Monitoring hyperproperties with prefix transducers