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.

11746 Publications


2009 | Published | Conference Paper | IST-REx-ID: 165
Browning TD. Resent progress on the quantitative arithmetic of del Pezzo surfaces. In: Aoki T, Kanemitsu S, Liu J, eds. Vol 6. World Scientific Publishing; 2009:1-18. doi:https://doi.org/10.1142/9789814289924_0001
View | DOI
 

2009 | Published | Book Chapter | IST-REx-ID: 168
Browning TD, Dietmann R. Solubility of Fermat equations. In: Quadratic Forms - Algebra, Arithmetic and Geometry. Vol 493. American Mathematical Society; 2009:99-106. doi:http://dx.doi.org/10.1090/conm/493
View | DOI | Download (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 1718
Kutějová E, Briscoe J, Kicheva A. Temporal dynamics of patterning by morphogen gradients. Current Opinion in Genetics & Development. 2009;19(4):315-322. doi:10.1016/j.gde.2009.05.004
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 1720
Wartlick O, Kicheva A, González Gaitán M. Morphogen gradient formation . Cold Spring Harbor perspectives in biology. 2009;1(3). doi:10.1101/cshperspect.a001255
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 18726 | OA
Haiman Z. Observing the first stars and black holes. In: Astrophysics and Space Science Proceedings. Dordrecht: Springer Nature; 2009:385-418. doi:10.1007/978-1-4020-9457-6_15
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Published | Book Chapter | IST-REx-ID: 18735 | OA
Haiman Z. Observing the First Stars and Black Holes. In: Thronson HA, Stiavelli M, Tielens A, eds. Astrophysics in the Next Decade. Springer Nature; 2009:385-418. doi:10.1007/978-1-4020-9457-6_15
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Published | Journal Article | IST-REx-ID: 1971
Berrisford J, Sazanov LA. Structural basis for the mechanism of respiratory complex I. Journal of Biological Chemistry. 2009;284(43):29773-29783. doi:10.1074/jbc.M109.032144
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 4357
Bollback JP, Huelsenbeck J. Parallel genetic evolution within and between bacteriophage species of varying degrees of divergence. Genetics. 2009;181(1):225-234. doi:10.1534/genetics.107.085225
View | DOI
 

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

2009 | Published | Thesis | IST-REx-ID: 4363
Singh V. Formalizing and Verifying Transactional Memories. Formalizing and Verifying Transactional Memories. 2009.
View
 

2009 | Published | Conference Paper | IST-REx-ID: 4365
Seghir M, Podelski A, Wies T. Abstraction refinement for quantified array assertions. In: 16th International Symposium on Static Analysis. Vol 5673. Springer; 2009:3-18. doi: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. Intra-module inference. In: 21st International Conference on Computer Aided Verification. Vol 5643. Springer; 2009:493-508. doi:10.1007/978-3-642-02658-4_37
View | DOI
 

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

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

2009 | Published | Conference Paper | IST-REx-ID: 4383 | OA
Guerraoui R, Henzinger TA, Singh V. Software transactional memory on relaxed memory models. In: Vol 5643. Springer; 2009:321-336. doi: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. Preventing versus curing: Avoiding conflicts in transactional memories. In: Proceedings of the 28th ACM Symposium on Principles of Distributed Computing. ACM; 2009:7-16. doi:10.1145/1582716.1582725
View | DOI
 

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

earlier version | 2009 | Published | Conference Paper | IST-REx-ID: 4403 | OA
Alur R, Cerny P, Weinstein S. Algorithmic analysis of array-accessing programs. In: Vol 5771. Springer; 2009:86-101. doi: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 TA, Mateescu M, Wolf V. Sliding-window abstraction for infinite Markov chains. In: Vol 5643. Springer; 2009:337-352. doi:10.1007/978-3-642-02658-4_27
View | Files available | DOI | Download (ext.)
 

earlier version | 2009 | Published | Conference Paper | IST-REx-ID: 4535
Didier F, Henzinger TA, Mateescu M, Wolf V. Approximation of event probabilities in noisy cellular processes. In: Vol 5688. Springer; 2009:173-188. doi:10.1007/978-3-642-03845-7_12
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed