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
Gal, M., Schanda, P., Brutscher, B., & Frydman, L. (2007). UltraSOFAST HMQC NMR and the repetitive acquisition of 2D protein spectra at Hz rates. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja066915g
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 8511
Gorodetski, A., & Kaloshin, V. (2007). How often surface diffeomorphisms have infinitely many sinks and hyperbolicity of periodic points near a homoclinic tangency. Advances in Mathematics. Elsevier. https://doi.org/10.1016/j.aim.2006.03.012
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 8512
Kaloshin, V., & Hunt, B. (2007). Stretched exponential estimates on growth of the number of periodic points for prevalent diffeomorphisms I. Annals of Mathematics. Princeton University Press. https://doi.org/10.4007/annals.2007.165.89
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 860
Plotnikova, O., Kondrashov, F., Vlasov, P., Grigorenko, A., Ginter, E., & Rogaev, E. (2007). 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. Cell Press. https://doi.org/10.1086/518616
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 861
Popadin, K., Mamirova, L., & Kondrashov, F. (2007). A manually curated database of tetrapod mitochondrially encoded tRNA sequences and secondary structures. BMC Bioinformatics. BioMed Central. https://doi.org/10.1186/1471-2105-8-441
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 879
Kondrashov, F., Gurbich, T., & Vlasov, P. (2007). Selection for functional uniformity of tuf duplicates in γ-proteobacteria. Trends in Genetics. Elsevier. https://doi.org/10.1016/j.tig.2007.03.002
View
| DOI
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 | 
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 | Submitted | Preprint | IST-REx-ID: 6321 |
Browning, T. D. (n.d.). The Manin conjecture in dimension 2. arXiv. https://doi.org/10.48550/arXiv.0704.1217
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2007 | Published | Book Chapter | IST-REx-ID: 6323 |
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 | Conference Paper | IST-REx-ID: 4394
Bouillaguet, C., Kuncak, V., Wies, T., Zee, K., & Rinard, M. (2007). Using first-order theorem provers in the Jahob data structure verification system. In 8th International Conference on Verification, Model Checking, and Abstract Interpretation (Vol. 4349, pp. 74–88). Nice, France: Springer. https://doi.org/10.1007/978-3-540-69738-1_5
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4402
Alur, R., Cerny, P., & Chaudhuri, S. (2007). Model checking on trees with path equivalences. In 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 4424, pp. 664–678). Braga, Portugal: Springer. https://doi.org/10.1007/978-3-540-71209-1_51
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4398
Berdine, J., Calcagno, C., Cook, B., Distefano, D., O’Hearn, P., Wies, T., & Yang, H. (2007). Shape analysis for composite data structures. In 19th International Conference on Computer Aided Verification (Vol. 4590, pp. 178–192). Berlin, Germany: Springer. https://doi.org/10.1007/978-3-540-73368-3_22
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4368
Nickovic, D., & Maler, O. (2007). AMT: A property-based monitoring tool for analog systems. In 5th International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 4763, pp. 304–319). Salzburg, Austria: Springer. https://doi.org/10.1007/978-3-540-75454-1_22
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4370
Maler, O., Nickovic, D., & Pnueli, A. (2007). On synthesizing controllers from bounded-response properties. In 19th International Conference on Computer Aided Verification (Vol. 4590, pp. 95–107). Berlin, Germany: Springer. https://doi.org/10.1007/978-3-540-73368-3_12
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4344
Danowski, P., & Heller, L. (2007). Bibliothek 2.0? Wird alles anders? Bibliothek - Forschung Und Praxis. De Gruyter. https://doi.org/10.1515/BFUP.2007.130
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4343
Danowski, P., & Pfeifer, B. (2007). Wikipedia und Normdateien: Wege der Vernetzung am Beispiel der Kooperation mit der Personennamendatei. Bibliothek - Forschung Und Praxis. De Gruyter. https://doi.org/10.1515/BFUP.2007.149
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4233
de Vladar, H. (2007). Alternativas prebióticas para la síntesis de amino- ácidos y otras moléculas relacionadas. In N. Falcón & Y. Loyo De Sardi (Eds.) (pp. 91–109). Presented at the Ab Initio: Orígenes Del Universo, La Vida, Y La Inteligencia, Consejo de Desarrollo Cientifico y Tecnologico.
View