DOI,IST REx ID,Research Group,Title of publication
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
10.1609/aaai.v35i13.17372,10669,"GradSch,ToHe",On the verification of neural ODEs with stochastic guarantees
10.15479/at:ista:10429,10429,"GradSch,DaAl",On achieving scalability through relaxation
10.1609/aaai.v35i10.17092,10432,DaAl,Elastic consistency: A practical consistency model for distributed stochastic gradient descent