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.
11038 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.
2007 | Published | Conference Paper | IST-REx-ID: 3884
Strategy logic
K. Chatterjee, T.A. Henzinger, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 59–73.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 59–73.
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.