DOI,IST REx ID,Research Group,Title of publication
10.1016/j.scico.2024.103212,18169,ToHe,VAMOS: Middleware for best-effort third-party monitoring
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
10.1007/978-3-030-88494-9_12,10108,ToHe,Differential monitoring
10.1145/3485504,10153,ToHe,Transitioning from structural to nominal code with efficient gradual typing
10.48550/arXiv.2103.11389,9281,"LaEr,ToHe",Formal verification of Zagier's one-sentence proof
10.15479/AT:ISTA:9946,9946,ToHe,Differential monitoring