DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-031-47754-6_1,14735,"ElKo,GradSch","Executing and proving over dirty ledgers"
10.1007/978-3-319-91908-9_22,7453,ToHe,Continuous-time models for system design and analysis