DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-662-47989-6_29,1648,KrPi,A quasipolynomial reduction for generalized selective decryption on trees
10.1007/978-3-319-24174-6_16,1649,KrPi,Efficient zero-knowledge proofs for commitments from learning with errors over rings
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.72,1656,"KrCh,ToHe",Nested weighted automata
10.1109/LICS.2015.32,1657,"KrCh,ToHe",Unifying two views on multiple mean-payoff objectives in Markov decision processes
10.1007/978-3-319-23401-4_8,1658,"ToHe,GaTk",Adaptive moment closure for parameter inference of biochemical reaction networks
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.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