DOI,IST REx ID,Research Group,Title of publication
10.1142/S0129055X25500114,19705,RoSe,"Virtual bound states of the Pauli operator with an Aharonov–Bohm potential"
10.1007/978-3-031-91095-1_14,19712,KrPi,"On the soundness of algebraic attacks against code-based assumptions"
10.1609/aaai.v39i19.34290,19713,DaAl,Hybrid decentralized optimization: Leveraging both first- and zeroth-order optimizers for faster convergence
10.1016/j.conb.2025.103046,19718,SiHi,How radial glia progenitor lineages generate cell-type diversity in the developing cerebral cortex
10.1016/j.jmb.2025.169184,19725,CaGu,A F420-dependent single domain chemogenetic tool for protein de-dimerization
10.1016/j.cej.2025.163491,19726,MaIb,Glucose electrooxidation with simultaneous H2 production on nickel-zinc electrocatalysts derived from an ethylenediamine-functionalized zeolitic imidazole framework
10.1073/pnas.2427315122,19728,JiFr,Foraging for water by MIZ1-mediated antagonism between root gravitropism and hydrotropism
10.1017/jfm.2025.362,19729,BjHo,Rigid fibre transport in a periodic non-homogeneous geophysical turbulent flow
10.1017/jfm.2025.278,19730,BjHo,Feigenbaum universality in subcritical Taylor-Couette flow
10.1021/acsmaterialsau.5c00037,19731,MaIb,"Let us FIGURE it out: Why do scientists still make “bad” figures?"
10.1017/jfm.2025.151,19732,BjHo,Mathematically established chaos and forecast of statistics with recurrent patterns in Taylor-Couette flow
10.1038/s41580-025-00851-2,19736,JiFr,Mechanisms of auxin action in plant growth and development
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)