DOI,IST REx ID,Research Group,Title of publication
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
10.48550/arXiv.2104.14946,12077,TiBr,On the leading constant in the Manin-type conjecture for Campana points
10.1103/PhysRevLett.126.244502,9558,"GradSch,BjHo",Coarse graining the state space of a turbulent flow using periodic orbits
10.1007/978-3-030-90456-2_8,10408,KrPi,Grafting key trees: Efficient key management for overlapping groups
10.15479/at:ista:10035,10035,"GradSch,KrPi",On the adaptive security of graph-based games
10.1007/978-3-030-75539-3_17,9826,"KrPi,GradSch",Inverse-Sybil attacks in automated contact tracing
10.1109/sp40001.2021.00035,10049,"KrPi,DaAl","Keep the dirt: tainted TreeKEM, adaptively and actively secure continuous group key agreement"
10.4230/LIPIcs.SoCG.2021.32,9345,HeEd,The density fingerprint of a periodic point set
10.1103/PRXQuantum.2.040341,9928,"JoFi,NanoFab,M-Shop",Geometric superinductance qubits: Controlling phase delocalization across a single Josephson junction
10.1103/physrevb.104.104205,10067,MaSe,Entanglement transitions from restricted Boltzmann machines
10.1103/physreva.104.062423,10545,MaSe,Duality approach to quantum annealing of the 3-variable exclusive-or satisfiability problem (3-XORSAT)
10.1016/j.neuron.2021.01.020,7553,GaTk,Statistical analysis and optimality of neural systems
10.1038/s41567-020-01037-7,8602,EdHa,Theory of mechanochemical patterning and optimal migration in cell monolayers
10.1145/3450626.3459800,9817,BeBi,The design space of plane elastic curves
10.1038/s41467-021-23123-x,9429,"GaNo,JoDa,FlSc,MiSi,LifeSc,Bio",Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development