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.

8920 Publications


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

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

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

2007 | Published | Journal Article | IST-REx-ID: 4626
L. De Alfaro, T. A. Henzinger, and O. Kupferman, “Concurrent reachability games,” Theoretical Computer Science, vol. 386, no. 3. Elsevier, pp. 188–217, 2007.
View | DOI
 

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

2007 | Published | Journal Article | IST-REx-ID: 6150
T. L. Gumienny, L. T. MacNeil, H. Wang, M. de Bono, J. L. Wrana, and R. W. Padgett, “Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans,” Current Biology, vol. 17, no. 2. Elsevier, pp. 159–164, 2007.
View | DOI | PubMed | Europe PMC
 

2007 | Submitted | Preprint | IST-REx-ID: 6321 | OA
T. D. Browning, “The Manin conjecture in dimension 2,” arXiv. .
[Preprint] View | Download Preprint (ext.) | arXiv
 

2007 | Published | Book Chapter | IST-REx-ID: 6323 | OA
T. D. Browning, “An overview of Manin’s conjecture for del Pezzo surfaces,” in A Tribute to Gauss and Dirichlet, vol. 7, American Mathematical Society, 2007, pp. 39–56.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2007 | Published | Journal Article | IST-REx-ID: 13424
R. Klajn, A. O. Pinchuk, G. C. Schatz, and B. A. Grzybowski, “Synthesis of heterodimeric sphere–prism nanostructures via metastable gold supraspheres,” Angewandte Chemie International Edition, vol. 46, no. 44. Wiley, pp. 8363–8367, 2007.
View | DOI | PubMed | Europe PMC
 

2007 | Published | Journal Article | IST-REx-ID: 13425 | OA
R. Klajn, K. J. M. Bishop, and B. A. Grzybowski, “Light-controlled self-assembly of reversible and irreversible nanoparticle suprastructures,” Proceedings of the National Academy of Sciences, vol. 104, no. 25. Proceedings of the National Academy of Sciences, pp. 10305–10309, 2007.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2007 | Published | Journal Article | IST-REx-ID: 13426
M. Paszewski, S. K. Smoukov, R. Klajn, and B. A. Grzybowski, “Multilevel surface nano- and microstructuring via sequential photoswelling of dichromated gelatin,” Langmuir, vol. 23, no. 10. American Chemical Society, pp. 5419–5422, 2007.
View | DOI | PubMed | Europe PMC
 

2007 | Published | Journal Article | IST-REx-ID: 13427
R. Klajn et al., “Plastic and moldable metals by self-assembly of sticky nanoparticle aggregates,” Science, vol. 316, no. 5822. American Association for the Advancement of Science, pp. 261–264, 2007.
View | DOI | PubMed | Europe PMC
 

2007 | Published | Journal Article | IST-REx-ID: 904
G. Bazykin, F. Kondrashov, M. Brudno, A. Poliakov, I. Dubchak, and A. Kondrashov, “Extensive parallelism in protein evolution,” Biology Direct, vol. 2. BioMed Central, 2007.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 9149 | OA
O. Bühler and C. J. Muller, “Instability and focusing of internal tides in the deep ocean,” Journal of Fluid Mechanics, vol. 588. Cambridge University Press, pp. 1–28, 2007.
View | DOI | Download None (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 9487 | OA
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 | Other Publication | IST-REx-ID: 9504
D. Zilberman, The human promoter methylome, vol. 39, no. 4. Nature Publishing Group, 2007, pp. 442–443.
View | DOI | PubMed | Europe PMC
 

2007 | Published | Journal Article | IST-REx-ID: 9524 | OA
D. Zilberman and S. Henikoff, “Genome-wide analysis of DNA methylation patterns,” Development, vol. 134, no. 22. The Company of Biologists, pp. 3959–3965, 2007.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2007 | Published | Journal Article | IST-REx-ID: 1035 | OA
M. Mark et al., “Spectroscopy of ultracold trapped cesium Feshbach molecules,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 76, no. 4. American Physical Society, 2007.
View | DOI | Download None (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 11884
M. H. Henzinger, “Search technologies for the internet,” Science, vol. 317, no. 5837. American Association for the Advancement of Science, pp. 468–471, 2007.
View | DOI | PubMed | Europe PMC
 

2007 | Published | Conference Paper | IST-REx-ID: 11924
M. H. Henzinger, “Combinatorial algorithms for web search engines: three success stories,” in 18th Annual ACM-SIAM Symposium on Discrete Algorithms, New Orleans, LA, United States, 2007, pp. 1022–1026.
View
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed