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.
1921 Publications
2009 | Published | Conference Paper | IST-REx-ID: 3968 | 
Edelsbrunner H, Harer J. The persistent Morse complex segmentation of a 3-manifold. In: Vol 5903. Springer; 2009:36-50. doi:10.1007/978-3-642-10470-1_4
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Journal Article | IST-REx-ID: 4192
Kai M, Buchan N, Heisenberg C-PJ, Tada M. Regulation of planar cell polarity signalling by the prenylation pathway. Mechanisms of Development. 2009;126(Supplement 1):S132-S132. doi:10.1016/j.mod.2009.06.269
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 8478
Brüschweiler S, Schanda P, Kloiber K, et al. Direct observation of the dynamic process underlying allosteric signal transmission. Journal of the American Chemical Society. 2009;131(8):3063-3068. doi:10.1021/ja809947w
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 88 |
Higginbotham AP, Semonin O, Bruce S, et al. Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments. Review of Scientific Instruments. 2009;80(6). doi:10.1063/1.3155302
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 | Published | Conference Paper | IST-REx-ID: 4545 |
Chatterjee K, Doyen L, Henzinger TA. A survey of stochastic games with limsup and liminf objectives. In: Vol 5556. Springer; 2009:1-15. doi:10.1007/978-3-642-02930-1_1
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4569 |
Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. Better quality in synthesis through quantitative objectives. In: Vol 5643. Springer; 2009:140-156. doi:10.1007/978-3-642-02658-4_14
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Published | Conference Paper | IST-REx-ID: 3871 |
Chatterjee K, Doyen L, Henzinger TA. Probabilistic weighted automata. In: Vol 5710. Springer; 2009:244-258. doi:10.1007/978-3-642-04081-8_17
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4542 |
Chatterjee K, Doyen L, Henzinger TA. Alternating weighted automata. In: Vol 5699. Springer; 2009:3-13. doi:10.1007/978-3-642-03409-1_2
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4543
Chatterjee K, Henzinger TA, Horn F. Stochastic games with finitary objectives. In: Vol 5734. Springer; 2009:34-54. doi:10.1007/978-3-642-03816-7_4
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 | 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: 4403 |
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: 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
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
2008 | Published | Journal Article | IST-REx-ID: 11111
Anderson DJ, Hetzer M. Reshaping of the endoplasmic reticulum limits the rate for nuclear envelope formation. Journal of Cell Biology. 2008;182(5):911-924. doi:10.1083/jcb.200805140
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 17721 |
Kramer RH, Haiman Z. The thickness of high-redshift quasar ionization fronts as a constraint on the ionizing spectral energy distribution. Monthly Notices of the Royal Astronomical Society. 2008;385(3):1561-1575. doi:10.1111/j.1365-2966.2008.12945.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 17751
Bryan GL, McGreer ID, Mesinger A, Haiman Z. Feedback effects on population III star formation. In: AIP Conference Proceedings. American Institute of Physics; 2008. doi:10.1063/1.2905582
View
| DOI
| Download None (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17778 |
Dijkstra M, Haiman Z, Mesinger A, Wyithe JSB. Fluctuations in the high-redshift Lyman-Werner background: Close halo pairs as the origin of supermassive black holes. Monthly Notices of the Royal Astronomical Society. 2008;391(4):1961-1972. doi:10.1111/j.1365-2966.2008.14031.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17787 |
Furlanetto SR, Haiman Z, Oh SP. Fossil Ionized bubbles around dead quasars during reionization. The Astrophysical Journal. 2008;686(1):25-40. doi:10.1086/591047
[Preprint]
View
| DOI
| Download Preprint (ext.)