DOI,IST REx ID,Research Group,Title of publication
10.1105/tpc.113.114421,511,JiFr,Regulation of auxin homeostasis and gradients in Arabidopsis roots through the formation of the indole-3-acetic acid catabolite 2-oxindole-3-acetic acid
10.1038/msb.2013.40,516,JiFr,"A map of cell type‐specific auxin responses"
10.1016/j.imlet.2013.07.007,522,MiSi,Thymic medullar conduits-associated podoplanin promotes natural regulatory T cells
10.1016/j.cub.2013.10.038,527,"EvBe,JiFr",Modeling framework for the establishment of the apical-basal embryonic axis in plants
10.1016/j.cub.2013.09.039,528,JiFr,Local auxin sources orient the apical basal axis in arabidopsis embryos
10.15479/AT:IST-2013-104-v1-1,5399,KrCh,TTP: Tool for Tumor Progression
10.15479/AT:IST-2013-109-v1-1,5400,KrCh,"What is decidable about partially observable Markov decision processes with ω-regular objectives"
null,5401,E-Lib,Initiatives and projects related to RD
10.15479/AT:IST-2013-123-v1-1,5402,ToHe,How free is your linearizable concurrent data structure?
10.15479/AT:IST-2013-126-v1-1,5403,KrCh,Qualitative analysis of concurrent mean-payoff games
10.15479/AT:IST-2013-127-v1-1,5404,KrCh,The complexity of ergodic games
10.15479/AT:IST-2013-128-v1-1,5405,KrCh,Perfect-information stochastic mean-payoff parity games
10.15479/AT:IST-2013-130-v1-1,5406,"KrCh,ToHe",Distributed synthesis for LTL Fragments
null,5407,E-Lib,Technical requirements and features
10.15479/AT:IST-2013-141-v1-1,5408,KrCh,The complexity of partial-observation stochastic parity games with finite-memory strategies
10.15479/AT:IST-2013-144-v1-1,5409,KrCh,Edit distance for timed automata
10.15479/AT:IST-2013-146-v1-1,5410,KrCh,Automatic generation of alternative starting positions for traditional board games
10.1007/978-3-642-39799-8_11,5747,ToHe,Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates
10.1364/QIM.2013.W6.23,590,,Polarization dependent focusing
10.1364/OE.21.015538,591,,Adjustable and robust methods for polarization-dependent focusing