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.
1704 Publications
2007 |Published| Conference Paper | IST-REx-ID: 3884
K. Chatterjee, T. A. Henzinger, and N. Piterman, “Strategy logic,” presented at the CONCUR: Concurrency Theory, 2007, vol. 4703, pp. 59–73.
View
| Files available
| DOI
2007 |Published| Book Chapter | IST-REx-ID: 4417
R. Manevich, J. Field, T. A. Henzinger, G. Ramalingam, and M. Sagiv, “Abstract counterexample-based refinement for powerset domains,” in Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, vol. 4444, Springer, 2007, pp. 273–292.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 4547
K. Chatterjee, L. Doyen, T. A. Henzinger, and J. Raskin, “Algorithms for omega-regular games with imperfect information,” Logical Methods in Computer Science, vol. 3, no. 184. International Federation of Computational Logic, pp. 1–23, 2007.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 9487 |
J. Penterman, D. Zilberman, J. H. Huh, T. Ballinger, S. Henikoff, and R. L. Fischer, “DNA demethylation in the Arabidopsis genome,” Proceedings of the National Academy of Sciences, vol. 104, no. 16. National Academy of Sciences, pp. 6752–6757, 2007.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2007 |Published| Journal Article | IST-REx-ID: 17724 |
B. Kocsis, Z. Haiman, K. Menou, and Z. Frei, “Premerger localization of gravitational-wave standard sirens with LISA: Harmonic mode decomposition,” Physical Review D, vol. 76, no. 2. American Physical Society, 2007.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv