DOI,IST REx ID,Research Group,Title of publication
10.1145/3158118,10416,KrCh,Optimal Dyck reachability for data-dependence and Alias analysis
10.1145/3158121,10418,"KrCh,ToHe",A new proof rule for almost-sure termination
10.1111/evo.13191,1063,NiBa,"Evolutionary rescue in randomly mating, selfing, and clonal populations"
10.1016/j.ipl.2017.02.003,1065,"KrCh,HeEd",Pushdown reachability with constant treewidth
10.1016/j.ic.2016.10.006,1066,"KrCh,ToHe",Quantitative fair simulation games
10.1016/j.devcel.2017.01.010,1067,CaHe,The physical basis of coordinated tissue spreading in zebrafish gastrulation
10.1090/tran/6991,1072,HeEd,"The Morse theory of Čech and delaunay complexes"
10.1007/s00454-016-9855-6,1073,UlWa,Algorithmic solvability of the lifting extension problem
10.1534/genetics.116.196220,1074,NiBa,Inferring recent demography from isolation by distance of long shared sequence blocks
10.1007/s11040-017-9238-0,1079,RoSe,Nonexistence in Thomas Fermi-Dirac-von Weizsäcker theory with small nuclear charges
10.1038/ncomms14114,1080,KrCh,Reconstructing metastatic seeding patterns of human cancers
10.1145/3087801.3087810,791,DaAl,The power of choice in priority scheduling
10.1017/jfm.2017.699,792,BjHo,Relative periodic orbits form the backbone of turbulent pipe flow
10.1016/j.comgeo.2017.07.002,793,UlWa,On the existence of ordinary triangles
10.1016/j.comgeo.2017.06.016,794,UlWa,C-planarity of embedded cyclic c-graphs
10.1063/1.4994661,796,JoFi,Al transmon qubits on silicon on insulator for quantum device integration
10.1002/piuz.201770305,797,JoFi,Photonenblockade aufgelöst
10.1038/s41467-017-01304-x,798,JoFi,Mechanical on chip microwave circulator
10.1093/pcp/pcx118,799,JiFr,BEN3/BIG2 ARF GEF is involved in brefeldin a-sensitive trafficking at the trans-Golgi network/early endosome in Arabidopsis thaliana
10.1038/s41467-017-00936-3,800,PeJo,Distance-dependent inhibition facilitates focality of gamma oscillations in the dentate gyrus