DOI,IST REx ID,Research Group,Title of publication
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.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.1371/journal.pbio.1002078,1684,,Numerous transitions of sex chromosomes in Diptera
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