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.
11081 Publications
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
2007 | Published | Conference Paper | IST-REx-ID: 3884
Chatterjee K, Henzinger TA, Piterman N. 2007. Strategy logic. CONCUR: Concurrency Theory, LNCS, vol. 4703, 59–73.
View
| Files available
| DOI
2006 | Published | Journal Article | IST-REx-ID: 13428
Kalsin AM, Kowalczyk B, Smoukov SK, Klajn R, Grzybowski BA. 2006. Ionic-like behavior of oppositely charged nanoparticles. Journal of the American Chemical Society. 128(47), 15046–15047.
View
| DOI
| PubMed | Europe PMC
2006 | Published | Journal Article | IST-REx-ID: 13429
Bishop KJM, Klajn R, Grzybowski BA. 2006. The core and most useful molecules in organic chemistry. Angewandte Chemie International Edition. 45(32), 5348–5354.
View
| DOI
| PubMed | Europe PMC
2006 | Published | Journal Article | IST-REx-ID: 13430
Fialkowski M, Bishop KJM, Klajn R, Smoukov SK, Campbell CJ, Grzybowski BA. 2006. Principles and implementations of dissipative (dynamic) self-assembly. The Journal of Physical Chemistry B. 110(6), 2482–2496.
View
| DOI
| PubMed | Europe PMC
2006 | Published | Journal Article | IST-REx-ID: 1461 |
Hausel T, Swartz E. 2006. Intersection forms of toric hyperkähler varieties. Proceedings of the American Mathematical Society. 134(8), 2403–2409.
View
| DOI
| Download (ext.)
2006 | Published | Journal Article | IST-REx-ID: 1462 |
Hausel T. 2006. Betti numbers of holomorphic symplectic quotients via arithmetic Fourier transform. PNAS. 103(16), 6120–6124.
View
| DOI
| Download (ext.)
2006 | Published | Journal Article | IST-REx-ID: 11117
D’Angelo MA, Hetzer M. 2006. The role of the nuclear envelope in cellular organization. Cellular and Molecular Life Sciences. 63(3), 316–332.
View
| DOI
| PubMed | Europe PMC
2006 | Published | Journal Article | IST-REx-ID: 11118
D’Angelo MA, Anderson DJ, Richard E, Hetzer M. 2006. Nuclear pores form de novo from both sides of the nuclear envelope. Science. 312(5772), 440–443.
View
| DOI
| PubMed | Europe PMC
2006 | Published | Book Chapter | IST-REx-ID: 11119
Harris JR, Almouzni G, Kirschner D, Dimitrova D, Nickerson JA, Underwood J, Wagner S, Korbei B, Foisner R, Walther TC, Hetzer M, Peters R, Walev I, de Kroon AIPM, Staffhorst RWHM, de Kruijff B, Burger KNJ, Netto LES, Bertrand E, Alimonti JB, Greenberg AH, Xiao J, Pradhan A, Liu Y, Paiement J, Young R, Goñi FM, Villar A-V, Contreras F-X, Alonso A, Peter BJ, Mills IG, Higgins MK, Brown WJ, Chambers K, Doody A, Cheng CY, Mruk DD, Yang C, Kirchhoff H, Haase W, Boggasch S, Paulsen H, Benesova J, Liffers S-T, Rögner M, Gao Y, Sztul E, Thiemann M, Fahimi HD, Gniadecki R, Gajkowska B, Bane SL, Hess JF, Voss JC, Fitzgerald PG, Hisanaga S, Sasaki T, Uéda K, Town T, Tan J, Milton NGN, Chi R, Keller TCS, Kriajevska M, Bronstein I, Lukanidin E, Holmes DF, Kadler KE. 2006.In Vitro Techniques. In: Cell Biology Protocols. , 201–378.
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 11929
Henzinger M. 2006. Finding near-duplicate web pages: A large-scale evaluation of algorithms. 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval. SIGIR: International Conference on Research and Development in Information Retrieval, 284–291.
View
| DOI