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 TA, Majumdar R, Rybalchenko A. Invariant synthesis for combined theories. In: Vol 4349. Springer; 2007:378-394. doi:10.1007/978-3-540-69738-1_27
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4573
Beyer D, Henzinger TA, Théoduloz G. Configurable software verification: Concretizing the convergence of model checking and program analysis. In: Vol 4590. Springer; 2007:504-518. doi:10.1007/978-3-540-73368-3_51
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4575
Beyer D, Chakrabarti A, Henzinger TA, Seshia S. An application of web-service interfaces. In: IEEE; 2007:831-838. doi:10.1109/ICWS.2007.32
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4626
De Alfaro L, Henzinger TA, Kupferman O. Concurrent reachability games. Theoretical Computer Science. 2007;386(3):188-217. doi:10.1016/j.tcs.2007.07.008
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 582
Hosten O, Kwiat P. Observing the spin hall effect of light via quantum weak measurements. In: OSA; 2007. doi:10.1364/FIO.2007.JTuA4
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 6150
Gumienny TL, MacNeil LT, Wang H, de Bono M, Wrana JL, Padgett RW. Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans. Current Biology. 2007;17(2):159-164. doi:10.1016/j.cub.2006.11.065
View | DOI | PubMed | Europe PMC
 

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

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

2007 | Published | Journal Article | IST-REx-ID: 13424
Klajn R, Pinchuk AO, Schatz GC, Grzybowski BA. Synthesis of heterodimeric sphere–prism nanostructures via metastable gold supraspheres. Angewandte Chemie International Edition. 2007;46(44):8363-8367. doi:10.1002/anie.200702570
View | DOI | PubMed | Europe PMC
 

2007 | Published | Journal Article | IST-REx-ID: 13425 | OA
Klajn R, Bishop KJM, Grzybowski BA. Light-controlled self-assembly of reversible and irreversible nanoparticle suprastructures. Proceedings of the National Academy of Sciences. 2007;104(25):10305-10309. doi: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 SK, Klajn R, Grzybowski BA. Multilevel surface nano- and microstructuring via sequential photoswelling of dichromated gelatin. Langmuir. 2007;23(10):5419-5422. doi:10.1021/la062982c
View | DOI | PubMed | Europe PMC
 

2007 | Published | Journal Article | IST-REx-ID: 13427
Klajn R, Bishop KJM, Fialkowski M, et al. Plastic and moldable metals by self-assembly of sticky nanoparticle aggregates. Science. 2007;316(5822):261-264. doi: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. Extensive parallelism in protein evolution. Biology Direct. 2007;2. doi:10.1186/1745-6150-2-20
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 9149 | OA
Bühler O, Muller CJ. Instability and focusing of internal tides in the deep ocean. Journal of Fluid Mechanics. 2007;588:1-28. doi:10.1017/s0022112007007410
View | DOI | Download None (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 9487 | OA
Penterman J, Zilberman D, Huh JH, Ballinger T, Henikoff S, Fischer RL. DNA demethylation in the Arabidopsis genome. Proceedings of the National Academy of Sciences. 2007;104(16):6752-6757. doi: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. The Human Promoter Methylome. Vol 39. Nature Publishing Group; 2007:442-443. doi:10.1038/ng0407-442
View | DOI | PubMed | Europe PMC
 

2007 | Published | Journal Article | IST-REx-ID: 9524 | OA
Zilberman D, Henikoff S. Genome-wide analysis of DNA methylation patterns. Development. 2007;134(22):3959-3965. doi: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, et al. Spectroscopy of ultracold trapped cesium Feshbach molecules. Physical Review A - Atomic, Molecular, and Optical Physics. 2007;76(4). doi:10.1103/PhysRevA.76.042514
View | DOI | Download None (ext.)
 

2007 | Published | Journal Article | IST-REx-ID: 11884
Henzinger MH. Search technologies for the internet. Science. 2007;317(5837):468-471. doi:10.1126/science.1126557
View | DOI | PubMed | Europe PMC
 

2007 | Published | Conference Paper | IST-REx-ID: 11924
Henzinger MH. Combinatorial algorithms for web search engines: three success stories. In: 18th Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial & Applied Mathematics; 2007:1022-1026.
View
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed