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.
169 Publications
2005 |
Published |
Journal Article |
IST-REx-ID: 11120
Pushing the envelope: Structure, function, and dynamics of the nuclear periphery
M. Hetzer, T.C. Walther, I.W. Mattaj, Annual Review of Cell and Developmental Biology 21 (2005) 347–380.
View
| DOI
| PubMed | Europe PMC
M. Hetzer, T.C. Walther, I.W. Mattaj, Annual Review of Cell and Developmental Biology 21 (2005) 347–380.
2005 |
Published |
Conference Paper |
IST-REx-ID: 11698
Hyperlink analysis on the world wide web
M. Henzinger, in:, Proceedings of the 16th ACM Conference on Hypertext and Hypermedia, Association for Computing Machinery, 2005, pp. 1–3.
View
| DOI
M. Henzinger, in:, Proceedings of the 16th ACM Conference on Hypertext and Hypermedia, Association for Computing Machinery, 2005, pp. 1–3.
2005 |
Published |
Journal Article |
IST-REx-ID: 11763 |
An online throughput-competitive algorithm for multicast routing and admission control
A. Goel, M. Henzinger, S. Plotkin, Journal of Algorithms 55 (2005) 1–20.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
A. Goel, M. Henzinger, S. Plotkin, Journal of Algorithms 55 (2005) 1–20.
2005 |
Published |
Journal Article |
IST-REx-ID: 11904
Query-free news search
M. Henzinger, B.-W. Chang, B. Milch, S. Brin, World Wide Web 8 (2005) 101–126.
View
| Files available
| DOI
M. Henzinger, B.-W. Chang, B. Milch, S. Brin, World Wide Web 8 (2005) 101–126.
2005 |
Published |
Book |
IST-REx-ID: 2335 |
The Mathematics of the Bose gas and its Condensation
É. Lieb, R. Seiringer, J. Solovej, J. Yngvason, The Mathematics of the Bose Gas and Its Condensation, Birkhäuser Verlag, Basel ; Berlin, 2005.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
É. Lieb, R. Seiringer, J. Solovej, J. Yngvason, The Mathematics of the Bose Gas and Its Condensation, Birkhäuser Verlag, Basel ; Berlin, 2005.
2005 |
Published |
Journal Article |
IST-REx-ID: 3000
Cell polarity, auxin transport and cytoskeleton mediated division planes: Who comes first?
P. Dhonukshe, J. Kleine Vehn, J. Friml, Protoplasma 226 (2005) 67–73.
View
| DOI
P. Dhonukshe, J. Kleine Vehn, J. Friml, Protoplasma 226 (2005) 67–73.
2005 |
Published |
Journal Article |
IST-REx-ID: 12657 |
An enhanced temperature-index glacier melt model including the shortwave radiation balance: Development and testing for Haut Glacier d’Arolla, Switzerland
F. Pellicciotti, B. Brock, U. Strasser, P. Burlando, M. Funk, J. Corripio, Journal of Glaciology 51 (2005) 573–587.
[Published Version]
View
| DOI
| Download Published Version (ext.)
F. Pellicciotti, B. Brock, U. Strasser, P. Burlando, M. Funk, J. Corripio, Journal of Glaciology 51 (2005) 573–587.
2005 |
Published |
Book |
IST-REx-ID: 210
Analytic Methods for Diophantine Equations and Diophantine Inequalities
H. Davenport, T.D. Browning, Analytic Methods for Diophantine Equations and Diophantine Inequalities, Cambridge University Press, 2005.
View
| DOI
H. Davenport, T.D. Browning, Analytic Methods for Diophantine Equations and Diophantine Inequalities, Cambridge University Press, 2005.
2005 |
Published |
Journal Article |
IST-REx-ID: 13431
Cutting into solids with micropatterned gels
S.K. Smoukov, K.J.M. Bishop, R. Klajn, C.J. Campbell, B.A. Grzybowski, Advanced Materials 17 (2005) 1361–1365.
View
| DOI
| PubMed | Europe PMC
S.K. Smoukov, K.J.M. Bishop, R. Klajn, C.J. Campbell, B.A. Grzybowski, Advanced Materials 17 (2005) 1361–1365.
2005 |
Published |
Journal Article |
IST-REx-ID: 13432
One-step multilevel microfabrication by reaction−diffusion
C.J. Campbell, R. Klajn, M. Fialkowski, B.A. Grzybowski, Langmuir 21 (2005) 418–423.
View
| DOI
| PubMed | Europe PMC
C.J. Campbell, R. Klajn, M. Fialkowski, B.A. Grzybowski, Langmuir 21 (2005) 418–423.
2005 |
Published |
Journal Article |
IST-REx-ID: 13433
Applications, properties and synthesis of w-functionalized n-alkanethiols and disulfides - the building blocks of self-assembled monolayers
D. Witt, R. Klajn, P. Barski, B. Grzybowski, Current Organic Chemistry 8 (2005) 1763–1797.
View
| DOI
D. Witt, R. Klajn, P. Barski, B. Grzybowski, Current Organic Chemistry 8 (2005) 1763–1797.
2005 |
Published |
Journal Article |
IST-REx-ID: 18727
Gravitational lensing magnification without multiple imaging
C.R. Keeton, M. Kuhlen, Z. Haiman, The Astrophysical Journal 621 (2005) 559–573.
View
| DOI
C.R. Keeton, M. Kuhlen, Z. Haiman, The Astrophysical Journal 621 (2005) 559–573.
2005 |
Published |
Conference Paper |
IST-REx-ID: 18728 |
The growth of the earliest supermassive black holes and their contribution to reionization
Z. Haiman, M. Dijkstra, A. Mesinger, in:, Proceedings of the MPA/ESO/MPE/USM Joint Astronomy Conference, Springer Nature, 2005, pp. 30–41.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Z. Haiman, M. Dijkstra, A. Mesinger, in:, Proceedings of the MPA/ESO/MPE/USM Joint Astronomy Conference, Springer Nature, 2005, pp. 30–41.
2005 |
Published |
Journal Article |
IST-REx-ID: 18738 |
Gravitational lensing magnification without multiple imaging
C.R. Keeton, M. Kuhlen, Z. Haiman, The Astrophysical Journal 621 (2005) 559–573.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
C.R. Keeton, M. Kuhlen, Z. Haiman, The Astrophysical Journal 621 (2005) 559–573.
2005 |
Published |
Conference Paper |
IST-REx-ID: 4367
Boolean Heaps
A. Podelski, T. Wies, in:, 12th International Symposium on Static Analysis, Springer, 2005, pp. 268–283.
View
| DOI
A. Podelski, T. Wies, in:, 12th International Symposium on Static Analysis, Springer, 2005, pp. 268–283.
2005 |
Published |
Conference Paper |
IST-REx-ID: 4404
Synthesis of interface specifications for Java classes
R. Alur, P. Cerny, P. Madhusudan, W. Nam, in:, Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, 2005, pp. 98–109.
View
| DOI
R. Alur, P. Cerny, P. Madhusudan, W. Nam, in:, Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, 2005, pp. 98–109.
2005 |
Published |
Conference Paper |
IST-REx-ID: 4412
Trading end-to-end latency for composability
S. Matic, T.A. Henzinger, in:, IEEE, 2005, pp. 99–110.
View
| DOI
S. Matic, T.A. Henzinger, in:, IEEE, 2005, pp. 99–110.
2005 |
Published |
Conference Paper |
IST-REx-ID: 4418
A programmable microkernel for real-time systems
C. Kirsch, M. Sanvido, T.A. Henzinger, in:, ACM, 2005, pp. 35–45.
View
| DOI
C. Kirsch, M. Sanvido, T.A. Henzinger, in:, ACM, 2005, pp. 35–45.
2005 |
Published |
Journal Article |
IST-REx-ID: 4454
A classification of symbolic transition systems
T.A. Henzinger, R. Majumdar, J. Raskin, ACM Transactions on Computational Logic (TOCL) 6 (2005) 1–32.
View
| DOI
T.A. Henzinger, R. Majumdar, J. Raskin, ACM Transactions on Computational Logic (TOCL) 6 (2005) 1–32.
2005 |
Published |
Conference Paper |
IST-REx-ID: 4455
Quantifying similarities between timed systems
T.A. Henzinger, R. Majumdar, V. Prabhu, in:, Springer, 2005, pp. 226–241.
View
| DOI
T.A. Henzinger, R. Majumdar, V. Prabhu, in:, Springer, 2005, pp. 226–241.