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, Maayan, Paul Schanda, Bernhard Brutscher, and Lucio Frydman. “UltraSOFAST HMQC NMR and the Repetitive Acquisition of 2D Protein Spectra at Hz Rates.” Journal of the American Chemical Society. American Chemical Society, 2007. https://doi.org/10.1021/ja066915g.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 8511
Gorodetski, A., and Vadim Kaloshin. “How Often Surface Diffeomorphisms Have Infinitely Many Sinks and Hyperbolicity of Periodic Points near a Homoclinic Tangency.” Advances in Mathematics. Elsevier, 2007. https://doi.org/10.1016/j.aim.2006.03.012.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 8512
Kaloshin, Vadim, and Brian Hunt. “Stretched Exponential Estimates on Growth of the Number of Periodic Points for Prevalent Diffeomorphisms I.” Annals of Mathematics. Princeton University Press, 2007. https://doi.org/10.4007/annals.2007.165.89.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 860
Plotnikova, Olga, Fyodor Kondrashov, Peter Vlasov, Anastasia Grigorenko, Evgeny Ginter, and Evgeny 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. Cell Press, 2007. https://doi.org/10.1086/518616.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 861
Popadin, Konstantin, Leila Mamirova, and Fyodor Kondrashov. “A Manually Curated Database of Tetrapod Mitochondrially Encoded TRNA Sequences and Secondary Structures.” BMC Bioinformatics. BioMed Central, 2007. https://doi.org/10.1186/1471-2105-8-441.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 879
Kondrashov, Fyodor, Tatiana Gurbich, and Peter Vlasov. “Selection for Functional Uniformity of Tuf Duplicates in γ-Proteobacteria.” Trends in Genetics. Elsevier, 2007. https://doi.org/10.1016/j.tig.2007.03.002.
View
| DOI
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 | 
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 | Submitted | Preprint | IST-REx-ID: 6321 |
Browning, Timothy D. “The Manin Conjecture in Dimension 2.” ArXiv, n.d. https://doi.org/10.48550/arXiv.0704.1217.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2007 | Published | Book Chapter | IST-REx-ID: 6323 |
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 | Conference Paper | IST-REx-ID: 4394
Bouillaguet, Charles, Viktor Kuncak, Thomas Wies, Karen Zee, and Martin Rinard. “Using First-Order Theorem Provers in the Jahob Data Structure Verification System.” In 8th International Conference on Verification, Model Checking, and Abstract Interpretation, 4349:74–88. Springer, 2007. https://doi.org/10.1007/978-3-540-69738-1_5.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4402
Alur, Rajeev, Pavol Cerny, and Swarat Chaudhuri. “Model Checking on Trees with Path Equivalences.” In 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 4424:664–78. Springer, 2007. https://doi.org/10.1007/978-3-540-71209-1_51.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4398
Berdine, Josh, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter O’Hearn, Thomas Wies, and Hongseok Yang. “Shape Analysis for Composite Data Structures.” In 19th International Conference on Computer Aided Verification, 4590:178–92. Springer, 2007. https://doi.org/10.1007/978-3-540-73368-3_22.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4368
Nickovic, Dejan, and Oded Maler. “AMT: A Property-Based Monitoring Tool for Analog Systems.” In 5th International Conference on Formal Modeling and Analysis of Timed Systems, 4763:304–19. Springer, 2007. https://doi.org/10.1007/978-3-540-75454-1_22.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4370
Maler, Oded, Dejan Nickovic, and Amir Pnueli. “On Synthesizing Controllers from Bounded-Response Properties.” In 19th International Conference on Computer Aided Verification, 4590:95–107. Springer, 2007. https://doi.org/10.1007/978-3-540-73368-3_12.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4344
Danowski, Patrick, and Lambert Heller. “Bibliothek 2.0? Wird Alles Anders?” Bibliothek - Forschung Und Praxis. De Gruyter, 2007. https://doi.org/10.1515/BFUP.2007.130.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4343
Danowski, Patrick, and Barbara Pfeifer. “Wikipedia Und Normdateien: Wege Der Vernetzung Am Beispiel Der Kooperation Mit Der Personennamendatei.” Bibliothek - Forschung Und Praxis. De Gruyter, 2007. https://doi.org/10.1515/BFUP.2007.149.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4233
Vladar, Harold de. “Alternativas Prebióticas Para La Síntesis de Amino- Ácidos y Otras Moléculas Relacionadas.” edited by N. Falcón and Y. Loyo De Sardi, 91–109. Consejo de Desarrollo Cientifico y Tecnologico, 2007.
View