DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-030-65277-7_1,8987,KrPi,Delayed authentication: Preventing replay and relay attacks in private contact tracing
10.1007/978-3-030-56880-1_26,8322,KrPi,"Reverse firewalls for actively secure MPCs"
10.1109/CDC42340.2020.9304042,9103,ToHe,Lagrangian reachtubes: The next generation
10.1007/978-3-030-51074-9_2,8194,ToHe,An SMT theory of fixed-point arithmetic
10.1016/j.neuron.2020.01.021,7684,JoCs,Assembly-specific disruption of hippocampal replay leads to selective memory deficit
10.1007/978-3-030-45237-7_5,7808,ToHe,How many bits does it take to quantize your neural network?
10.15252/embj.2019103358,7586,GaNo,Uncoupling endosomal CLC chloride/proton exchange causes severe neurodegeneration
10.1016/j.tcs.2019.06.031,6761,ToHe,Dynamic resource allocation games
10.1142/S021820252050013X,7623,MiSi,Modeling adhesion-independent cell migration
10.15479/AT:ISTA:8386,8386,BeBi,"Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability"
10.1007/978-3-030-45727-3_16,7966,KrPi,"Everybody’s a target: Scalability in public-key encryption"
10.1007/978-3-030-60508-7_1,8623,ToHe,Monitorability under assumptions
10.1007/978-3-030-60440-0_26,8732,UlWa,Inserting one edge into a simple drawing is hard
10.1007/978-3-030-45374-9_8,10865,,Witness maps and applications
10.1002/9780470015902.a0029007,9123,NiBa,Inversions and Evolution
10.1007/s00220-019-03505-5,6649,RoSe,Optimal upper bound for the correlation energy of a Fermi gas in the mean-field regime
10.1007/s41808-020-00068-8,7866,JuFi,"Uniform convergence to equilibrium for a family of drift–diffusion models with trap-assisted recombination and the limiting Shockley–Read–Hall model"
10.7554/elife.55190,7888,"CaHe,Bio",Zebrafish embryonic explants undergo genetically encoded self-assembly
null,9198,"MaMo,DaAl",Landscape connectivity and dropout stability of SGD solutions for over-parameterized neural networks
10.15479/AT:ISTA:8350,8350,"BjHo,CaHe",Bulk actin dynamics drive phase segregation in zebrafish oocytes