DOI,IST REx ID,Research Group,Title of publication
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.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.1029/2009wr009039,12653,,Effect of glaciers on streamflow trends in the Swiss Alps
10.1038/nature09545,1300,,ON and off pathways in Drosophila motion vision
10.1152/jn.00950.2009,1301,,Processing of horizontal optic flow in three visual interneurons of the Drosophila brain
10.1021/ja100726a,8472,,Quantitative analysis of protein backbone dynamics in microcrystalline ubiquitin by solid-state NMR spectroscopy
10.1074/jbc.m109.061168,8473,,Native-unlike long-lived intermediates along the folding pathway of the amyloidogenic protein β2-Microglobulin revealed by real-time two-dimensional NMR
10.1016/s1874-575x(10)00310-3,8506,,Prevalence
10.1142/9789814304634_0017,8507,,Almost dense orbit on energy surface
10.1038/nature09105,857,,Sequence space and the ongoing expansion of the protein universe
10.1038/nature08691,862,,Compensatory evolution in mitochondrial tRNAs navigates valleys of low fitness
10.1098/rstb.2009.0286,872,,Measurements of spontaneous rates of mutations in the recent past and the near future
10.1186/1745-6150-5-5,884,,Rate of sequence divergence under constant selection
10.1021/am100375w,89,,Generation of nanoparticles of controlled size using ultrasonic piezoelectric oscillators in solution
10.1038/nrg2689,891,,The evolution of gene duplications: Classifying and distinguishing between models