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.
1752 Publications
2008 | Published | Journal Article | IST-REx-ID: 11111
Anderson DJ, Hetzer M. 2008. Reshaping of the endoplasmic reticulum limits the rate for nuclear envelope formation. Journal of Cell Biology. 182(5), 911–924.
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 2374 | 
Seiringer R. 2008. Free energy of a dilute Bose gas: Lower bound. Communications in Mathematical Physics. 279(3), 595–636.
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 3943
Kessenbrock K, Fröhlich L, Sixt MK, Lämmermann T, Pfister H, Bateman A, Belaaouaj A, Ring J, Ollert M, Fässler R, Jenne D. 2008. Proteinase 3 and neutrophil elastase enhance inflammation in mice by inactivating antiinflammatory progranulin. The Journal of Clinical Investigation. 118(7), 2438–2447.
View
| DOI
2008 | Published | Book Chapter | IST-REx-ID: 4371
Maler O, Nickovic D, Pnueli A. 2008.Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. In: Pillars of Computer science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. LNCS, , 475–505.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 4386
Guerraoui R, Henzinger TA, Singh V. 2008. Permissiveness in transactional memories. DISC: Distributed Computing, LNCS, vol. 5218, 305–319.
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4387
Guerraoui R, Henzinger TA, Singh V. 2008. Completeness and nondeterminism in model checking transactional memories. CONCUR: Concurrency Theory, LNCS, vol. 5201, 21–35.
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4452
Henzinger TA, Hottelier T, Kovács L. 2008. Valigator: A verification tool with bound and invariant generation. LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, LNCS, vol. 5330, 333–342.
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4527
Fisher J, Henzinger TA, Mateescu M, Piterman N. 2008. Bounded asynchrony: Concurrency for modeling cell-cell interactions. FMSB: Formal Methods in Systems Biology, LNCS, vol. 5054, 17–32.
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17721 |
Kramer RH, 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. 385(3), 1561–1575.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 17751
Bryan GL, McGreer ID, Mesinger A, Haiman Z. 2008. Feedback effects on population III star formation. AIP Conference Proceedings. FIRST STARS III: First Stars II Conference.
View
| DOI
| Download None (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17778 |
Dijkstra M, Haiman Z, Mesinger A, Wyithe JSB. 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. 391(4), 1961–1972.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17787 |
Furlanetto SR, Haiman Z, Oh SP. 2008. Fossil Ionized bubbles around dead quasars during reionization. The Astrophysical Journal. 686(1), 25–40.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2008 | Published | Journal Article | IST-REx-ID: 17788 |
Fang W, Haiman Z. 2008. An evolving entropy floor in the intracluster gas? The Astrophysical Journal. 680(1), 200–213.
[Published Version]
View
| DOI
| Download Published Version (ext.)