DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:IST-2014-176-v1-1,5418,KrCh,Games with a weak adversary
10.15479/AT:IST-2014-187-v1-1,5419,KrCh,Improved algorithms for reachability and shortest path on low tree-width graphs
10.15479/AT:IST-2014-191-v1-1,5420,KrCh,The value 1 problem for concurrent mean-payoff games
10.15479/AT:IST-2014-190-v2-2,5421,KrCh,The complexity of evolution on graphs
null,5422,E-Lib,"Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland"
10.15479/AT:IST-2014-300-v1-1,5423,KrCh,A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks
10.15479/AT:IST-2014-305-v1-1,5424,KrCh,Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
null,5425,,Optimal cost almost-sure reachability in POMDPs
10.15479/AT:IST-2014-305-v2-1,5426,KrCh,Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
10.15479/AT:IST-2014-314-v1-1,5427,KrCh,Optimal tree-decomposition balancing and reachability on low treewidth graphs
10.15479/AT:IST-2014-315-v1-1,5428,"ToHe,KrCh",Quantitative fair simulation games
10.1007/978-3-319-09955-2_33,5810,,"On Finding Spherical Geodesic Paths and Circles in ℤ3"
10.1007/s00023-013-0302-4,5813,,Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit
10.1364/OL.39.004005,589,,Many-atom-cavity QED system with homogeneous atom-cavity coupling
10.1016/j.cell.2013.12.008,6122,,Neuronal control of metabolism through nutrient-dependent modulation of tracheal branching
10.1371/journal.pgen.1004082,6124,,An ER complex of ODR-4 and ODR-8/Ufm1 specific protease 2 promotes GPCR maturation by a Ufm1-independent mechanism
10.1523/jneurosci.5368-13.2014,6126,,GLOBIN-5-dependent O2 responses are regulated by PDL-1/PrBP that targets prenylated soluble guanylate cyclases to dendritic endings
10.1007/978-1-4939-1164-6_15,6178,CaHe,UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo
10.5802/jtnb.857,6319,,Contre-exemples au principe de Hasse pour certains tores coflasques
10.1109/tcomm.2014.2345069,6739,,From polar to Reed-Muller codes: A technique to improve the finite-length performance