DOI,IST REx ID,Title of publication
10.1103/PhysRevB.84.041104,386,STM imaging of a bound state along a step on the surface of the topological insulator Bi2Te3
10.1145/1963190.1970375,3965,Computing elevation maxima by searching the Gauss sphere
10.1523/JNEUROSCI.6398-10.2011,469,Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor
10.1155/2011/935364,490,BioSig: The free and open source software library for biomedical signal processing
10.1126/scisignal.2002617,491,Setting the clock for recirculating lymphocytes
10.1038/emboj.2011.301,518,CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells
10.1007/s10703-011-0131-3,531,Verification of STM on relaxed memory models
10.15479/AT:IST-2011-0009,5379,An O(n2) time algorithm for alternating Büchi games
10.15479/AT:IST-2011-0008,5380,Bounded rationality in concurrent parity games
10.15479/AT:IST-2011-0007,5381,Partial-observation stochastic games: How to win when belief fails
10.15479/AT:IST-2011-0006,5382,Robustness of structurally equivalent concurrent parity games
10.15479/AT:IST-2011-0005,5383,On an efficient decision procedure for imperative tree data structures
10.15479/AT:IST-2011-0004,5384,Decidable problems for probabilistic automata on infinite words
10.15479/AT:IST-2011-0003,5385,Temporal specifications with accumulative values
10.15479/AT:IST-2011-0002,5386,Enforcing topological constraints in random field image segmentation
10.1242/dev.049320,12199,"Tapetal cell fate, lineage and proliferation in the Arabidopsis anther"
10.1042/bst0380571,12200,"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