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.

218 Publications


2007 | Published | Journal Article | IST-REx-ID: 8487
M. Gal, P. Schanda, B. Brutscher, and L. Frydman, “UltraSOFAST HMQC NMR and the repetitive acquisition of 2D protein spectra at Hz rates,” Journal of the American Chemical Society, vol. 129, no. 5. American Chemical Society, pp. 1372–1377, 2007.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 8511
A. Gorodetski and V. Kaloshin, “How often surface diffeomorphisms have infinitely many sinks and hyperbolicity of periodic points near a homoclinic tangency,” Advances in Mathematics, vol. 208, no. 2. Elsevier, pp. 710–797, 2007.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 8512
V. Kaloshin and B. Hunt, “Stretched exponential estimates on growth of the number of periodic points for prevalent diffeomorphisms I,” Annals of Mathematics, vol. 165, no. 1. Princeton University Press, pp. 89–170, 2007.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 860
O. Plotnikova, F. Kondrashov, P. Vlasov, A. Grigorenko, E. Ginter, and E. Rogaev, “Conversion and compensatory evolution of the γ-crystallin genes and identification of a cataractogenic mutation that reverses the sequence of the human CRYGD gene to an ancestral state,” American Journal of Human Genetics, vol. 81, no. 1. Cell Press, pp. 32–43, 2007.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 861
K. Popadin, L. Mamirova, and F. Kondrashov, “A manually curated database of tetrapod mitochondrially encoded tRNA sequences and secondary structures,” BMC Bioinformatics, vol. 8. BioMed Central, 2007.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 879
F. Kondrashov, T. Gurbich, and P. Vlasov, “Selection for functional uniformity of tuf duplicates in γ-proteobacteria,” Trends in Genetics, vol. 23, no. 5. Elsevier, pp. 215–218, 2007.
View | DOI
 

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 | Submitted | Preprint | IST-REx-ID: 6321 | OA
T. D. Browning, “The Manin conjecture in dimension 2,” arXiv. .
[Preprint] View | DOI | 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 | Conference Paper | IST-REx-ID: 4394
C. Bouillaguet, V. Kuncak, T. Wies, K. Zee, and M. Rinard, “Using first-order theorem provers in the Jahob data structure verification system,” in 8th International Conference on Verification, Model Checking, and Abstract Interpretation, Nice, France, 2007, vol. 4349, pp. 74–88.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4402
R. Alur, P. Cerny, and S. Chaudhuri, “Model checking on trees with path equivalences,” in 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Braga, Portugal, 2007, vol. 4424, pp. 664–678.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4398
J. Berdine et al., “Shape analysis for composite data structures,” in 19th International Conference on Computer Aided Verification, Berlin, Germany, 2007, vol. 4590, pp. 178–192.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4368
D. Nickovic and O. Maler, “AMT: A property-based monitoring tool for analog systems,” in 5th International Conference on Formal Modeling and Analysis of Timed Systems, Salzburg, Austria, 2007, vol. 4763, pp. 304–319.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4370
O. Maler, D. Nickovic, and A. Pnueli, “On synthesizing controllers from bounded-response properties,” in 19th International Conference on Computer Aided Verification, Berlin, Germany, 2007, vol. 4590, pp. 95–107.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4344
P. Danowski and L. Heller, “Bibliothek 2.0? Wird alles anders?,” Bibliothek - Forschung und Praxis, vol. 31, no. 2. De Gruyter, pp. 130–136, 2007.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 4343
P. Danowski and B. Pfeifer, “Wikipedia und Normdateien: Wege der Vernetzung am Beispiel der Kooperation mit der Personennamendatei,” Bibliothek - Forschung und Praxis, vol. 31, no. 2. De Gruyter, pp. 149–155, 2007.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 4233
H. de Vladar, “Alternativas prebióticas para la síntesis de amino- ácidos y otras moléculas relacionadas,” presented at the Ab Initio: Orígenes Del Universo, La Vida, Y La Inteligencia, 2007, pp. 91–109.
View
 

Filters and Search Terms

year=2007

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed