DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-030-92075-3_12,10609,KrPi,Reverse firewalls for adaptively secure MPC without setup
null,10613,JaMa,Higher-order hydrodynamics and equilibrium fluctuations of interacting particle systems
10.1088/1367-2630/ac4124,10628,MiLe,Shadow surface states in topological Kondo insulators
10.4230/LIPIcs.FSTTCS.2021.42,10629,KrCh,Quantitative verification on product graphs of small treewidth
10.4230/LIPIcs.FSTTCS.2021.34,10630,KrCh,On the complexity of intersection non-emptiness for star-free language classes
10.1103/PhysRevA.104.L061303,10631,MiLe,Excited rotational states of molecules in a superfluid
10.24072/pcjournal.69,10635,"GradSch,JoCs",Nonlinear computations in spiking neural networks through multiplicative synapses
null,10644,JoFi,The Bluefors dilution refrigerator as an integrated quantum measurement system
null,10645,JoFi,Qubit energy-relaxation statistics in the Bluefors quantum measurement system
10.1016/j.omtm.2021.09.006,10655,"SaSi,SiHi",Optimizing AAV2/6 microglial targeting identified enhanced efficiency in the photoreceptor degenerative environment
null,10665,"GradSch,ToHe",Scalable verification of quantized neural networks
10.1109/ICRA48506.2021.9561036,10666,"GradSch,ToHe",Adversarial training is not ready for robot learning
10.48550/arXiv.2111.03165,10667,"GradSch,ToHe,KrCh",Infinite time horizon safety of Bayesian neural networks
null,10668,"GradSch,ToHe",On-off center-surround receptive fields for accurate and robust image classification
null,10669,"GradSch,ToHe",On the verification of neural ODEs with stochastic guarantees
null,10670,"GradSch,ToHe",Causal navigation by continuous-time neural networks
null,10671,"GradSch,ToHe",Liquid time-constant networks
10.23638/LMCS-17(1:10)2021,10674,ToHe,Determinacy in discrete-bidding infinite-duration games
10.34727/2021/isbn.978-3-85448-046-4_23,10688,ToHe,The Civl verifier
10.1137/1.9781611976465.38,10694,"GradSch,KrCh",Infinite-duration all-pay bidding games