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
Beyer, D., Henzinger, T. A., Majumdar, R., & Rybalchenko, A. (2007). Invariant synthesis for combined theories (Vol. 4349, pp. 378–394). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Springer. https://doi.org/10.1007/978-3-540-69738-1_27
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4573
Beyer, D., Henzinger, T. A., & Théoduloz, G. (2007). Configurable software verification: Concretizing the convergence of model checking and program analysis (Vol. 4590, pp. 504–518). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-540-73368-3_51
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4575
Beyer, D., Chakrabarti, A., Henzinger, T. A., & Seshia, S. (2007). An application of web-service interfaces (pp. 831–838). Presented at the ICWS: International Conference on Web Service, IEEE. https://doi.org/10.1109/ICWS.2007.32
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4626
De Alfaro, L., Henzinger, T. A., & Kupferman, O. (2007). Concurrent reachability games. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2007.07.008
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. Presented at the OMD: Organic Materials and Devices for Displays and Energy Conversion, OSA. https://doi.org/10.1364/FIO.2007.JTuA4
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 6150
Gumienny, T. L., MacNeil, L. T., Wang, H., de Bono, M., Wrana, J. L., & Padgett, R. W. (2007). Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2006.11.065
View | DOI | PubMed | Europe PMC
 

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

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

2007 | Published | Journal Article | IST-REx-ID: 13424
Klajn, R., Pinchuk, A. O., Schatz, G. C., & Grzybowski, B. A. (2007). Synthesis of heterodimeric sphere–prism nanostructures via metastable gold supraspheres. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.200702570
View | DOI | PubMed | Europe PMC
 

2007 | Published | Journal Article | IST-REx-ID: 13425 | OA
Klajn, R., Bishop, K. J. M., & Grzybowski, B. A. (2007). Light-controlled self-assembly of reversible and irreversible nanoparticle suprastructures. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.0611371104
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2007 | Published | Journal Article | IST-REx-ID: 13426
Paszewski, M., Smoukov, S. K., Klajn, R., & Grzybowski, B. A. (2007). Multilevel surface nano- and microstructuring via sequential photoswelling of dichromated gelatin. Langmuir. American Chemical Society. https://doi.org/10.1021/la062982c
View | DOI | PubMed | Europe PMC
 

2007 | Published | Journal Article | IST-REx-ID: 13427
Klajn, R., Bishop, K. J. M., Fialkowski, M., Paszewski, M., Campbell, C. J., Gray, T. P., & Grzybowski, B. A. (2007). Plastic and moldable metals by self-assembly of sticky nanoparticle aggregates. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1139131
View | DOI | PubMed | Europe PMC
 

2007 | Published | Journal Article | IST-REx-ID: 904
Bazykin, G., Kondrashov, F., Brudno, M., Poliakov, A., Dubchak, I., & Kondrashov, A. (2007). Extensive parallelism in protein evolution. Biology Direct. BioMed Central. https://doi.org/10.1186/1745-6150-2-20
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 9149 | OA
Bühler, O., & Muller, C. J. (2007). Instability and focusing of internal tides in the deep ocean. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/s0022112007007410
View | DOI | Download None (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 9487 | OA
Penterman, J., Zilberman, D., Huh, J. H., Ballinger, T., Henikoff, S., & Fischer, R. L. (2007). DNA demethylation in the Arabidopsis genome. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.0701861104
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2007 | Published | Other Publication | IST-REx-ID: 9504
Zilberman, D. (2007). The human promoter methylome. Nature Genetics (Vol. 39, pp. 442–443). Nature Publishing Group. https://doi.org/10.1038/ng0407-442
View | DOI | PubMed | Europe PMC
 

2007 | Published | Journal Article | IST-REx-ID: 9524 | OA
Zilberman, D., & Henikoff, S. (2007). Genome-wide analysis of DNA methylation patterns. Development. The Company of Biologists. https://doi.org/10.1242/dev.001131
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2007 | Published | Journal Article | IST-REx-ID: 1035 | OA
Mark, M., Ferlaino, F., Knoop, S., Danzl, J. G., Kraemer, T., Chin, C., … Grimm, R. (2007). Spectroscopy of ultracold trapped cesium Feshbach molecules. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.76.042514
View | DOI | Download None (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 11884
Henzinger, M. H. (2007). Search technologies for the internet. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1126557
View | DOI | PubMed | Europe PMC
 

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

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed