DOI,IST REx ID,Title of publication
10.1215/00127094-1444258,1467,Arithmetic harmonic analysis on character and quiver varieties
10.1016/j.tpb.2010.12.002,1863,The number of equilibria in the diallelic Levene model with multiple demes
10.1038/nature10330,1973,Structure of the membrane domain of respiratory complex i
10.1016/j.sbi.2011.07.002,1974,Respiratory complex I: 'steam engine' of the cell?
10.1074/jbc.M110.194993,1975,Evolution of respiratory complex I "Supernumerary" subunits are present in the α-proteobacterial enzyme
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