DOI,IST REx ID,Research Group,Title of publication
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.15479/10.15479/at-ista-19759,19759,"GradSch,ChLa",Robust image classification with 1-Lipschitz networks
10.1101/2025.05.22.655488,19762,SiHi,Early indirect neurogenesis transitions to late direct neurogenesis in mouse cerebral cortex development
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.1007/s00209-025-03765-z,19776,TiBr,Optimal sums of three cubes in Fq[t]
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.1103/physreve.111.054122,19785,GaTk,Token-driven totally asymmetric simple exclusion processes
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.1016/j.bpr.2025.100211,19795,"JoDa,GradSch,FlSc,EM-Fac",Image-based 3D active sample stabilization on the nanometer scale for optical microscopy
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