DOI,IST REx ID,Research Group,Title of publication
10.1017/jfm.2019.191,6228,BjHo,Relaminarising pipe flow by wall movement
10.1126/science.aav4837,6194,JoCs,The entorhinal cognitive map is attracted to goals
10.1038/s41586-019-1320-2,6609,JoFi,Stationary entangled radiation from micromechanical motion
10.15479/at:ista:th1075,6269,JiFr,"Clathrin-Mediated endocytosis, post-endocytic trafficking and their regulatory controls in plants "
10.15479/AT:ISTA:6371,6371,CaGu,On the nature of gene regulatory design - The biophysics of transcription factor binding shapes gene regulation
10.15479/AT:ISTA:6363,6363,PeJo,Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits
10.15479/at:ista:7132,7132,HaJa,Design and characterization of methods and biological components to realize synthetic neurotransmission
10.48550/arXiv.1910.05841,10065,GeKa,Assessing the potential of Ge/SiGe quantum dots as hosts for singlet-triplet qubits
10.3390/ijms20133337,6627,JiFr,Reorientation of cortical microtubule arrays in the hypocotyl of arabidopsis thaliana is induced by the cell growth process and independent of auxin signaling
10.1038/s41586-019-1519-2,6848,LeSa,Structure and mechanism of mitochondrial proton-translocating transhydrogenase
10.1104/pp.19.00201,6260,JiFr,Pinstatic acid promotes auxin transport by inhibiting PIN internalization
10.15479/AT:ISTA:6849,6849,JoCs,The role of CCK-interneurons in regulating hippocampal network dynamics
10.1145/3360555,6780,KrCh,Modular verification for almost-sure termination of probabilistic programs
10.1145/3297280.3297322,6490,KrCh,The treewidth of smart contracts
10.1145/3363525,7158,KrCh,Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth
10.1145/3297280.3297319,6378,KrCh,"Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving"
10.1145/3314221.3314581,6175,KrCh,Cost analysis of nondeterministic probabilistic programs
10.1145/3339984,7014,KrCh,Non-polynomial worst-case analysis of recursive programs
10.1145/3290366,6380,KrCh,Efficient parameterized algorithms for data packing
10.1109/BLOC.2019.8751326,6056,KrCh,Probabilistic smart contracts: Secure randomness on the blockchain