DOI,IST REx ID,Research Group,Title of publication
10.1523/JNEUROSCI.6398-10.2011,469,PeJo,Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor
10.1155/2011/935364,490,"ScienComp,PeJo",BioSig: The free and open source software library for biomedical signal processing
10.1126/scisignal.2002617,491,MiSi,Setting the clock for recirculating lymphocytes
10.1038/emboj.2011.301,518,MiSi,CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells
10.1007/s10703-011-0131-3,531,ToHe,Verification of STM on relaxed memory models
10.15479/AT:IST-2011-0009,5379,KrCh,An O(n2) time algorithm for alternating Büchi games
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.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
10.1073/pnas.1106134109,6137,,Neuronal and molecular substrates for optimal foraging in Caenorhabditis elegans
10.1016/j.neuron.2011.02.023,6138,,"Temperature, oxygen, and salt-sensing neurons in C. elegans are carbon dioxide sensors that control avoidance behavior"