DOI,IST REx ID,Research Group,Title of publication
10.1007/s00440-025-01384-7,19737,LaEr,"Non–Hermitian spectral universality at critical points"
10.1007/978-3-031-91829-2_2,19738,"KrPi,GradSch","Securely instantiating ‘Half Gates’ garbling in the standard model"
10.1007/978-3-031-90660-2_14,19739,ToHe,BUBAAK: Dynamic cooperative verification
10.1007/978-3-031-90653-4_11,19740,KrCh,Value iteration with guessing for Markov chains and Markov decision processes
10.1007/978-3-031-90643-5_9,19742,KrCh,Sound statistical model checking for probabilities and expected rewards
10.1007/978-3-031-90653-4_7,19743,KrCh,Fixed point certificates for reachability and expected rewards in MDPs
10.1007/978-3-031-90653-4_14,19744,KrCh,Refuting equivalence in probabilistic programs with conditioning
10.5281/ZENODO.14602066,19769,KrCh,Sound statistical model checking for probabilities and expected rewards (experimental reproduction package)
10.5281/ZENODO.14626585,19771,KrCh,Artifact: Fixed point certificates for reachability and expected rewards in MDPs
10.1088/1748-9326/adcf39,19777,FrPe,Precipitation phase drives seasonal and decadal snowline changes in high mountain Asia
10.1007/978-3-031-91820-9_2,19778,"KrPi,GradSch",Watermarkable and zero-knowledge Verifiable Delay Functions from any proof of exponentiation
10.1021/jacs.5c01700,19779,MaIb,Evidence of ferroelectric distortions in topological crystalline insulators via transverse thermoelectric measurements
10.5281/ZENODO.15223343,19780,FrPe,"Snow line altitude in high mountain Asia derived from satellite imagery (LS5, LS7, LS8 & S2) between 1999 and 2019"
10.1002/gamm.70003,19783,JuFi,"Nonlocal‐to‐local convergence for a Cahn–Hilliard tumor growth model"
10.1051/0004-6361/202452186,19784,JoMa,RUBIES: A complete census of the bright and red distant universe with JWST/NIRSpec
10.15479/AT:ISTA:19791,19791,MaSe,"Research Data for ""Mass-Assisted Local Deconfinement in a Confined Z2 Lattice Gauge Theory"""
10.1016/j.nbd.2025.106966,19794,TiVo,Network models incorporating chloride dynamics predict optimal strategies for terminating status epilepticus
10.1093/bioinformatics/btaf280,19796,ToHe,Mapping the attractor landscape of Boolean networks with biobalm
10.1051/0004-6361/202453185,19797,YlGo,The mass distribution of stars stripped in binaries: The effect of metallicity
10.1002/jcd.21990,19798,MaKw,A note on finding large transversals efficiently