DOI,IST REx ID,Research Group,Title of publication
10.7554/eLife.55351,7909,MiSi,"Loss of Ena/VASP interferes with lamellipodium architecture, motility and integrin-dependent adhesion"
10.1038/s41467-020-18837-3,8669,EdHa,Tracing the cellular basis of islet specification in mouse pancreas
10.1109/TCAD.2020.3012803,8788,KrCh,Precedence-aware automated competitive analysis of real-time scheduling
10.1063/1.5122969,7563,BjHo,Inferring symbolic dynamics of chaotic flows from persistence
10.1007/978-3-030-43408-3_8,8135,HeEd,"Radius functions on Poisson–Delaunay mosaics and related complexes experimentally"
10.1007/s00023-020-00969-3,8705,RoSe,Microscopic derivation of the Fröhlich Hamiltonian for the Bose polaron in the mean-field limit
10.15479/AT:ISTA:7944,7944,"HeEd,UlWa",Reconfiguration problems
10.15479/AT:ISTA:8574,8574,NiBa,Local adaptation in metapopulations
10.15479/AT:ISTA:8032,8032,UlWa,Combinatorial width parameters for 3-dimensional manifolds
10.1007/978-3-030-53288-8_14,8195,ToHe,Refinement for structured concurrent programs
10.15479/AT:ISTA:8589,8589,JiFr,Novel insights into PIN polarity regulation during Arabidopsis development
10.15479/AT:ISTA:8366,8366,BeBi,Computational design of curved thin shells: From glass façades to programmable matter
10.15479/AT:ISTA:8358,8358,MaLo,Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers
10.15479/AT:ISTA:8390,8390,ChLa,Leveraging structure in Computer Vision tasks for flexible Deep Learning models
10.1007/978-3-030-30671-7_3,8092,ChLa,XGAN: Unsupervised image-to-image translation for many-to-many mappings
10.1007/978-3-030-53291-8_21,8272,KrCh,Stochastic games with lexicographic reachability-safety objectives
10.1007/978-3-030-45374-9_21,8339,KrPi,Improved discrete Gaussian and subgaussian analysis for lattice cryptography
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.1007/978-3-030-51074-9_2,8194,ToHe,An SMT theory of fixed-point arithmetic