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
Carvalho, L., Stuehmer, J., Bois, J., Kalaidzidis, Y., Lecaudey, V., & Heisenberg, C.-P. J. (2009). Control of convergent yolk syncytial layer nuclear movement in zebrafish. Development. Company of Biologists. https://doi.org/10.1242/dev.026922
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 4223
Swoboda, J., Meredith, T., Campbell, J., Brown, S., Suzuki, T., Bollenbach, M. T., … Walker, S. (2009). Discovery of a Small Molecule that Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus aureus. ACS Chemical Biology. American Chemical Society. https://doi.org/10.1021/cb900151k
View | DOI | Download None (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 4228
Bollenbach, T., Quan, S., Chait, R. P., & Kishony, R. (2009). Nonoptimal Microbial Response to Antibiotics Underlies Suppressive Drug Interactions. Cell. Cell Press. https://doi.org/10.1016/j.cell.2009.10.025
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 4231
Barton, N. H., & De Vladar, H. (2009). Statistical mechanics and the evolution of polygenic quantitative traits. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.108.099309
View | DOI | WoS
 

2009 | Published | Thesis | IST-REx-ID: 4232
de Vladar, H. (2009). Stochasticity and Variability in the dynamics and genetics of populations. Faculty of mathematical and natural sciences, University of Groningen.
View
 

2009 | Published | Journal Article | IST-REx-ID: 4242 | OA
Barton, N. H., & De Cara, M. (2009). The evolution of strong reproductive isolation. Evolution; International Journal of Organic Evolution. Wiley. https://doi.org/10.1111/j.1558-5646.2009.00622.x
[Submitted Version] View | Files available | DOI | WoS
 

2009 | Published | Journal Article | IST-REx-ID: 4357
Bollback, J. P., & Huelsenbeck, J. (2009). Parallel genetic evolution within and between bacteriophage species of varying degrees of divergence. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.107.085225
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4360
Wies, T., Piskac, R., & Kuncak, V. (2009). Combining theories with shared set operations. In 7th International Symposium on Frontiers of Combining Systems (Vol. 5749, pp. 366–382). Trento, Italy: Springer. https://doi.org/10.1007/978-3-642-04222-5_23
View | DOI
 

2009 | Published | Thesis | IST-REx-ID: 4363
Singh, V. (2009). Formalizing and Verifying Transactional Memories. Formalizing and Verifying Transactional Memories. EPFL Lausanne.
View
 

2009 | Published | Conference Paper | IST-REx-ID: 4365
Seghir, M., Podelski, A., & Wies, T. (2009). Abstraction refinement for quantified array assertions. In 16th International Symposium on Static Analysis (Vol. 5673, pp. 3–18). Los Angeles, CA, United States: Springer. https://doi.org/10.1007/978-3-642-03237-0_3
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4375
Lahiri, S., Qadeer, S., Galeotti, J., Voung, J., & Wies, T. (2009). Intra-module inference. In 21st International Conference on Computer Aided Verification (Vol. 5643, pp. 493–508). Grenoble, France: Springer. https://doi.org/10.1007/978-3-642-02658-4_37
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 4376
Lublinerman, R., Chaudhuri, S., & Cerny, P. (2009). Parallel programming with object assemblies. ACM SIGPLAN Notices. ACM. https://doi.org/10.1145/1639949.164009
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4377
Hoenicke, J., Leino, K. R., Podelski, A., Schäf, M., & Wies, T. (2009). It’s doomed; we can prove it. In Second World Congress on Formal Methods (Vol. 5850, pp. 338–353). Eindhoven, The Netherlands: Springer. https://doi.org/10.1007/978-3-642-05089-3_22
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4383 | OA
Guerraoui, R., Henzinger, T. A., & Singh, V. (2009). Software transactional memory on relaxed memory models (Vol. 5643, pp. 321–336). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-642-02658-4_26
View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4385
Dragojevic, A., Guerraoui, R., Singh, A., & Singh, V. (2009). Preventing versus curing: Avoiding conflicts in transactional memories. In Proceedings of the 28th ACM symposium on Principles of distributed computing (pp. 7–16). Calgary, Canada: ACM. https://doi.org/10.1145/1582716.1582725
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4391
Cerny, P., & Alur, R. (2009). Automated analysis of Java methods for confidentiality. In 21st International Conference on Computer Aided Verification (Vol. 5643, pp. 173–187). Springer. https://doi.org/10.1007/978-3-642-02658-4_16
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4403 | OA
Alur, R., Cerny, P., & Weinstein, S. (2009). Algorithmic analysis of array-accessing programs (Vol. 5771, pp. 86–101). Presented at the CSL: Computer Science Logic, Coimbra, Portugal: Springer. https://doi.org/10.1007/978-3-642-04027-6_9
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 4453 | OA
Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Sliding-window abstraction for infinite Markov chains (Vol. 5643, pp. 337–352). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-642-02658-4_27
View | Files available | DOI | Download (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 4535
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Approximation of event probabilities in noisy cellular processes (Vol. 5688, pp. 173–188). Presented at the CMSB: Computational Methods in Systems Biology, Springer. https://doi.org/10.1007/978-3-642-03845-7_12
View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4540
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Expressiveness and closure properties for quantitative languages (pp. 199–208). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.2009.16
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed