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, Herbert, and John Harer. The Persistent Morse Complex Segmentation of a 3-Manifold. Vol. 5903, Springer, 2009, pp. 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, Masatake, et al. “Regulation of Planar Cell Polarity Signalling by the Prenylation Pathway.” Mechanisms of Development, vol. 126, no. Supplement 1, Elsevier, 2009, pp. S132–S132, doi:10.1016/j.mod.2009.06.269.
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 8478
Brüschweiler, Sven, et al. “Direct Observation of the Dynamic Process Underlying Allosteric Signal Transmission.” Journal of the American Chemical Society, vol. 131, no. 8, American Chemical Society, 2009, pp. 3063–68, doi:10.1021/ja809947w.
View
| DOI
2009 | Published | Journal Article | IST-REx-ID: 88 |
Higginbotham, Andrew P., et al. “Generation of Mie Size Microdroplet Aerosols with Applications in Laser-Driven Fusion Experiments.” Review of Scientific Instruments, vol. 80, no. 6, 063503, American Institute of Physics, 2009, 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, Krishnendu, et al. A Survey of Stochastic Games with Limsup and Liminf Objectives. Vol. 5556, Springer, 2009, pp. 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, Roderick, et al. Better Quality in Synthesis through Quantitative Objectives. Vol. 5643, Springer, 2009, pp. 140–56, 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, Krishnendu, et al. Probabilistic Weighted Automata. Vol. 5710, Springer, 2009, pp. 244–58, doi:10.1007/978-3-642-04081-8_17.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4542 |
Chatterjee, Krishnendu, et al. Alternating Weighted Automata. Vol. 5699, Springer, 2009, pp. 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, Krishnendu, et al. Stochastic Games with Finitary Objectives. Vol. 5734, Springer, 2009, pp. 34–54, doi:10.1007/978-3-642-03816-7_4.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4360
Wies, Thomas, et al. “Combining Theories with Shared Set Operations.” 7th International Symposium on Frontiers of Combining Systems, vol. 5749, Springer, 2009, pp. 366–82, doi:10.1007/978-3-642-04222-5_23.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4377
Hoenicke, Jochen, et al. “It’s Doomed; We Can Prove It.” Second World Congress on Formal Methods, vol. 5850, Springer, 2009, pp. 338–53, doi:10.1007/978-3-642-05089-3_22.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4403 |
Alur, Rajeev, et al. Algorithmic Analysis of Array-Accessing Programs. Vol. 5771, Springer, 2009, pp. 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, Pavol, and Rajeev Alur. “Automated Analysis of Java Methods for Confidentiality.” 21st International Conference on Computer Aided Verification, vol. 5643, Springer, 2009, pp. 173–87, doi:10.1007/978-3-642-02658-4_16.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4365
Seghir, Mohamed, et al. “Abstraction Refinement for Quantified Array Assertions.” 16th International Symposium on Static Analysis, vol. 5673, Springer, 2009, pp. 3–18, doi:10.1007/978-3-642-03237-0_3.
View
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4375
Lahiri, Shuvendu, et al. “Intra-Module Inference.” 21st International Conference on Computer Aided Verification, vol. 5643, Springer, 2009, pp. 493–508, doi:10.1007/978-3-642-02658-4_37.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 11111
Anderson, Daniel J., and Martin Hetzer. “Reshaping of the Endoplasmic Reticulum Limits the Rate for Nuclear Envelope Formation.” Journal of Cell Biology, vol. 182, no. 5, Rockefeller University Press, 2008, pp. 911–24, doi:10.1083/jcb.200805140.
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 17721 |
Kramer, R. H., and Zoltán Haiman. “The Thickness of High-Redshift Quasar Ionization Fronts as a Constraint on the Ionizing Spectral Energy Distribution.” Monthly Notices of the Royal Astronomical Society, vol. 385, no. 3, Oxford University Press, 2008, pp. 1561–75, 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, Greg L., et al. “Feedback Effects on Population III Star Formation.” 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, Mark, et al. “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, vol. 391, no. 4, Oxford University Press, 2008, pp. 1961–72, 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, Steven R., et al. “Fossil Ionized Bubbles around Dead Quasars during Reionization.” The Astrophysical Journal, vol. 686, no. 1, American Astronomical Society, 2008, pp. 25–40, doi:10.1086/591047.
[Preprint]
View
| DOI
| Download Preprint (ext.)