DOI,IST REx ID,Research Group,Title of publication
10.1155/2016/1207393,1435,PeJo,P2Y receptors in synaptic transmission and plasticity: Therapeutic potential in cognitive dysfunction
10.1016/j.matpur.2015.09.003,1436,RoSe,Kinetic energy estimates for the accuracy of the time-dependent Hartree-Fock approximation with Coulomb interaction
10.1145/2837614.2837624,1437,KrCh,Algorithms for algebraic path properties in concurrent systems of constant treewidth components
10.1145/2837614.2837639,1438,KrCh,Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
10.1145/2837614.2837650,1439,ToHe,PSYNC: A partially synchronous language for fault-tolerant distributed algorithms
10.1016/j.str.2016.01.002,1440,HaJa,Light at the end of the protein: Crystal structure of a C-terminal light-sensing domain
10.1002/anie.201601736,1441,HaJa,A phytochrome sensory domain permits receptor activation by red light
10.1007/s11192-016-1842-4,1446,BeBi,On the uncertainty of interdisciplinarity measurements due to incomplete bibliographic data
10.1214/15-AAP1133,1448,JaMa,Entropic Ricci curvature bounds for discrete interacting systems
10.7554/eLife.10276,1475,DaSi,"Yeast Eps15-like endocytic protein Pan1p regulates the interaction between endocytic vesicles, endosomes and the actin cytoskeleton"
10.1242/jcs.176651,1476,DaSi,Srv2/CAP is required for polarized actin cable assembly and patch internalization during clathrin-mediated endocytosis
10.1016/j.jcss.2016.02.009,1477,KrCh,"What is decidable about partially observable Markov decision processes with ω-regular objectives"
10.1088/1367-2630/18/3/035002,1478,RoSe,Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas
10.15479/AT:IST-2016-523-v1-1,5445,KrCh,Quantitative interprocedural analysis
null,5446,,Termination and worst-case analysis of recursive programs
null,5447,,Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds
null,5448,,Data-centric dynamic partial order reduction
10.15479/AT:IST-2016-648-v1-1,5449,KrCh,Amplification on undirected population structures: Comets beat stars
10.15479/AT:IST-2016-728-v1-1,5451,KrCh,Strong amplifiers of natural selection
10.15479/AT:IST-2017-728-v2-1,5452,KrCh,Arbitrarily strong amplifiers of natural selection