DOI,IST REx ID,Research Group,Title of publication
10.5061/dryad.61649,9757,SyCr,Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison
10.5061/dryad.274b1,9758,NiBa,Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates
null,6588,HeEd,Elementary solutions of the Bernstein problem on two intervals
10.1007/978-3-642-20844-7_22,10907,HeEd,Spatio-temporal extraction of articulated models in a graph pyramid
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
null,3163,ChLa,Maximum margin multi-label structured prediction
10.1007/978-3-642-25318-8_16,3264,ToHe,Solving recursion-free Horn clauses over LI+UIF