DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.ITP.2023.15,13120,"GradSch,VlKo",Closure properties of general grammars - formally verified
10.5281/ZENODO.7789417,13122,JoFi,Entangling microwaves with light
10.5281/ZENODO.7858567,13124,JoFi,Tunable directional photon scattering from a pair of superconducting qubits
10.1103/physreva.107.062404,13125,MaSe,Recursive greedy initialization of the quantum approximate optimization algorithm with guaranteed improvement
10.15479/AT:ISTA:13126,13126,"JoDa,SaSi,GaNo,PeJo,Bio,RySh","Research data for the publication ""Imaging brain tissue architecture across millimeter to nanometer scales"""
10.1038/s41467-023-38947-y,13127,"SyCr,GaTk",Dynamic pathogen detection and social feedback shape collective hygiene in ants
10.4153/S000843952300036X,13128,GradSch,An energy decomposition theorem for matrices and related questions
10.1007/s10208-023-09613-y,13129,JuFi,Bias in the representative volume element method: Periodize the ensemble instead of its realizations
10.1016/j.patcog.2023.109693,13134,HeEd,Discrete analytical objects in the body-centered cubic grid
10.1016/j.jde.2023.05.038,13135,JuFi,Reaction-diffusion equations with transport noise and critical superlinear diffusion: Local well-posedness and positivity
10.1016/j.coisb.2023.100459,13136,AnKi,Control of tissue dimensions in the developing neural tube and somites
10.1103/PhysRevB.107.184312,13138,GradSch,Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain
10.1007/978-3-031-30823-9_25,13139,KrCh,"Correct approximation of stationary distributions"
10.1007/978-3-031-30820-8_15,13141,ToHe,Computing adequately permissive assumptions for synthesis
10.1007/978-3-031-30823-9_1,13142,"KrCh,ToHe",A learner-verifier framework for neural network controllers and certificates of stochastic systems
10.1007/978-3-031-31368-4_19,13143,KrPi,Certifying giant nonprimes
10.1214/23-ECP528,13145,JaMa,"A Mecke-type characterization of the Dirichlet–Ferguson measure"
null,13161,"ScienComp,EM-Fac",Running Windows-applications on a Linux HPC cluster using WINE
null,13162,ScienComp,Cryo-EM software packages: A sys-admins point of view
10.1038/s41467-023-39317-4,13164,FyKo,Divergent molecular signatures in fish Bouncer proteins define cross-fertilization boundaries