DOI,IST REx ID,Research Group,Title of publication
10.1371/journal.pcbi.1012868,19702,GradSch,Colonization times in Moran process on graphs
10.1016/j.devcel.2025.04.010,19703,EdHa,Differential tissue deformability underlies fluid pressure-driven shape divergence of the avian embryonic brain and spinal cord
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.1101/2025.05.07.652665,19717,SiHi,Early emergence of projection-subtype fate-restricted radial glial progenitors orchestrates neocortical neurogenesis
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.1016/j.aim.2025.110341,19727,TiBr,Asymptotic growth of translation-dilation orbits
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.1103/PhysRevA.111.L050402,19733,OnHo,Direct and efficient detection of quantum superposition
10.1038/s41580-025-00851-2,19736,JiFr,Mechanisms of auxin action in plant growth and development
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