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: 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. 81(1), 32–43.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 9149 | 
Bühler O, Muller CJ. 2007. Instability and focusing of internal tides in the deep ocean. Journal of Fluid Mechanics. 588, 1–28.
View
| DOI
| Download None (ext.)
2007 | Submitted | Preprint | IST-REx-ID: 6321 |
Browning TD. The Manin conjecture in dimension 2. arXiv, 0704.1217.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2007 | Published | Book Chapter | IST-REx-ID: 6323 |
Browning TD. 2007.An overview of Manin’s conjecture for del Pezzo surfaces. In: A Tribute to Gauss and Dirichlet. Clay Mathemetics Proceedings, vol. 7, 39–56.
[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. 8th International Conference on Verification, Model Checking, and Abstract Interpretation. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 4349, 74–88.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4402
Alur R, Cerny P, Chaudhuri S. 2007. Model checking on trees with path equivalences. 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 4424, 664–678.
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. 19th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 4590, 178–192.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4368
Nickovic D, Maler O. 2007. AMT: A property-based monitoring tool for analog systems. 5th International Conference on Formal Modeling and Analysis of Timed Systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 4763, 304–319.
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. Ab Initio: Orígenes Del Universo, La Vida, Y La Inteligencia, 91–109.
View