DOI,IST REx ID,Research Group,Title of publication
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_16,19741,ToHe,Automating the analysis of quantitative automata with QuAK
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.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"""