DOI,IST REx ID,Research Group,Title of publication
10.1073/pnas.2419273122,19499,"KrCh,ToHe",Hardware-optimal quantum algorithms
10.1016/j.scico.2024.103212,18169,ToHe,VAMOS: Middleware for best-effort third-party monitoring
10.4230/LIPIcs.ECOOP.2024.27,18175,ToHe,The fault in our stars: Designing reproducible large-scale code analysis experiments
10.15479/AT:ISTA:12407,12407,ToHe,VAMOS: Middleware for Best-Effort Third-Party Monitoring
10.1007/978-3-031-30826-0_15,12856,ToHe,Vamos: Middleware for best-effort third-party monitoring