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. (2009). The persistent Morse complex segmentation of a 3-manifold (Vol. 5903, pp. 36–50). Presented at the 3DPH: Modelling the Physiological Human, Zermatt, Switzerland: Springer. https://doi.org/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.-P. J., & Tada, M. (2009). Regulation of planar cell polarity signalling by the prenylation pathway. Mechanisms of Development. Elsevier. https://doi.org/10.1016/j.mod.2009.06.269
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 8478
Brüschweiler, S., Schanda, P., Kloiber, K., Brutscher, B., Kontaxis, G., Konrat, R., & Tollinger, M. (2009). Direct observation of the dynamic process underlying allosteric signal transmission. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja809947w
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 88 |
Higginbotham, A. P., Semonin, O., Bruce, S., Chan, C., Maindi, M., Donnelly, T., … Ditmire, T. (2009). Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments. Review of Scientific Instruments. American Institute of Physics. https://doi.org/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, T. A. (2009). A survey of stochastic games with limsup and liminf objectives (Vol. 5556, pp. 1–15). Presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece: Springer. https://doi.org/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, T. A., & Jobstmann, B. (2009). Better quality in synthesis through quantitative objectives (Vol. 5643, pp. 140–156). Presented at the CAV: Computer Aided Verification, Grenoble, France: Springer. https://doi.org/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, T. A. (2009). Probabilistic weighted automata (Vol. 5710, pp. 244–258). Presented at the CONCUR: Concurrency Theory, Bologna, Italy: Springer. https://doi.org/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, T. A. (2009). Alternating weighted automata (Vol. 5699, pp. 3–13). Presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland: Springer. https://doi.org/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, T. A., & Horn, F. (2009). Stochastic games with finitary objectives (Vol. 5734, pp. 34–54). Presented at the MFCS: Mathematical Foundations of Computer Science, High Tatras, Slovakia: Springer. https://doi.org/10.1007/978-3-642-03816-7_4
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 | 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: 4403 |
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: 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: 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
2008 | Published | Journal Article | IST-REx-ID: 11111
Anderson, D. J., & Hetzer, M. (2008). Reshaping of the endoplasmic reticulum limits the rate for nuclear envelope formation. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.200805140
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 17721 |
Kramer, R. H., & Haiman, Z. (2008). The thickness of high-redshift quasar ionization fronts as a constraint on the ionizing spectral energy distribution. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/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, G. L., McGreer, I. D., Mesinger, A., & Haiman, Z. (2008). Feedback effects on population III star formation. In AIP Conference Proceedings. Santa Fe, NM, United States: American Institute of Physics. https://doi.org/10.1063/1.2905582
View
| DOI
| Download None (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17778 |
Dijkstra, M., Haiman, Z., Mesinger, A., & Wyithe, J. S. B. (2008). 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. Oxford University Press. https://doi.org/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, S. R., Haiman, Z., & Oh, S. P. (2008). Fossil Ionized bubbles around dead quasars during reionization. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.1086/591047
[Preprint]
View
| DOI
| Download Preprint (ext.)