DOI,IST REx ID,Research Group,Title of publication
10.1109/LICS.2015.74,1659,ToHe,The target discounted-sum problem
10.1109/LICS.2015.15,1660,KrCh,Long-run average behaviour of probabilistic vector addition systems
10.1109/LICS.2015.34,1661,KrCh,Improved algorithms for one-pair and k-pair Streett objectives
10.1016/j.cellsig.2015.08.001,1663,JoCs,Complex regulation of CREB-binding protein by homeodomain-interacting protein kinase 2
10.1038/nature15701,1664,BjHo,The rise of fully turbulent flow
10.1038/nature15395,1665,KrCh,Mutations driving CLL and their evolution in progression and relapse
10.1371/journal.pgen.1005639,1666,"NiBa,CaGu,GaTk",Dynamics of transcription factor binding site evolution
10.1007/978-3-319-22264-6_10,1667,KrCh,Optimizing performance of continuous-time stochastic systems using timeout synthesis
10.1007/978-3-662-48116-5_16,1668,KrPi,Relaxing full-codebook security: A refined analysis of key-length extension schemes
10.1007/978-3-319-22174-8_5,1669,KrPi,"The chain rule for HILL pseudoentropy, revisited"
null,1670,ToHe,PDDL+ planning with hybrid automata: Foundations of translating must behavior
10.1007/978-3-662-47989-6_18,1671,KrPi,The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC
10.1007/978-3-662-48000-7_37,1672,KrPi,Incoercible multi-party computation and universally composable receipt-free voting
10.1098/rspa.2015.0114,1673,KrCh,Amplifiers of selection
10.1142/S0129055X1550018X,1674,LaEr,Edge universality for deformed Wigner matrices
10.1007/978-3-662-48000-7_29,1675,"VlKo,KrPi",Proofs of space
10.1016/j.ceb.2015.09.004,1676,MiSi,Editorial overview: Cell adhesion and migration
10.1063/1.4932606,1677,LaEr,The local semicircle law for random matrices with a fourfold symmetry
10.1038/nchembio.1933,1678,"HaJa,LifeSc",Light-assisted small-molecule screening against protein kinases
10.1063/1.4930850,1679,BjHo,Taylor's Forest