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. doi:10.48550/arXiv.0704.1217
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2007 | Published | Book Chapter | IST-REx-ID: 6323 |
Browning TD. An overview of Manin’s conjecture for del Pezzo surfaces. In: A Tribute to Gauss and Dirichlet. Vol 7. Analytic Number Theory. American Mathematical Society; 2007: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. 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. Springer; 2007:74-88. doi:10.1007/978-3-540-69738-1_5
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4402
Alur R, Cerny P, Chaudhuri S. Model checking on trees with path equivalences. In: 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 4424. Springer; 2007:664-678. doi:10.1007/978-3-540-71209-1_51
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4398
Berdine J, Calcagno C, Cook B, et al. Shape analysis for composite data structures. In: 19th International Conference on Computer Aided Verification. Vol 4590. Springer; 2007:178-192. doi:10.1007/978-3-540-73368-3_22
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4368
Nickovic D, Maler O. AMT: A property-based monitoring tool for analog systems. In: 5th International Conference on Formal Modeling and Analysis of Timed Systems. Vol 4763. Springer; 2007:304-319. doi:10.1007/978-3-540-75454-1_22
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4370
Maler O, Nickovic D, Pnueli A. On synthesizing controllers from bounded-response properties. In: 19th International Conference on Computer Aided Verification. Vol 4590. Springer; 2007:95-107. doi:10.1007/978-3-540-73368-3_12
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4344
Danowski P, Heller L. Bibliothek 2.0? Wird alles anders? Bibliothek - Forschung und Praxis. 2007;31(2):130-136. doi:10.1515/BFUP.2007.130
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4343
Danowski P, Pfeifer B. Wikipedia und Normdateien: Wege der Vernetzung am Beispiel der Kooperation mit der Personennamendatei. Bibliothek - Forschung und Praxis. 2007;31(2):149-155. doi:10.1515/BFUP.2007.149
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4233
de Vladar H. Alternativas prebióticas para la síntesis de amino- ácidos y otras moléculas relacionadas. In: Falcón N, Loyo De Sardi Y, eds. Consejo de Desarrollo Cientifico y Tecnologico; 2007:91-109.
View
2007 | Published | Conference Paper | IST-REx-ID: 3884
Chatterjee K, Henzinger TA, Piterman N. Strategy logic. In: Vol 4703. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2007:59-73. doi:10.1007/978-3-540-74407-8_5
View
| Files available
| DOI
2006 | Published | Journal Article | IST-REx-ID: 13428
Kalsin AM, Kowalczyk B, Smoukov SK, Klajn R, Grzybowski BA. Ionic-like behavior of oppositely charged nanoparticles. Journal of the American Chemical Society. 2006;128(47):15046-15047. doi:10.1021/ja0642966
View
| DOI
| PubMed | Europe PMC
2006 | Published | Journal Article | IST-REx-ID: 13429
Bishop KJM, Klajn R, Grzybowski BA. The core and most useful molecules in organic chemistry. Angewandte Chemie International Edition. 2006;45(32):5348-5354. doi:10.1002/anie.200600881
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. Principles and implementations of dissipative (dynamic) self-assembly. The Journal of Physical Chemistry B. 2006;110(6):2482-2496. doi:10.1021/jp054153q
View
| DOI
| PubMed | Europe PMC
2006 | Published | Journal Article | IST-REx-ID: 1461 |
Hausel T, Swartz E. Intersection forms of toric hyperkähler varieties. Proceedings of the American Mathematical Society. 2006;134(8):2403-2409. doi:10.1090/S0002-9939-06-08248-7
View
| DOI
| Download (ext.)
2006 | Published | Journal Article | IST-REx-ID: 1462 |
Hausel T. Betti numbers of holomorphic symplectic quotients via arithmetic Fourier transform. PNAS. 2006;103(16):6120-6124. doi:10.1073/pnas.0601337103
View
| DOI
| Download (ext.)
2006 | Published | Journal Article | IST-REx-ID: 11117
D’Angelo MA, Hetzer M. The role of the nuclear envelope in cellular organization. Cellular and Molecular Life Sciences. 2006;63(3):316-332. doi:10.1007/s00018-005-5361-3
View
| DOI
| PubMed | Europe PMC
2006 | Published | Journal Article | IST-REx-ID: 11118
D’Angelo MA, Anderson DJ, Richard E, Hetzer M. Nuclear pores form de novo from both sides of the nuclear envelope. Science. 2006;312(5772):440-443. doi:10.1126/science.1124196
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. Finding near-duplicate web pages: A large-scale evaluation of algorithms. In: 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery; 2006:284-291. doi:10.1145/1148170.1148222
View
| DOI