DOI,IST REx ID,Research Group,Title of publication
10.1088/1367-2630/17/1/013022,1880,RoSe,Superfluid behavior of a Bose-Einstein condensate in a random potential
10.1007/978-3-319-15317-9_19,1882,"ToHe,KrCh",Compositionality for quantitative specifications
10.1103/PhysRevE.91.022803,1883,NiBa,Anomalous scaling in an age-dependent branching model
10.1534/genetics.114.171850,1885,GaTk,"Positional information, positional error, and readout precision in morphogenesis: A mathematical framework"
10.1016/j.physleta.2014.12.010,1938,HeEd,On the distribution of local extrema in quantum chaos
10.1103/PhysRevE.91.062710,1940,GaTk,Optimizing information flow in small genetic networks. IV. Spatial coupling
10.1016/j.pbi.2014.12.002,1944,JiFr,Intracellular trafficking and PIN-mediated cell polarity during tropic responses in plants
10.5802/jep.18,473,RoSe,Derivation of nonlinear gibbs measures from many-body quantum mechanics
10.1242/jcs.167999,477,MiSi,The serotonin receptor 5-HT7R regulates the morphology and migratory properties of dendritic cells
10.1016/j.ic.2015.03.010,523,KrCh,Looking at mean-payoff and total-payoff through windows
10.1016/j.ic.2015.03.009,524,KrCh,Qualitative analysis of concurrent mean payoff games
10.1016/j.cell.2015.09.037,532,JiFr,EIN2-directed translational regulation of ethylene signaling in arabidopsis
10.15479/AT:IST-2015-319-v1-1,5430,KrCh,Faster algorithms for quantitative verification in constant treewidth graphs
10.15479/AT:IST-2015-322-v1-1,5431,KrCh,The patience of concurrent stochastic games with safety and reachability objectives
10.15479/AT:IST-2015-323-v1-1,5432,KrCh,The complexity of evolutionary games on graphs
null,5434,,Optimal cost indefinite-horizon reachability in goal DEC-POMDPs
10.15479/AT:IST-2015-330-v2-1,5437,KrCh,Faster algorithms for quantitative verification in constant treewidth graphs
10.15479/AT:IST-2015-335-v1-1,5439,ToHe,The target discounted-sum problem
10.15479/AT:IST-2015-323-v2-2,5440,KrCh,The complexity of evolutionary games on graphs
10.15479/AT:IST-2015-340-v1-1,5441,KrCh,Algorithms for algebraic path properties in concurrent systems of constant treewidth components