DOI,IST REx ID,Research Group,Title of publication
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
10.1145/2817825,1680,ToHe,On the decidability of elementary modal logics
10.3390/g6040413,1681,"NiBa,KrCh",Evolution of decisions in population games with sequentially searching individuals
10.1145/2751524,1682,"UlWa,HeEd",Robust satisfiability of systems of equations
10.1016/j.sbi.2015.08.008,1683,LeSa,Gaining mass: The structure of respiratory complex I-from bacterial towards mitochondrial versions
10.1007/978-3-662-48350-3_33,1685,UlWa,A fixed parameter tractable approximation scheme for the optimal cut graph of a surface
10.1126/science.aad0867,1686,MiSi,Fragmented communication between immune cells: Neutrophils blaze a trail with migratory cues for T cells to follow to sites of infection
10.1016/j.ceb.2015.08.001,1687,MiSi,Navigating in tissue mazes: Chemoattractant interpretation in complex environments
10.1007/s00454-015-9720-z,1688,UlWa,Bounds for Pach's selection theorem and for the minimum solid angle in a simplex
10.1145/2728606.2728608,1689,"ToHe,KrCh",Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
10.1145/2728606.2728630,1690,ToHe,HYST: A source transformation and translation tool for hybrid automaton models