DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:ISTA:6435,6435,SyCr,Collective defenses of garden ants against a fungal pathogen
10.15479/AT:ISTA:6849,6849,JoCs,The role of CCK-interneurons in regulating hippocampal network dynamics
10.1038/s41586-019-1519-2,6848,LeSa,Structure and mechanism of mitochondrial proton-translocating transhydrogenase
10.15479/at:ista:th1075,6269,JiFr,"Clathrin-Mediated endocytosis, post-endocytic trafficking and their regulatory controls in plants "
10.15479/AT:ISTA:6825,6825,"JoCs,GradSch",The hippocampus and medial prefrontal cortex during flexible behavior
10.1002/hipo.23076,5949,JoCs,Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and oscillatory synchronization
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:6947,6947,MiSi,"Lymph node mechanics: Deciphering the interplay between stroma contractility, morphology and lymphocyte trafficking"
10.7554/elife.41801,6187,DaSi,A conserved major facilitator superfamily member orchestrates a subset of O-glycosylation to aid macrophage tissue invasion
10.15479/AT:ISTA:6546,6546,DaSi,The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration
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.1103/PhysRevLett.122.114502,6189,BjHo,Transition to turbulence in particle laden flows
10.1016/j.neuron.2019.08.021,6830,SiHi,Memo1 tiles the radial glial cell grid
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/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/3363525,7158,KrCh,Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth
10.1145/3339984,7014,KrCh,Non-polynomial worst-case analysis of recursive programs