Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
7353 Publications
2009 | Published | Conference Paper | IST-REx-ID: 4383 | 
Software transactional memory on relaxed memory models
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2009, pp. 321–336.
View
| Files available
| DOI
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2009, pp. 321–336.
2009 | Published | Conference Paper | IST-REx-ID: 4385
Preventing versus curing: avoiding conflicts in transactional memories
A. Dragojevic, R. Guerraoui, A. Singh, V. Singh, in:, ACM, 2009, pp. 7–16.
View
| DOI
A. Dragojevic, R. Guerraoui, A. Singh, V. Singh, in:, ACM, 2009, pp. 7–16.
2009 | Published | Conference Paper | IST-REx-ID: 4391
Automated Analysis of Java Methods for Confidentiality
P. Cerny, R. Alur, in:, Springer, 2009, pp. 173–187.
View
| DOI
P. Cerny, R. Alur, in:, Springer, 2009, pp. 173–187.
2009 | Published | Conference Paper | IST-REx-ID: 4453 |
Sliding-window abstraction for infinite Markov chains
T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 337–352.
View
| Files available
| DOI
| Download (ext.)
T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 337–352.
2009 | Published | Conference Paper | IST-REx-ID: 4535
Approximation of event probabilities in noisy cellular processes
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 173–188.
View
| Files available
| DOI
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 173–188.
2009 | Published | Conference Paper | IST-REx-ID: 4544 |
Termination criteria for solving concurrent safety and reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2009, pp. 197–206.
View
| Files available
| DOI
| Download (ext.)
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2009, pp. 197–206.
2009 | Published | Conference Paper | IST-REx-ID: 4580 |
Alpaga: A tool for solving parity games with imperfect information
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 58–61.
View
| Files available
| DOI
| Download (ext.)
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 58–61.
2009 | Published | Technical Report | IST-REx-ID: 5394 |
Improved lower bounds for request-response and finitary Streett games
K. Chatterjee, T.A. Henzinger, F. Horn, Improved Lower Bounds for Request-Response and Finitary Streett Games, IST Austria, 2009.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, F. Horn, Improved Lower Bounds for Request-Response and Finitary Streett Games, IST Austria, 2009.
2009 | Published | Journal Article | IST-REx-ID: 599 |
The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function
M. Knuesel, K. Meyer, C. Bernecky, D. Taatjes, Genes and Development 23 (2009) 439–451.
View
| DOI
| Download None (ext.)
M. Knuesel, K. Meyer, C. Bernecky, D. Taatjes, Genes and Development 23 (2009) 439–451.
2009 | Published | Journal Article | IST-REx-ID: 6144
Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans
A. Persson, E. Gross, P. Laurent, K.E. Busch, H. Bretes, M. de Bono, Nature 458 (2009) 1030–1033.
View
| DOI
| PubMed | Europe PMC
A. Persson, E. Gross, P. Laurent, K.E. Busch, H. Bretes, M. de Bono, Nature 458 (2009) 1030–1033.
2009 | Published | Journal Article | IST-REx-ID: 6145
Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling
M. Cohen, V. Reale, B. Olofsson, A. Knights, P. Evans, M. de Bono, Cell Metabolism 9 (2009) 375–385.
View
| DOI
| PubMed | Europe PMC
M. Cohen, V. Reale, B. Olofsson, A. Knights, P. Evans, M. de Bono, Cell Metabolism 9 (2009) 375–385.
2009 | Published | Journal Article | IST-REx-ID: 1302
Synaptic organization of lobula plate tangential cells in Drosophila: Dα7 cholinergic receptors
S. Raghu, M.A. Jösch, S. Sigrist, A. Borst, D. Reiff, Journal of Neurogenetics 23 (2009) 200–209.
View
| DOI
S. Raghu, M.A. Jösch, S. Sigrist, A. Borst, D. Reiff, Journal of Neurogenetics 23 (2009) 200–209.
2009 | Published | Conference Paper | IST-REx-ID: 752
Of choices, failures and asynchrony: the many faces of set agreement
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2009, pp. 943–953.
View
| DOI
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2009, pp. 943–953.
2009 | Published | Journal Article | IST-REx-ID: 1825 |
Adaptive response by state-dependent inactivation
T. Friedlander, N. Brenner, PNAS 106 (2009) 22558–22563.
View
| DOI
| Download (ext.)
T. Friedlander, N. Brenner, PNAS 106 (2009) 22558–22563.
2009 | Published | Journal Article | IST-REx-ID: 1971
Structural basis for the mechanism of respiratory complex I
J. Berrisford, L.A. Sazanov, Journal of Biological Chemistry 284 (2009) 29773–29783.
View
| DOI
J. Berrisford, L.A. Sazanov, Journal of Biological Chemistry 284 (2009) 29773–29783.
2009 | Published | Journal Article | IST-REx-ID: 1983
Biomimetic membrane systems to study cellular organization
M. Loose, P. Schwille, Journal of Structural Biology 168 (2009) 143–151.
View
| DOI
M. Loose, P. Schwille, Journal of Structural Biology 168 (2009) 143–151.
2009 | Published | Journal Article | IST-REx-ID: 1984
Chromatin shapes the mitotic spindle
A. Dinarina, C. Pugieux, M. Corral, M. Loose, J. Spatz, É. Karsenti, F. Nédélec, Cell 138 (2009) 502–513.
View
| DOI
A. Dinarina, C. Pugieux, M. Corral, M. Loose, J. Spatz, É. Karsenti, F. Nédélec, Cell 138 (2009) 502–513.
2009 | Published | Journal Article | IST-REx-ID: 2067
Recombination rates may affect the ratio of X to autosomal noncoding polymorphism in African populations of Drosophila melanogaster
B. Vicoso, B. Charlesworth, Genetics 181 (2009) 1699–1701.
View
| DOI
B. Vicoso, B. Charlesworth, Genetics 181 (2009) 1699–1701.
2009 | Published | Journal Article | IST-REx-ID: 2068
The deficit of male-biased genes on the D. melanogaster X chromosome is expression-dependent: A consequence of dosage compensation?
B. Vicoso, B. Charlesworth, Journal of Molecular Evolution 68 (2009) 576–583.
View
| DOI
B. Vicoso, B. Charlesworth, Journal of Molecular Evolution 68 (2009) 576–583.
2009 | Published | Journal Article | IST-REx-ID: 2069
Effective population size and the faster-X effect: An extended model
B. Vicoso, B. Charlesworth, Evolution 63 (2009) 2413–2426.
View
| DOI
B. Vicoso, B. Charlesworth, Evolution 63 (2009) 2413–2426.