DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-030-59152-6_14,8728,KrCh,Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth
10.1145/3385412.3385969,8089,KrCh,Polynomial invariant generation for non-deterministic recursive programs
10.1007/978-3-030-44914-8_5,7810,KrCh,Optimal and perfectly parallel algorithms for on-demand data-flow analysis
10.1016/j.ress.2019.106665,6918,KrCh,An efficient algorithm for computing network reliability in small treewidth
10.15479/AT:ISTA:7525,7525,RySh,Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway
10.1016/j.nahs.2020.100856,7426,ToHe,Abstraction based verification of stability of polyhedral switched systems
10.1007/s10957-019-01616-6,7161,VlKo,Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces
10.1073/pnas.2003346117,8002,"JiFr,EvBe",Wounding-induced changes in cellular pressure and localized auxin signalling spatially coordinate restorative divisions in roots
10.15479/AT:ISTA:7258,7258,BjHo,New approaches to reduce friction in turbulent pipe flow
10.15479/AT:ISTA:8657,8657,GaTk,Perturbations of protein synthesis: from antibiotics to genetics and physiology
10.15479/AT:ISTA:8620,8620,GaNo,Illuminating the role of Cul3 in autism spectrum disorder pathogenesis
10.3389/fcell.2020.574382,8569,SiHi,Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex
10.1101/2020.01.10.902064 ,7800,"JoDa,GaNo,LifeSc",Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development
10.1038/s41467-020-17734-z,8250,GaTk,Mechanisms of drug interactions between translation-inhibiting antibiotics
10.1016/j.gde.2020.06.004,8131,GaNo,Molecular mechanisms for targeted ASD treatments
10.1101/2020.04.18.047886,7673,GaTk,A minimal biophysical model of combined antibiotic action
10.1101/2020.11.20.391284,9750,"CaHe,EM-Fac,Bio",Tension-dependent stabilization of E-cadherin limits cell-cell contact expansion
10.3390/ijms21186737,8532,RySh,Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses
null,9633,TiVo,A meta-learning approach to (re)discover plasticity rules that carve a desired function into a neural network
10.15479/AT:ISTA:7680,7680,CaGu,Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals