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.
11357 Publications
2009 |
Published |
Journal Article |
IST-REx-ID: 4217
Control of convergent yolk syncytial layer nuclear movement in zebrafish
L. Carvalho, J. Stuehmer, J. Bois, Y. Kalaidzidis, V. Lecaudey, C.-P.J. Heisenberg, Development 136 (2009) 1305–1315.
View
| DOI
L. Carvalho, J. Stuehmer, J. Bois, Y. Kalaidzidis, V. Lecaudey, C.-P.J. Heisenberg, Development 136 (2009) 1305–1315.
2009 |
Published |
Journal Article |
IST-REx-ID: 4223
Discovery of a Small Molecule that Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus aureus
J. Swoboda, T. Meredith, J. Campbell, S. Brown, T. Suzuki, M.T. Bollenbach, A. Malhowski, R. Kishony, M. Gilmore, S. Walker, ACS Chemical Biology 4 (2009) 875–883.
View
| DOI
| Download None (ext.)
J. Swoboda, T. Meredith, J. Campbell, S. Brown, T. Suzuki, M.T. Bollenbach, A. Malhowski, R. Kishony, M. Gilmore, S. Walker, ACS Chemical Biology 4 (2009) 875–883.
2009 |
Published |
Journal Article |
IST-REx-ID: 4228
Nonoptimal Microbial Response to Antibiotics Underlies Suppressive Drug Interactions
T. Bollenbach, S. Quan, R.P. Chait, R. Kishony, Cell 139 (2009) 707–718.
View
| DOI
T. Bollenbach, S. Quan, R.P. Chait, R. Kishony, Cell 139 (2009) 707–718.
2009 |
Published |
Journal Article |
IST-REx-ID: 4231
Statistical mechanics and the evolution of polygenic quantitative traits
N.H. Barton, H. De Vladar, Genetics 181 (2009) 997–1011.
View
| DOI
| WoS
N.H. Barton, H. De Vladar, Genetics 181 (2009) 997–1011.
2009 |
Published |
Thesis |
IST-REx-ID: 4232
Stochasticity and Variability in the dynamics and genetics of populations
H. de Vladar, Stochasticity and Variability in the Dynamics and Genetics of Populations, Faculty of mathematical and natural sciences, University of Groningen, 2009.
View
H. de Vladar, Stochasticity and Variability in the Dynamics and Genetics of Populations, Faculty of mathematical and natural sciences, University of Groningen, 2009.
2009 |
Published |
Journal Article |
IST-REx-ID: 4242 |
The evolution of strong reproductive isolation
N.H. Barton, M. De Cara, Evolution; International Journal of Organic Evolution 63 (2009) 1171–1190.
[Submitted Version]
View
| Files available
| DOI
| WoS
N.H. Barton, M. De Cara, Evolution; International Journal of Organic Evolution 63 (2009) 1171–1190.
2009 |
Published |
Journal Article |
IST-REx-ID: 4357
Parallel genetic evolution within and between bacteriophage species of varying degrees of divergence
J.P. Bollback, J. Huelsenbeck, Genetics 181 (2009) 225–234.
View
| DOI
J.P. Bollback, J. Huelsenbeck, Genetics 181 (2009) 225–234.
2009 |
Published |
Conference Paper |
IST-REx-ID: 4360
Combining theories with shared set operations
T. Wies, R. Piskac, V. Kuncak, in:, 7th International Symposium on Frontiers of Combining Systems, Springer, 2009, pp. 366–382.
View
| DOI
T. Wies, R. Piskac, V. Kuncak, in:, 7th International Symposium on Frontiers of Combining Systems, Springer, 2009, pp. 366–382.
2009 |
Published |
Thesis |
IST-REx-ID: 4363
Formalizing and Verifying Transactional Memories
V. Singh, Formalizing and Verifying Transactional Memories, EPFL Lausanne, 2009.
View
V. Singh, Formalizing and Verifying Transactional Memories, EPFL Lausanne, 2009.
2009 |
Published |
Conference Paper |
IST-REx-ID: 4365
Abstraction refinement for quantified array assertions
M. Seghir, A. Podelski, T. Wies, in:, 16th International Symposium on Static Analysis, Springer, 2009, pp. 3–18.
View
| DOI
M. Seghir, A. Podelski, T. Wies, in:, 16th International Symposium on Static Analysis, Springer, 2009, pp. 3–18.
2009 |
Published |
Conference Paper |
IST-REx-ID: 4375
Intra-module inference
S. Lahiri, S. Qadeer, J. Galeotti, J. Voung, T. Wies, in:, 21st International Conference on Computer Aided Verification, Springer, 2009, pp. 493–508.
View
| DOI
S. Lahiri, S. Qadeer, J. Galeotti, J. Voung, T. Wies, in:, 21st International Conference on Computer Aided Verification, Springer, 2009, pp. 493–508.
2009 |
Published |
Journal Article |
IST-REx-ID: 4376
Parallel programming with object assemblies
R. Lublinerman, S. Chaudhuri, P. Cerny, ACM SIGPLAN Notices 44 (2009) 61–80.
View
| DOI
R. Lublinerman, S. Chaudhuri, P. Cerny, ACM SIGPLAN Notices 44 (2009) 61–80.
2009 |
Published |
Conference Paper |
IST-REx-ID: 4377
It's doomed; we can prove it
J. Hoenicke, K.R. Leino, A. Podelski, M. Schäf, T. Wies, in:, Second World Congress on Formal Methods, Springer, 2009, pp. 338–353.
View
| DOI
J. Hoenicke, K.R. Leino, A. Podelski, M. Schäf, T. Wies, in:, Second World Congress on Formal Methods, Springer, 2009, pp. 338–353.
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:, Proceedings of the 28th ACM Symposium on Principles of Distributed Computing, ACM, 2009, pp. 7–16.
View
| DOI
A. Dragojevic, R. Guerraoui, A. Singh, V. Singh, in:, Proceedings of the 28th ACM Symposium on Principles of Distributed Computing, 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:, 21st International Conference on Computer Aided Verification, Springer, 2009, pp. 173–187.
View
| DOI
P. Cerny, R. Alur, in:, 21st International Conference on Computer Aided Verification, Springer, 2009, pp. 173–187.
2009 |
Published |
Conference Paper |
IST-REx-ID: 4403 |
Algorithmic analysis of array-accessing programs
R. Alur, P. Cerny, S. Weinstein, in:, Springer, 2009, pp. 86–101.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
R. Alur, P. Cerny, S. Weinstein, in:, Springer, 2009, pp. 86–101.
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: 4540
Expressiveness and closure properties for quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, IEEE, 2009, pp. 199–208.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, IEEE, 2009, pp. 199–208.