DOI,IST REx ID,Title of publication
10.1145/1582716.1582725,4385,Preventing versus curing: Avoiding conflicts in transactional memories
10.1007/978-3-642-02658-4_16,4391,Automated analysis of Java methods for confidentiality
10.1007/978-3-642-04027-6_9,4403,Algorithmic analysis of array-accessing programs
10.1007/978-3-642-02658-4_27,4453,Sliding-window abstraction for infinite Markov chains
10.1007/978-3-642-03845-7_12,4535,Approximation of event probabilities in noisy cellular processes
10.1109/LICS.2009.16,4540,Expressiveness and closure properties for quantitative languages
10.1007/978-3-642-03409-1_2,4542,Alternating weighted automata
10.1007/978-3-642-03816-7_4,4543,Stochastic games with finitary objectives
10.1137/1.9781611973068.23,4544,Termination criteria for solving concurrent safety and reachability games
10.1007/978-3-642-02930-1_1,4545,A survey of stochastic games with limsup and liminf objectives
10.1007/978-3-642-02658-4_14,4569,Better quality in synthesis through quantitative objectives
10.1007/978-3-642-00768-2_7,4580,Alpaga: A tool for solving parity games with imperfect information
10.15479/AT:IST-2009-0004,5392,Probabilistic automata on infinite words: Decidability and undecidability results
10.15479/AT:IST-2009-0003,5393,Gist: A solver for probabilistic games
10.15479/AT:IST-2009-0002,5394,Improved lower bounds for request-response and finitary Streett games
10.15479/AT:IST-2009-0001,5395,Qualitative analysis of partially-observable Markov decision processes
10.1101/gad.1767009,599,The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function
10.1038/nature07820,6144,Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans
10.1016/j.cmet.2009.02.003,6145,Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling
10.1016/j.jsb.2009.03.016,1983,Biomimetic membrane systems to study cellular organization