DOI,IST REx ID,Research Group,Title of publication
10.1038/hdy.2010.67,3778,NiBa,Estimating linkage disequilibria
10.1017/S0025315410000287,3784,NiBa,"Scyllarus arctus (Crustacea: Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis, with morphological description"
10.1007/978-3-642-19391-0_2,3796,HeEd,Covering and packing with spheres by diagonal distortion in R^n
10.1103/PhysRevB.84.041104,386,,STM imaging of a bound state along a step on the surface of the topological insulator Bi2Te3
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.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.1093/gbe/evr010,2072,,"Lack of global dosage compensation in Schistosoma mansoni, a female-heterogametic parasite"
10.1007/978-3-0348-0075-4_24,2116,,Gradient estimates and domain identification for analytic Ornstein-Uhlenbeck operators
10.5565/PUBLMAT_55211_03\t ,2122,,Conical square functions and non-tangential maximal functions with respect to the Gaussian measure
10.1007/s00028-010-0096-5,2123,,A Trotter product formula for gradient flows in metric spaces
