DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-662-64331-0_1,10325,ElKo,SoK: Communication across distributed ledgers
10.1109/IEEECONF53345.2021.9723394,10599,MaMo,Successive syndrome-check decoding of polar codes
10.1109/isit45174.2021.9517887,10597,MaMo,Sparse multi-decoder recursive projection aggregation for Reed-Muller codes
10.1109/LICS52264.2021.9470739,10002,KrCh,Symbolic time and space tradeoffs for probabilistic verification
10.1109/LICS52264.2021.9470547,9356,"GradSch,ToHe",Quantitative and approximate monitoring
10.1109/LICS52264.2021.9470595,10004,KrCh,Stochastic processes with expected stopping time
10.1109/TSP.2021.3087899,9828,GaTk,Fast and accurate amplitude demodulation of wideband signals
10.1109/ISIT45174.2021.9518153,10053,MaMo,Parallelism versus latency in simplified successive-cancellation decoding of polar codes
10.1029/2020av000303,22584,,Urban forests as main regulator of the evaporative cooling effect in cities
10.2140/APDE.2021.14.2079,10738,RoSe,"The Landau–Pekar equations: Adiabatic theorem and accuracy"
10.1242/dev.176065,9226,GaTk,The many bits of positional information
10.1242/dev.196121,15262,AnKi,Dynamics of hunchback translation in real-time and at single-mRNA resolution in the Drosophila embryo
10.1167/IOVS.62.10.14,10000,SaSi,Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression
10.1109/TWC.2020.3022922,9047,MaMo,Sublinear latency for simplified successive cancellation decoding of polar codes
10.1145/3446383,15267,DaAl,Exploiting spontaneous transmissions for broadcasting and leader election in radio networks
10.1142/S0218202521500470,10575,JuFi,On the dynamic slip boundary condition for Navier-Stokes-like problems
10.1142/S0218202521500457,10005,JuFi,On nonlinear problems of parabolic type with implicit constitutive equations involving flux
10.1609/aaai.v35i5.16496,10665,"GradSch,ToHe",Scalable verification of quantized neural networks
10.1609/aaai.v35i9.16936,10671,"GradSch,ToHe",Liquid time-constant networks
10.1609/aaai.v35i9.16999,11436,DaAl,Asynchronous optimization methods for efficient training of deep neural networks with guarantees