DOI,IST REx ID,Research Group,Title of publication
10.1007/s40072-022-00254-w,10173,JuFi,Optimal decay of the parabolic semigroup in stochastic homogenization  for correlated coefficient fields
10.1007/s00205-023-01895-4,10174,,Quantitative nonlinear homogenization: Control of oscillations
10.1002/cpa.22028,10405,LaEr,Central limit theorem for linear eigenvalue statistics of non-Hermitian random matrices
10.1007/s00332-023-09926-w,10550,JuFi,Global renormalised solutions and equilibration of reaction-diffusion systems with non-linear diffusion
10.1007/s00205-023-01903-7,10551,JuFi,The Dean-Kawasaki equation and the structure of density fluctuations in systems of diffusing particles
10.1002/anie.202311639,20966,,"High‐affinity hybridization of complementary aromatic oligoamide strands in water"
10.1039/d3sc02020g,20968,,Controlling aromatic helix dimerization in water by tuning charge repulsions
10.1039/d3sc01235b,20969,,Self-assembly of achiral building blocks into chiral cyclophanes using non-directional interactions
10.1021/jacs.2c09325,20970,,(Re-)directing oligomerization of a single building block into two specific dynamic covalent foldamers through pH
10.2140/pmp.2022.3.939,17074,RoSe,"Validity of Bogoliubov’s approximation fortranslation-invariant Bose gases"
10.1002/syst.202200026,17078,NMR,"RNA oligomerisation without added catalyst from 2′,3′‐cyclic nucleotides by drying at air-water interfaces"
10.1142/s2010326322500496,17079,LaEr,"Characteristic polynomials of random truncations: Moments, duality and asymptotics"
10.48550/arXiv.2304.04024,17100,KrCh,Prophet inequalities: Separating random order from order selection
10.1145/3618366,17379,,C-shells: Deployable gridshells with curved beams
10.1515/9783111162683-016,17380,,BamX: Rethinking Deployability in Architecture through Weaving
10.1145/3592399,17381,,Computational exploration of multistable elastic knots
10.1115/1.4056350,17382,,From kirigami to hydrogels: A tutorial on designing conformally transformable surfaces
10.1145/3622823,17498,,Melocoton: A program logic for verified interoperability between OCaml and C
10.1145/3571232,17499,,Conditional contextual refinement
10.1145/3571220,17500,,DimSum: A decentralized approach to multi-language semantics and verification