DOI,IST REx ID,Research Group,Title of publication
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