DOI,IST REx ID,Research Group,Title of publication
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.1016/j.devcel.2024.10.025,15016,"LoSw,MaDe,GaNo",Adeno-associated viral tools to trace neural development and connectivity across amphibians
10.1007/s10107-024-02066-3,15121,MoHe,Multiplicative auction algorithm for approximate maximum weight bipartite matching
10.1214/23-AIHP1438,15128,"GradSch,LaEr",Mesoscopic eigenvalue statistics for Wigner-type matrices
10.4310/jdg/1747065796,10011,JuFi,A new varifold solution concept for mean curvature flow: Convergence of  the Allen-Cahn equation and weak-strong uniqueness
10.1007/s10107-024-02064-5,10045,"GradSch,VlKo",Generalized minimum 0-extension problem and discrete convexity
null,20820,DaAl,EvoPress: Accurate dynamic model compression via evolutionary search
null,20821,DaAl,Layer-wise quantization for quantized optimistic dual averaging
10.4171/jfg/177,20839,VaKa,Sets with arbitrary Hausdorff and packing scales in infinite dimensional Banach spaces
10.1007/978-3-032-12290-2_6,20844,KrPi,Space-deniable proofs
10.1007/978-3-032-12293-3_9,20845,KrPi,"Zeroizing attacks against evasive and circular evasive LWE"
10.1007/978-3-032-12290-2_16,20846,KrPi,"Constrained verifiable random functions without obfuscation and friends"
10.1103/1ss8-31rb,20847,ScWa,Rolling at right angles: Magnetic anisotropy enables dual-anisotropic active matter
10.1093/genetics/iyaf220,20848,NiBa,"Mutation–selection–drift balance models of complex diseases"
10.5802/jtnb.1348,20850,TiBr,Class numbers and integer points on some Pellian surfaces
10.1002/advs.202515962,20851,MaIb,Mitigating the rock-salt phase transformation in disordered LNMO through synergetic solid-state AlF3/LiF modifications
10.1073/pnas.2524109122,20857,KrCh,Promoters of cooperation in evolutionary games
10.1016/j.ymthe.2025.10.008,20858,PreCl,Langerhans cell-targeted protein delivery enhances antigen-specific cellular immune response