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.
10717 Publications
2007 | Published | Journal Article | IST-REx-ID: 904
Extensive parallelism in protein evolution
G. Bazykin, F. Kondrashov, M. Brudno, A. Poliakov, I. Dubchak, A. Kondrashov, Biology Direct 2 (2007).
View
| DOI
G. Bazykin, F. Kondrashov, M. Brudno, A. Poliakov, I. Dubchak, A. Kondrashov, Biology Direct 2 (2007).
2007 | Published | Journal Article | IST-REx-ID: 9149 | 
Instability and focusing of internal tides in the deep ocean
O. Bühler, C.J. Muller, Journal of Fluid Mechanics 588 (2007) 1–28.
View
| DOI
| Download None (ext.)
O. Bühler, C.J. Muller, Journal of Fluid Mechanics 588 (2007) 1–28.
2007 | Submitted | Preprint | IST-REx-ID: 6321 |
The Manin conjecture in dimension 2
T.D. Browning, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.D. Browning, ArXiv (n.d.).
2007 | Published | Book Chapter | IST-REx-ID: 6323 |
An overview of Manin's conjecture for del Pezzo surfaces
T.D. Browning, in:, A Tribute to Gauss and Dirichlet, American Mathematical Society, 2007, pp. 39–56.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
T.D. Browning, in:, A Tribute to Gauss and Dirichlet, American Mathematical Society, 2007, pp. 39–56.
2007 | Published | Conference Paper | IST-REx-ID: 4394
Using first-order theorem provers in the Jahob data structure verification system
C. Bouillaguet, V. Kuncak, T. Wies, K. Zee, M. Rinard, in:, 8th International Conference on Verification, Model Checking, and Abstract Interpretation, Springer, 2007, pp. 74–88.
View
| DOI
C. Bouillaguet, V. Kuncak, T. Wies, K. Zee, M. Rinard, in:, 8th International Conference on Verification, Model Checking, and Abstract Interpretation, Springer, 2007, pp. 74–88.
2007 | Published | Conference Paper | IST-REx-ID: 4402
Model checking on trees with path equivalences
R. Alur, P. Cerny, S. Chaudhuri, in:, 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2007, pp. 664–678.
View
| DOI
R. Alur, P. Cerny, S. Chaudhuri, in:, 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2007, pp. 664–678.
2007 | Published | Conference Paper | IST-REx-ID: 4398
Shape analysis for composite data structures
J. Berdine, C. Calcagno, B. Cook, D. Distefano, P. O’Hearn, T. Wies, H. Yang, in:, 19th International Conference on Computer Aided Verification, Springer, 2007, pp. 178–192.
View
| DOI
J. Berdine, C. Calcagno, B. Cook, D. Distefano, P. O’Hearn, T. Wies, H. Yang, in:, 19th International Conference on Computer Aided Verification, Springer, 2007, pp. 178–192.
2007 | Published | Conference Paper | IST-REx-ID: 4368
AMT: A property-based monitoring tool for analog systems
D. Nickovic, O. Maler, in:, 5th International Conference on Formal Modeling and Analysis of Timed Systems, Springer, 2007, pp. 304–319.
View
| DOI
D. Nickovic, O. Maler, in:, 5th International Conference on Formal Modeling and Analysis of Timed Systems, Springer, 2007, pp. 304–319.
2007 | Published | Conference Paper | IST-REx-ID: 4370
On synthesizing controllers from bounded-response properties
O. Maler, D. Nickovic, A. Pnueli, in:, 19th International Conference on Computer Aided Verification, Springer, 2007, pp. 95–107.
View
| DOI
O. Maler, D. Nickovic, A. Pnueli, in:, 19th International Conference on Computer Aided Verification, Springer, 2007, pp. 95–107.
2007 | Published | Journal Article | IST-REx-ID: 4344
Bibliothek 2.0? Wird alles anders?
P. Danowski, L. Heller, Bibliothek - Forschung Und Praxis 31 (2007) 130–136.
View
| DOI
P. Danowski, L. Heller, Bibliothek - Forschung Und Praxis 31 (2007) 130–136.
2007 | Published | Journal Article | IST-REx-ID: 4343
Wikipedia und Normdateien: Wege der Vernetzung am Beispiel der Kooperation mit der Personennamendatei
P. Danowski, B. Pfeifer, Bibliothek - Forschung Und Praxis 31 (2007) 149–155.
View
| DOI
P. Danowski, B. Pfeifer, Bibliothek - Forschung Und Praxis 31 (2007) 149–155.
2007 | Published | Conference Paper | IST-REx-ID: 4233
Alternativas prebióticas para la síntesis de amino- ácidos y otras moléculas relacionadas
H. de Vladar, in:, N. Falcón, Y. Loyo De Sardi (Eds.), Consejo de Desarrollo Cientifico y Tecnologico, 2007, pp. 91–109.
View
H. de Vladar, in:, N. Falcón, Y. Loyo De Sardi (Eds.), Consejo de Desarrollo Cientifico y Tecnologico, 2007, pp. 91–109.
2006 | Published | Journal Article | IST-REx-ID: 13428
Ionic-like behavior of oppositely charged nanoparticles
A.M. Kalsin, B. Kowalczyk, S.K. Smoukov, R. Klajn, B.A. Grzybowski, Journal of the American Chemical Society 128 (2006) 15046–15047.
View
| DOI
| PubMed | Europe PMC
A.M. Kalsin, B. Kowalczyk, S.K. Smoukov, R. Klajn, B.A. Grzybowski, Journal of the American Chemical Society 128 (2006) 15046–15047.
2006 | Published | Journal Article | IST-REx-ID: 13429
The core and most useful molecules in organic chemistry
K.J.M. Bishop, R. Klajn, B.A. Grzybowski, Angewandte Chemie International Edition 45 (2006) 5348–5354.
View
| DOI
| PubMed | Europe PMC
K.J.M. Bishop, R. Klajn, B.A. Grzybowski, Angewandte Chemie International Edition 45 (2006) 5348–5354.
2006 | Published | Journal Article | IST-REx-ID: 13430
Principles and implementations of dissipative (dynamic) self-assembly
M. Fialkowski, K.J.M. Bishop, R. Klajn, S.K. Smoukov, C.J. Campbell, B.A. Grzybowski, The Journal of Physical Chemistry B 110 (2006) 2482–2496.
View
| DOI
| PubMed | Europe PMC
M. Fialkowski, K.J.M. Bishop, R. Klajn, S.K. Smoukov, C.J. Campbell, B.A. Grzybowski, The Journal of Physical Chemistry B 110 (2006) 2482–2496.
2006 | Published | Journal Article | IST-REx-ID: 1461 |
Intersection forms of toric hyperkähler varieties
T. Hausel, E. Swartz, Proceedings of the American Mathematical Society 134 (2006) 2403–2409.
View
| DOI
| Download (ext.)
T. Hausel, E. Swartz, Proceedings of the American Mathematical Society 134 (2006) 2403–2409.
2006 | Published | Journal Article | IST-REx-ID: 1462 |
Betti numbers of holomorphic symplectic quotients via arithmetic Fourier transform
T. Hausel, PNAS 103 (2006) 6120–6124.
View
| DOI
| Download (ext.)
T. Hausel, PNAS 103 (2006) 6120–6124.
2006 | Published | Journal Article | IST-REx-ID: 11117
The role of the nuclear envelope in cellular organization
M.A. D’Angelo, M. Hetzer, Cellular and Molecular Life Sciences 63 (2006) 316–332.
View
| DOI
| PubMed | Europe PMC
M.A. D’Angelo, M. Hetzer, Cellular and Molecular Life Sciences 63 (2006) 316–332.
2006 | Published | Journal Article | IST-REx-ID: 11118
Nuclear pores form de novo from both sides of the nuclear envelope
M.A. D’Angelo, D.J. Anderson, E. Richard, M. Hetzer, Science 312 (2006) 440–443.
View
| DOI
| PubMed | Europe PMC
M.A. D’Angelo, D.J. Anderson, E. Richard, M. Hetzer, Science 312 (2006) 440–443.
2006 | Published | Book Chapter | IST-REx-ID: 11119
In Vitro Techniques
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
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.