DOI,IST REx ID,Title of publication
10.1103/PhysRevB.83.024506,969,Isotope effect on the superfluid density in conventional and high-temperature superconductors
10.5061/dryad.299h8,9762,Data from: Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster (Palinurus elephas)
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.15479/AT:IST-2011-0001,5387,Energy and mean-payoff parity Markov decision processes
10.1038/474170a,580,Quantum physics: How to catch a wave
10.1364/CLEO_AT.2011.JThB130,585,Methods towards achieving precise birefringent focusing
10.1103/PhysRevLett.107.063904,586,Raman lasing with a cold atom gain medium in a high-finesse optical cavity
10.1371/journal.pbio.1000603,597,Molecular architecture of the human Mediator-RNA polymerase II-TFIIF assembly