DOI,IST REx ID,Title of publication
10.1137/1.9781611973068.23,4544,Termination criteria for solving concurrent safety and reachability games
10.1007/978-3-642-02930-1_1,4545,A survey of stochastic games with limsup and liminf objectives
10.1007/978-3-642-02658-4_14,4569,Better quality in synthesis through quantitative objectives
10.1007/978-3-642-00768-2_7,4580,Alpaga: A tool for solving parity games with imperfect information
10.15479/AT:IST-2009-0004,5392,Probabilistic automata on infinite words: Decidability and undecidability results
10.15479/AT:IST-2009-0003,5393,Gist: A solver for probabilistic games
10.15479/AT:IST-2009-0002,5394,Improved lower bounds for request-response and finitary Streett games
10.15479/AT:IST-2009-0001,5395,Qualitative analysis of partially-observable Markov decision processes
10.1007/s11103-008-9393-6,2868,Hormone interactions at the root apical meristem
10.1016/j.tplants.2009.05.002,2869,Arabidopsis lateral root development: an emerging story
10.1007/s12532-009-0002-8,2932,Blossom V: A new implementation of a minimum cost perfect matching algorithm
 10.1371/journal.ppat.1000266,3046,Parasitic nematodes modulate PIN mediated auxin transport to facilitate infection
10.1111/j.1365-313X.2008.03668.x,3047,ABCB19 PGP19 stabilises PIN1 in membrane microdomains in Arabidopsis
10.1016/j.cub.2009.01.057,3048,Fluorescence imaging based screen identifies ARF GEF component of early endosomal trafficking
10.1073/pnas.0811539106,3049,Cytokinins modulate auxin induced organogenesis in plants via regulation of the auxin efflux
10.1073/pnas.0900060106,3050,Cytokinin regulates root meristem activity via modulation of the polar auxin transport
10.1016/j.cell.2009.03.009,3051,SnapShot: Auxin signaling and transport
10.1016/j.cell.2009.03.001,3052,Auxin: A trigger for change in plant development
10.1016/j.tplants.2009.01.006,3053,A morphogenetic trigger: Is there an emerging concept in plant developmental biology?
10.1038/nchembio.170,3054,Auxin and other signals on the move in plants