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.
2342 Publications
2008 | Published | Conference Paper | IST-REx-ID: 3873
Controller synthesis with budget constraints
K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, Springer, 2008, pp. 72–86.
View
| DOI
K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, Springer, 2008, pp. 72–86.
2008 | Published | Conference Paper | IST-REx-ID: 3874
Trading infinite memory for uniform randomness in timed games
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Springer, 2008, pp. 87–100.
View
| DOI
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Springer, 2008, pp. 87–100.
2008 | Published | Conference Paper | IST-REx-ID: 3875
Model-checking omega-regular properties of interval Markov chains
K. Chatterjee, T.A. Henzinger, K. Sen, in:, Springer, 2008, pp. 302–317.
View
| DOI
K. Chatterjee, T.A. Henzinger, K. Sen, in:, Springer, 2008, pp. 302–317.
2008 | Published | Conference Paper | IST-REx-ID: 3877
Environment assumptions for synthesis
K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 147–161.
View
| DOI
K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 147–161.
2008 | Published | Conference Paper | IST-REx-ID: 3878 | 
The complexity of coverage
K. Chatterjee, L. De Alfaro, R. Majumdar, in:, Springer, 2008, pp. 91–106.
View
| DOI
| Download (ext.)
K. Chatterjee, L. De Alfaro, R. Majumdar, in:, Springer, 2008, pp. 91–106.
2008 | Published | Conference Paper | IST-REx-ID: 3879
Quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2008, pp. 385–400.
View
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2008, pp. 385–400.
2008 | Published | Journal Article | IST-REx-ID: 3903
The introduction history of invasive garden ants in Europe: integrating genetic, chemical and behavioural approaches
L.V. Ugelvig, F. Drijfhout, D. Kronauer, J. Boomsma, J. Pedersen, S. Cremer, BMC Biology 6 (2008).
View
| DOI
L.V. Ugelvig, F. Drijfhout, D. Kronauer, J. Boomsma, J. Pedersen, S. Cremer, BMC Biology 6 (2008).
2008 | Published | Journal Article | IST-REx-ID: 3939
The microanatomy of T-cell responses
T. Lämmermann, M.K. Sixt, Immunological Reviews 221 (2008) 26–43.
View
| DOI
T. Lämmermann, M.K. Sixt, Immunological Reviews 221 (2008) 26–43.
2008 | Published | Journal Article | IST-REx-ID: 3943
Proteinase 3 and neutrophil elastase enhance inflammation in mice by inactivating antiinflammatory progranulin
K. Kessenbrock, L. Fröhlich, M.K. Sixt, T. Lämmermann, H. Pfister, A. Bateman, A. Belaaouaj, J. Ring, M. Ollert, R. Fässler, D. Jenne, The Journal of Clinical Investigation 118 (2008) 2438–2447.
View
| DOI
K. Kessenbrock, L. Fröhlich, M.K. Sixt, T. Lämmermann, H. Pfister, A. Bateman, A. Belaaouaj, J. Ring, M. Ollert, R. Fässler, D. Jenne, The Journal of Clinical Investigation 118 (2008) 2438–2447.
2008 | Published | Conference Paper | IST-REx-ID: 18033
Molecule Nanoelectronics
L. Venkataraman, in:, 2008 International Symposium on VLSI Technology, Systems and Applications, IEEE, 2008, pp. 64–65.
View
| DOI
L. Venkataraman, in:, 2008 International Symposium on VLSI Technology, Systems and Applications, IEEE, 2008, pp. 64–65.
2008 | Published | Journal Article | IST-REx-ID: 9457 |
Histone H2A.Z and DNA methylation are mutually antagonistic chromatin marks
D. Zilberman, D. Coleman-Derr, T. Ballinger, S. Henikoff, Nature 456 (2008) 125–129.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
D. Zilberman, D. Coleman-Derr, T. Ballinger, S. Henikoff, Nature 456 (2008) 125–129.
2008 | Published | Conference Paper | IST-REx-ID: 3876
Timed parity games: complexity and robustness
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Springer, 2008, pp. 124–140.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Springer, 2008, pp. 124–140.
2008 | Published | Conference Paper | IST-REx-ID: 3880
Strategy construction for parity games with imperfect information
D. Berwanger, K. Chatterjee, L. Doyen, T.A. Henzinger, S. Raje, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 325–339.
View
| Files available
| DOI
D. Berwanger, K. Chatterjee, L. Doyen, T.A. Henzinger, S. Raje, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 325–339.
2007 | Published | Journal Article | IST-REx-ID: 17714 |
On constraining a transiting exoplanet’s rotation rate with its transit spectrum
D.S. Spiegel, Z. Haiman, B.S. Gaudi, The Astrophysical Journal 669 (2007) 1324–1335.
[Published Version]
View
| DOI
| Download Published Version (ext.)
D.S. Spiegel, Z. Haiman, B.S. Gaudi, The Astrophysical Journal 669 (2007) 1324–1335.
2007 | Published | Journal Article | IST-REx-ID: 17724 |
Premerger localization of gravitational-wave standard sirens with LISA: Harmonic mode decomposition
B. Kocsis, Z. Haiman, K. Menou, Z. Frei, Physical Review D 76 (2007).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
B. Kocsis, Z. Haiman, K. Menou, Z. Frei, Physical Review D 76 (2007).
2007 | Published | Journal Article | IST-REx-ID: 17729 |
Constraints on reionization and Source Properties from the Absorption Spectra of z > 6.2 quasars
A. Mesinger, Z. Haiman, The Astrophysical Journal 660 (2007) 923–932.
[Published Version]
View
| DOI
| Download Published Version (ext.)
A. Mesinger, Z. Haiman, The Astrophysical Journal 660 (2007) 923–932.
2007 | Published | Journal Article | IST-REx-ID: 17732 |
Constraints on the abundance of highly ionized protocluster regions from the absence of large voids in the Lyα forest
C. Shang, A. Crotts, Z. Haiman, The Astrophysical Journal 671 (2007) 136–145.
[Published Version]
View
| DOI
| Download Published Version (ext.)
C. Shang, A. Crotts, Z. Haiman, The Astrophysical Journal 671 (2007) 136–145.
2007 | Published | Journal Article | IST-REx-ID: 17753 |
Reconstructing the cosmic evolution of quasars from the age distribution of local early‐type galaxies
Z. Haiman, R. Jimenez, M. Bernardi, The Astrophysical Journal 658 (2007) 721–730.
[Published Version]
View
| DOI
| Download Published Version (ext.)
Z. Haiman, R. Jimenez, M. Bernardi, The Astrophysical Journal 658 (2007) 721–730.
2007 | Published | Conference Paper | IST-REx-ID: 17755
Detecting virialization shocks around galaxy clusters through the SZ effect
B. Kocsis, Z. Haiman, Z. Frei, in:, ESO Astrophysics Symposia, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 334–336.
View
| DOI
| Download None (ext.)
B. Kocsis, Z. Haiman, Z. Frei, in:, ESO Astrophysics Symposia, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 334–336.
2007 | Published | Journal Article | IST-REx-ID: 17768 |
A linear perturbation theory of inhomogeneous reionization
J. Zhang, L. Hui, Z. Haiman, Monthly Notices of the Royal Astronomical Society 375 (2007) 324–336.
[Published Version]
View
| DOI
| Download Published Version (ext.)
J. Zhang, L. Hui, Z. Haiman, Monthly Notices of the Royal Astronomical Society 375 (2007) 324–336.