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.
10939 Publications
2007 | Published | Journal Article | IST-REx-ID: 879
Kondrashov, Fyodor, et al. “Selection for Functional Uniformity of Tuf Duplicates in γ-Proteobacteria.” Trends in Genetics, vol. 23, no. 5, Elsevier, 2007, pp. 215–18, doi:10.1016/j.tig.2007.03.002.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 904
Bazykin, Georgii, et al. “Extensive Parallelism in Protein Evolution.” Biology Direct, vol. 2, BioMed Central, 2007, doi: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, vol. 588, Cambridge University Press, 2007, pp. 1–28, doi: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, 0704.1217, doi: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.” 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
Bouillaguet, Charles, et al. “Using First-Order Theorem Provers in the Jahob Data Structure Verification System.” 8th International Conference on Verification, Model Checking, and Abstract Interpretation, vol. 4349, Springer, 2007, pp. 74–88, doi:10.1007/978-3-540-69738-1_5.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4402
Alur, Rajeev, et al. “Model Checking on Trees with Path Equivalences.” 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 4424, Springer, 2007, pp. 664–78, doi:10.1007/978-3-540-71209-1_51.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4398
Berdine, Josh, et al. “Shape Analysis for Composite Data Structures.” 19th International Conference on Computer Aided Verification, vol. 4590, Springer, 2007, pp. 178–92, doi: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.” 5th International Conference on Formal Modeling and Analysis of Timed Systems, vol. 4763, Springer, 2007, pp. 304–19, doi:10.1007/978-3-540-75454-1_22.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4370
Maler, Oded, et al. “On Synthesizing Controllers from Bounded-Response Properties.” 19th International Conference on Computer Aided Verification, vol. 4590, Springer, 2007, pp. 95–107, doi: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, vol. 31, no. 2, De Gruyter, 2007, pp. 130–36, doi: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, vol. 31, no. 2, De Gruyter, 2007, pp. 149–55, doi:10.1515/BFUP.2007.149.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4233
de Vladar, Harold. 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, Consejo de Desarrollo Cientifico y Tecnologico, 2007, pp. 91–109.
View
2007 | Published | Conference Paper | IST-REx-ID: 3884
Chatterjee, Krishnendu, et al. Strategy Logic. Vol. 4703, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 59–73, doi:10.1007/978-3-540-74407-8_5.
View
| Files available
| DOI
2006 | Published | Journal Article | IST-REx-ID: 13428
Kalsin, Alexander M., et al. “Ionic-like Behavior of Oppositely Charged Nanoparticles.” Journal of the American Chemical Society, vol. 128, no. 47, American Chemical Society, 2006, pp. 15046–47, doi:10.1021/ja0642966.
View
| DOI
| PubMed | Europe PMC
2006 | Published | Journal Article | IST-REx-ID: 13429
Bishop, Kyle J. M., et al. “The Core and Most Useful Molecules in Organic Chemistry.” Angewandte Chemie International Edition, vol. 45, no. 32, Wiley, 2006, pp. 5348–54, doi:10.1002/anie.200600881.
View
| DOI
| PubMed | Europe PMC
2006 | Published | Journal Article | IST-REx-ID: 13430
Fialkowski, Marcin, et al. “Principles and Implementations of Dissipative (Dynamic) Self-Assembly.” The Journal of Physical Chemistry B, vol. 110, no. 6, American Chemical Society, 2006, pp. 2482–96, doi:10.1021/jp054153q.
View
| DOI
| PubMed | Europe PMC
2006 | Published | Journal Article | IST-REx-ID: 1461 |
Hausel, Tamás, and Edward Swartz. “Intersection Forms of Toric Hyperkähler Varieties.” Proceedings of the American Mathematical Society, vol. 134, no. 8, American Mathematical Society, 2006, pp. 2403–09, doi:10.1090/S0002-9939-06-08248-7.
View
| DOI
| Download (ext.)
2006 | Published | Journal Article | IST-REx-ID: 1462 |
Hausel, Tamás. “Betti Numbers of Holomorphic Symplectic Quotients via Arithmetic Fourier Transform.” PNAS, vol. 103, no. 16, National Academy of Sciences, 2006, pp. 6120–24, doi:10.1073/pnas.0601337103.
View
| DOI
| Download (ext.)
2006 | Published | Journal Article | IST-REx-ID: 11117
D’Angelo, M. A., and Martin Hetzer. “The Role of the Nuclear Envelope in Cellular Organization.” Cellular and Molecular Life Sciences, vol. 63, no. 3, Springer Nature, 2006, pp. 316–32, doi:10.1007/s00018-005-5361-3.
View
| DOI
| PubMed | Europe PMC