DOI,IST REx ID,Research Group,Title of publication
10.1111/mec.16793,12159,NiBa,On the origin and structure of haplotype blocks
10.1038/s41467-023-37817-x,12861,KrCh,Quantitative assessment can stabilize indirect reciprocity under imperfect information
10.1609/aaai.v36i6.20631,12510,ToHe,GoTube: Scalable statistical verification of continuous-depth models
10.1007/978-3-030-94583-1_1,10774,ToHe,Flavors of sequential information flow
10.1007/978-3-030-95561-8_1,10891,ToHe,Quantitative monitoring of software
10.15479/at:ista:11362,11362,"GradSch,ToHe",Learning verifiable representations
10.1109/ICRA46639.2022.9811650,12010,ToHe,Latent imagination facilitates zero-shot transfer in autonomous racing
10.1038/s42256-022-00556-7,12147,ToHe,Closed-form continuous-time neural networks
10.1016/j.eswa.2020.114203,8912,ToHe,Boosting expensive synchronizing heuristics
10.1145/3447928.3456704,9200,ToHe,Synthesis of hybrid automata with affine dynamics from time-series data
10.1109/LICS52264.2021.9470547,9356,"GradSch,ToHe",Quantitative and approximate 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.1007/978-3-030-88494-9_3,10206,ToHe,"Into the unknown: active monitoring of neural networks"
10.15479/at:ista:10293,10293,"GradSch,KrCh",Evolution of cooperation via (in)direct reciprocity under imperfect information
10.1111/cgf.14418,10404,ToHe,Interactive analysis of CNN robustness
null,10665,"GradSch,ToHe",Scalable verification of quantized neural networks
10.1109/ICRA48506.2021.9561036,10666,"GradSch,ToHe",Adversarial training is not ready for robot learning
10.48550/arXiv.2111.03165,10667,"GradSch,ToHe,KrCh",Infinite time horizon safety of Bayesian neural networks
null,10668,"GradSch,ToHe",On-off center-surround receptive fields for accurate and robust image classification