DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-662-47672-7_85,1650,KrPi,Condensed unpredictability 
10.1007/978-3-662-46447-2_5,1651,KrPi,Anonymous transferable e-cash
10.1145/2746539.2746622,1652,KrPi,High parallel complexity graphs and memory-hard functions
10.1007/978-3-662-48800-3_4,1654,KrPi,Generic security of NMAC and HMAC with input whitening
10.3390/e17107266,1655,"ChLa,GaTk",Quantifying emergent behavior of autonomous robots
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.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"
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.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