DOI,IST REx ID,Research Group,Title of publication
10.23638/LMCS-13(3:26)2017,464,KrCh,Improved algorithms for parity and Streett objectives
10.23638/LMCS-13(3:23)2017,465,"KrCh,ToHe",Edit distance for pushdown automata
10.23638/LMCS-13(2:15)2017,466,KrCh,Unifying two views on multiple mean-payoff objectives in Markov decision processes
10.1145/3152769,467,"KrCh,ToHe",Nested weighted automata
10.1145/3060139,471,ToHe,Faster statistical model checking for unbounded temporal properties
10.1142/S0218195916600050,481,HeEd,Planar matchings for weighted straight skeletons
10.4310/ATMP.2017.v21.n3.a5,483,LaEr,Universality for a class of random band matrices
10.4310/ATMP.2017.v21.n3.a4,484,RoSe,Bogoliubov correction to the mean-field dynamics of interacting bosons
10.1364/NLO.2017.NM3A.1,485,JoFi,Single sideband microwave to optical photon conversion-an-electro-optic-realization
10.1145/3143361.3143367,487,DaAl,Towards unlicensed cellular networks in TV white spaces
10.1038/s41598-017-00107-w,512,KrCh,Amplification on undirected population structures: Comets beat stars
10.1103/PhysRevFluids.2.043904,513,BjHo,Couette-Poiseuille flow experiment with zero mean advection velocity: Subcritical transition to turbulence
10.1038/ncomms16032,514,JoCs,Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum
10.1038/nsmb.3460,515,LeSa,Clarifying the supercomplex: The higher-order organization of the mitochondrial electron transport chain
10.1021/acssynbio.6b00235,520,ToBo,Nonhierarchical flux regulation exposes the fitness burden associated with lactate production in Synechocystis sp. PCC6803
10.1016/j.topol.2016.10.005,521,HeEd,Higson compactification and dimension raising
10.1007/s00454-017-9900-0,534,UlWa,Finding non-orientable surfaces in 3-Manifolds
10.1002/ange.201611998,538,"CaGu,HaJa",Grünlicht-induzierte Rezeptorinaktivierung durch Cobalamin-bindende Domänen
10.1371/journal.ppat.1006758,540,GaNo,Characterization of host proteins interacting with the lymphocytic choriomeningitis virus L protein
10.1371/journal.pgen.1007122,541,CaGu,Cell-to-cell variation and specialization in sugar metabolism in clonal bacterial populations