DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:ISTA:8653,8653,CaGu,The evolution of gene expression by copy number and point mutations
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.1007/s10957-019-01616-6,7161,VlKo,Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces
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.1038/s41467-020-17734-z,8250,GaTk,Mechanisms of drug interactions between translation-inhibiting antibiotics
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.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.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
10.1016/j.nahs.2020.100856,7426,ToHe,Abstraction based verification of stability of polyhedral switched systems
10.1038/s41588-020-00712-y,8707,FyKo,CHESS enables quantitative comparison of chromatin contact data and automatic feature extraction
10.2140/paa.2020.2.35,14891,RoSe,The local density approximation in density functional theory
10.15479/AT:ISTA:7680,7680,CaGu,Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals
10.1016/j.anihpc.2020.01.003,7388,JaMa,Nondivergence form quasilinear heat equations driven by space-time white noise