DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:IST-2011-0008,5380,KrCh,Bounded rationality in concurrent parity games
10.15479/AT:IST-2011-0007,5381,KrCh,Partial-observation stochastic games: How to win when belief fails
10.15479/AT:IST-2011-0006,5382,KrCh,Robustness of structurally equivalent concurrent parity games
10.15479/AT:IST-2011-0005,5383,ToHe,On an efficient decision procedure for imperative tree data structures
10.15479/AT:IST-2011-0004,5384,KrCh,Decidable problems for probabilistic automata on infinite words
10.15479/AT:IST-2011-0003,5385,"ToHe,KrCh",Temporal specifications with accumulative values
10.15479/AT:IST-2011-0002,5386,ChLa,Enforcing topological constraints in random field image segmentation
10.15479/AT:IST-2011-0001,5387,KrCh,Energy and mean-payoff parity Markov decision processes
10.1016/j.bpj.2011.09.040,6496,CaGu,Noise underlies switching behavior of the bacterial flagellum
10.1073/pnas.1019273108,9483,DaZi,Regulation of imprinted gene expression in Arabidopsis endosperm
10.1016/j.devcel.2011.05.018,9522,DaZi,Balancing parental contributions in plant embryonic gene activation
10.1007/978-3-642-23672-3_35,9648,HeEd,Incremental-decremental algorithm for computing AT-models and persistent homology
10.5061/dryad.299h8,9762,NiBa,Data from: Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster (Palinurus elephas)
10.1007/978-3-642-17511-4_7,10908,ToHe,ABC: Algebraic Bound Computation for loops
10.1137/1.9781611973075.129,10909,HeEd,Hardness results for homology localization
10.1242/dev.049320,12199,XiFe,"Tapetal cell fate, lineage and proliferation in the Arabidopsis anther"
10.1042/bst0380571,12200,XiFe,"Cell–cell interactions during patterning of the <i>Arabidopsis</i> anther"
10.1186/1748-7188-5-37,2409,JoBo,Accuracy of phylogeny reconstruction methods combining overlapping gene data sets 
10.1534/genetics.110.123240,3303,NiBa,The rate of fitness-valley crossing in sexual populations
10.1111/j.1365-294X.2009.04497.x,3604,NiBa,"Investigating temporal changes in hybridisation and introgression between invasive sika (Cervus nippon) and native red deer (Cervus elaphus) on the Kintyre Peninsula, Scotland"