DOI,IST REx ID,Research Group,Title of publication
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.1242/dev.049320,12199,XiFe,"Tapetal cell fate, lineage and proliferation in the Arabidopsis anther"
10.1042/bst0380571,12200,XiFe,"Cell–cell interactions during patterning of the <i>Arabidopsis</i> anther"
10.1007/978-3-642-02091-9_18,14983,ScienComp,Adaptive Methods in BCI Research - An Introductory Tutorial
10.15479/AT:IST-2010-0004,5388,"KrCh,ToHe",Quantitative synthesis for concurrent programs
10.15479/AT:IST-2010-0003,5389,ToHe,Simulation distances
10.15479/AT:IST-2010-0002,5390,KrCh,"Topological, automata-theoretic and logical characterization of finitary languages"
10.15479/AT:IST-2010-0001,5391,ToHe,Model checking of linearizability of concurrent list implementations
10.1126/science.1186366,9452,DaZi,Genome-wide evolutionary analysis of eukaryotic DNA methylation
10.1073/pnas.1009695107,9485,DaZi,Local DNA hypomethylation activates genes in rice endosperm
10.1016/j.cub.2010.07.007,9489,DaZi,Evolution of eukaryotic DNA methylation and the pursuit of safer sex
10.1371/journal.pbio.1000429.s003,9764,NiBa,Heterosis and the drift load
10.1007/978-3-642-17511-4_7,10908,ToHe,ABC: Algebraic Bound Computation for loops