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.

208 Publications


2007 | Published | Conference Paper | IST-REx-ID: 4570
Brihaye T, Henzinger TA, Prabhu V, Raskin J. 2007. Minimum-time reachability in timed games. ICALP: Automata, Languages and Programming, LNCS, vol. 4596, 825–837.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4571
Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. 2007. Path invariants. PLDI: Programming Languages Design and Implementation, 300–309.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4572
Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. 2007. Invariant synthesis for combined theories. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 4349, 378–394.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4573
Beyer D, Henzinger TA, Théoduloz G. 2007. Configurable software verification: Concretizing the convergence of model checking and program analysis. CAV: Computer Aided Verification, LNCS, vol. 4590, 504–518.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4575
Beyer D, Chakrabarti A, Henzinger TA, Seshia S. 2007. An application of web-service interfaces. ICWS: International Conference on Web Service, 831–838.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4626
De Alfaro L, Henzinger TA, Kupferman O. 2007. Concurrent reachability games. Theoretical Computer Science. 386(3), 188–217.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 582
Hosten O, Kwiat P. 2007. Observing the spin hall effect of light via quantum weak measurements. OMD: Organic Materials and Devices for Displays and Energy Conversion, Optics InfoBase Conference Papers, .
View | DOI
 

2007 | Published | Book Chapter | IST-REx-ID: 167 | OA
Browning TD, Heath Brown R. 2007.Simultaneous equal sums of three powers. In: Diophantine Geometry. CRM Series, vol. 4, 93–100.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2007 | Published | Journal Article | IST-REx-ID: 1750
Katsaros G, Stoffel M, Rastelli A, Schmidt O, Kern K, Tersoff J. 2007. Three-dimensional isocompositional profiles of buried SiGeSi (001) islands. Applied Physics Letters. 91(1).
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 1762 | OA
Leek P, Fink JM, Blais A, Bianchetti R, Göppl M, Gambetta J, Schuster D, Frunzio L, Schoelkopf R, Wallraff A. 2007. Observation of Berry’s phase in a solid-state qubit. Science. 318(5858), 1889–1892.
View | DOI | Download (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 17714 | OA
Spiegel DS, Haiman Z, Gaudi BS. 2007. On constraining a transiting exoplanet’s rotation rate with its transit spectrum. The Astrophysical Journal. 669(2), 1324–1335.
[Published Version] View | DOI | Download Published Version (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 17716 | OA
Dijkstra M, Wyithe JSB, Haiman Z. 2007. Luminosity functions of Lyα emitting galaxies and cosmic reionization of hydrogen. Monthly Notices of the Royal Astronomical Society. 379(1), 253–259.
[Published Version] View | DOI | Download Published Version (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 17724 | OA
Kocsis B, Haiman Z, Menou K, Frei Z. 2007. Premerger localization of gravitational-wave standard sirens with LISA: Harmonic mode decomposition. Physical Review D. 76(2), 022003.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2007 | Published | Journal Article | IST-REx-ID: 17729 | OA
Mesinger A, Haiman Z. 2007. Constraints on reionization and Source Properties from the Absorption Spectra of z > 6.2 quasars. The Astrophysical Journal. 660(2), 923–932.
[Published Version] View | DOI | Download Published Version (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 17732 | OA
Shang C, Crotts A, Haiman Z. 2007. Constraints on the abundance of highly ionized protocluster regions from the absence of large voids in the Lyα forest. The Astrophysical Journal. 671(1), 136–145.
[Published Version] View | DOI | Download Published Version (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 17738 | OA
Li Y, Haiman Z, Mac Low M. 2007. Correlations between central massive objects and their host galaxies: From bulgeless spirals to ellipticals. The Astrophysical Journal. 663(1), 61–70.
[Published Version] View | DOI | Download Published Version (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 17753 | OA
Haiman Z, Jimenez R, Bernardi M. 2007. Reconstructing the cosmic evolution of quasars from the age distribution of local early‐type galaxies. The Astrophysical Journal. 658(2), 721–730.
[Published Version] View | DOI | Download Published Version (ext.)
 

2007 | Published | Conference Paper | IST-REx-ID: 17755
Kocsis B, Haiman Z, Frei Z. 2007. Detecting virialization shocks around galaxy clusters through the SZ effect. ESO Astrophysics Symposia. Proceedings of the MPE/USM/MPA/ESO Joint Astronomy ConferenceESO Astrophysics Symposia, 334–336.
View | DOI | Download None (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 17768 | OA
Zhang J, Hui L, Haiman Z. 2007. A linear perturbation theory of inhomogeneous reionization. Monthly Notices of the Royal Astronomical Society. 375(1), 324–336.
[Published Version] View | DOI | Download Published Version (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 17783 | OA
Wang S, Hui L, May M, Haiman Z. 2007. Is modified gravity required by observations? An empirical consistency test of dark energy models. Physical Review D. 76(6), 063503.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

year=2007

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed