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 | OA
H. Edelsbrunner and J. Harer, “The persistent Morse complex segmentation of a 3-manifold,” presented at the 3DPH: Modelling the Physiological Human, Zermatt, Switzerland, 2009, vol. 5903, pp. 36–50.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 4192
M. Kai, N. Buchan, C.-P. J. Heisenberg, and M. Tada, “Regulation of planar cell polarity signalling by the prenylation pathway,” Mechanisms of Development, vol. 126, no. Supplement 1. Elsevier, pp. S132–S132, 2009.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 8478
S. Brüschweiler 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, pp. 3063–3068, 2009.
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 88 | OA
A. P. Higginbotham et al., “Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments,” Review of Scientific Instruments, vol. 80, no. 6. American Institute of Physics, 2009.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 | Published | Conference Paper | IST-REx-ID: 4545 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “A survey of stochastic games with limsup and liminf objectives,” presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece, 2009, vol. 5556, pp. 1–15.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4569 | OA
R. Bloem, K. Chatterjee, T. A. Henzinger, and B. Jobstmann, “Better quality in synthesis through quantitative objectives,” presented at the CAV: Computer Aided Verification, Grenoble, France, 2009, vol. 5643, pp. 140–156.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Published | Conference Paper | IST-REx-ID: 3871 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Probabilistic weighted automata,” presented at the CONCUR: Concurrency Theory, Bologna, Italy, 2009, vol. 5710, pp. 244–258.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4542 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Alternating weighted automata,” presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland, 2009, vol. 5699, pp. 3–13.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4543
K. Chatterjee, T. A. Henzinger, and F. Horn, “Stochastic games with finitary objectives,” presented at the MFCS: Mathematical Foundations of Computer Science, High Tatras, Slovakia, 2009, vol. 5734, pp. 34–54.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4360
T. Wies, R. Piskac, and V. Kuncak, “Combining theories with shared set operations,” in 7th International Symposium on Frontiers of Combining Systems, Trento, Italy, 2009, vol. 5749, pp. 366–382.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4377
J. Hoenicke, K. R. Leino, A. Podelski, M. Schäf, and T. Wies, “It’s doomed; we can prove it,” in Second World Congress on Formal Methods, Eindhoven, The Netherlands, 2009, vol. 5850, pp. 338–353.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4403 | OA
R. Alur, P. Cerny, and S. Weinstein, “Algorithmic analysis of array-accessing programs,” presented at the CSL: Computer Science Logic, Coimbra, Portugal, 2009, vol. 5771, pp. 86–101.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 4391
P. Cerny and R. Alur, “Automated analysis of Java methods for confidentiality,” in 21st International Conference on Computer Aided Verification, 2009, vol. 5643, pp. 173–187.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4365
M. Seghir, A. Podelski, and T. Wies, “Abstraction refinement for quantified array assertions,” in 16th International Symposium on Static Analysis, Los Angeles, CA, United States, 2009, vol. 5673, pp. 3–18.
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4375
S. Lahiri, S. Qadeer, J. Galeotti, J. Voung, and T. Wies, “Intra-module inference,” in 21st International Conference on Computer Aided Verification, Grenoble, France, 2009, vol. 5643, pp. 493–508.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 11111
D. J. Anderson and M. Hetzer, “Reshaping of the endoplasmic reticulum limits the rate for nuclear envelope formation,” Journal of Cell Biology, vol. 182, no. 5. Rockefeller University Press, pp. 911–924, 2008.
View | DOI | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 17721 | OA
R. H. Kramer and Z. 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, pp. 1561–1575, 2008.
[Published Version] View | DOI | Download Published Version (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 17751
G. L. Bryan, I. D. McGreer, A. Mesinger, and Z. Haiman, “Feedback effects on population III star formation,” in AIP Conference Proceedings, Santa Fe, NM, United States, 2008.
View | DOI | Download None (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 17778 | OA
M. Dijkstra, Z. Haiman, A. Mesinger, and J. S. B. Wyithe, “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, pp. 1961–1972, 2008.
[Published Version] View | DOI | Download Published Version (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 17787 | OA
S. R. Furlanetto, Z. Haiman, and S. P. Oh, “Fossil Ionized bubbles around dead quasars during reionization,” The Astrophysical Journal, vol. 686, no. 1. American Astronomical Society, pp. 25–40, 2008.
[Preprint] View | DOI | Download Preprint (ext.)
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed