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, Dirk, Thomas A Henzinger, Ritankar Majumdar, and Andrey Rybalchenko. “Invariant Synthesis for Combined Theories,” 4349:378–94. Springer, 2007. https://doi.org/10.1007/978-3-540-69738-1_27.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4573
Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis,” 4590:504–18. Springer, 2007. https://doi.org/10.1007/978-3-540-73368-3_51.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4575
Beyer, Dirk, Arindam Chakrabarti, Thomas A Henzinger, and Sanjit Seshia. “An Application of Web-Service Interfaces,” 831–38. IEEE, 2007. https://doi.org/10.1109/ICWS.2007.32 .
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4626
De Alfaro, Luca, Thomas A Henzinger, and Orna Kupferman. “Concurrent Reachability Games.” Theoretical Computer Science. Elsevier, 2007. https://doi.org/10.1016/j.tcs.2007.07.008.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 582
Hosten, Onur, and Paul Kwiat. “Observing the Spin Hall Effect of Light via Quantum Weak Measurements.” OSA, 2007. https://doi.org/10.1364/FIO.2007.JTuA4.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 6150
Gumienny, Tina L., Lesley T. MacNeil, Huang Wang, Mario de Bono, Jeffrey L. Wrana, and Richard W. Padgett. “Glypican LON-2 Is a Conserved Negative Regulator of BMP-like Signaling in Caenorhabditis Elegans.” Current Biology. Elsevier, 2007. https://doi.org/10.1016/j.cub.2006.11.065.
View | DOI | PubMed | Europe PMC
 

2007 | Submitted | Preprint | IST-REx-ID: 6321 | OA
Browning, Timothy D. “The Manin Conjecture in Dimension 2.” ArXiv, n.d.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2007 | Published | Book Chapter | IST-REx-ID: 6323 | OA
Browning, Timothy D. “An Overview of Manin’s Conjecture for Del Pezzo Surfaces.” In A Tribute to Gauss and Dirichlet, 7:39–56. Analytic Number Theory. American Mathematical Society, 2007.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2007 | Published | Journal Article | IST-REx-ID: 13424
Klajn, Rafal, Anatoliy O. Pinchuk, George C. Schatz, and Bartosz A. Grzybowski. “Synthesis of Heterodimeric Sphere–Prism Nanostructures via Metastable Gold Supraspheres.” Angewandte Chemie International Edition. Wiley, 2007. https://doi.org/10.1002/anie.200702570.
View | DOI | PubMed | Europe PMC
 

2007 | Published | Journal Article | IST-REx-ID: 13425 | OA
Klajn, Rafal, Kyle J. M. Bishop, and Bartosz A. Grzybowski. “Light-Controlled Self-Assembly of Reversible and Irreversible Nanoparticle Suprastructures.” Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2007. 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, Maciej, Stoyan K. Smoukov, Rafal Klajn, and Bartosz A. Grzybowski. “Multilevel Surface Nano- and Microstructuring via Sequential Photoswelling of Dichromated Gelatin.” Langmuir. American Chemical Society, 2007. https://doi.org/10.1021/la062982c.
View | DOI | PubMed | Europe PMC
 

2007 | Published | Journal Article | IST-REx-ID: 13427
Klajn, Rafal, Kyle J. M. Bishop, Marcin Fialkowski, Maciej Paszewski, Christopher J. Campbell, Timothy P. Gray, and Bartosz A. Grzybowski. “Plastic and Moldable Metals by Self-Assembly of Sticky Nanoparticle Aggregates.” Science. American Association for the Advancement of Science, 2007. https://doi.org/10.1126/science.1139131.
View | DOI | PubMed | Europe PMC
 

2007 | Published | Journal Article | IST-REx-ID: 904
Bazykin, Georgii, Fyodor Kondrashov, Michael Brudno, Alexander Poliakov, Inna Dubchak, and Alexey Kondrashov. “Extensive Parallelism in Protein Evolution.” Biology Direct. BioMed Central, 2007. https://doi.org/10.1186/1745-6150-2-20.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 9149 | OA
Bühler, Oliver, and Caroline J Muller. “Instability and Focusing of Internal Tides in the Deep Ocean.” Journal of Fluid Mechanics. Cambridge University Press, 2007. https://doi.org/10.1017/s0022112007007410.
View | DOI | Download None (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 9487 | OA
Penterman, Jon, Daniel Zilberman, Jin Hoe Huh, Tracy Ballinger, Steven Henikoff, and Robert L. Fischer. “DNA Demethylation in the Arabidopsis Genome.” Proceedings of the National Academy of Sciences. National Academy of Sciences, 2007. 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, Daniel. The Human Promoter Methylome. Nature Genetics. Vol. 39. Nature Publishing Group, 2007. https://doi.org/10.1038/ng0407-442.
View | DOI | PubMed | Europe PMC
 

2007 | Published | Journal Article | IST-REx-ID: 9524 | OA
Zilberman, Daniel, and Steven Henikoff. “Genome-Wide Analysis of DNA Methylation Patterns.” Development. The Company of Biologists, 2007. 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, Michael, Francesca Ferlaino, Steven Knoop, Johann G Danzl, Tobias Kraemer, Cheng Chin, Hanns Nägerl, and Rudolf Grimm. “Spectroscopy of Ultracold Trapped Cesium Feshbach Molecules.” Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2007. https://doi.org/10.1103/PhysRevA.76.042514.
View | DOI | Download None (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 11884
Henzinger, Monika H. “Search Technologies for the Internet.” Science. American Association for the Advancement of Science, 2007. https://doi.org/10.1126/science.1126557.
View | DOI | PubMed | Europe PMC
 

2007 | Published | Conference Paper | IST-REx-ID: 11924
Henzinger, Monika H. “Combinatorial Algorithms for Web Search Engines: Three Success Stories.” In 18th Annual ACM-SIAM Symposium on Discrete Algorithms, 1022–26. Society for Industrial & Applied Mathematics, 2007.
View
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed