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.
11069 Publications
2006 | Published | Journal Article | IST-REx-ID: 873
Role of selection in fixation of gene duplications
F. Kondrashov, A. Kondrashov, Journal of Theoretical Biology 239 (2006) 141–151.
View
| DOI
F. Kondrashov, A. Kondrashov, Journal of Theoretical Biology 239 (2006) 141–151.
2006 | Published | Journal Article | IST-REx-ID: 903
Signs of positive selection of somatic mutations in human cancers detected by EST sequence analysis
V. Babenko, M. Basu, F. Kondrashov, I. Rogozin, E. Koonin, BMC Cancer 6 (2006).
View
| DOI
V. Babenko, M. Basu, F. Kondrashov, I. Rogozin, E. Koonin, BMC Cancer 6 (2006).
2006 | Published | Conference Paper | IST-REx-ID: 4359
Field constraint analysis
T. Wies, V. Kuncak, P. Lam, A. Podelski, M. Rinard, in:, 7th International Conference on Verification, Model Checking, and Abstract Interpretation, Springer, 2006, pp. 157–173.
View
| DOI
T. Wies, V. Kuncak, P. Lam, A. Podelski, M. Rinard, in:, 7th International Conference on Verification, Model Checking, and Abstract Interpretation, Springer, 2006, pp. 157–173.
2006 | Published | Conference Paper | IST-REx-ID: 4401
Preserving secrecy under refinement
R. Alur, P. Cerny, S. Zdancewic, in:, 33rd International Colloquium on Automata, Languages and Programming, Springer, 2006, pp. 107–118.
View
| DOI
R. Alur, P. Cerny, S. Zdancewic, in:, 33rd International Colloquium on Automata, Languages and Programming, Springer, 2006, pp. 107–118.
2006 | Published | Conference Paper | IST-REx-ID: 4373
Real time temporal logic: Past, present, future
O. Maler, D. Nickovic, A. Pnueli, in:, Third International Conference on Formal Modeling and Analysis of Timed Systems, Springer, 2006, pp. 2–16.
View
| DOI
O. Maler, D. Nickovic, A. Pnueli, in:, Third International Conference on Formal Modeling and Analysis of Timed Systems, Springer, 2006, pp. 2–16.
2006 | Published | Conference Paper | IST-REx-ID: 4374
From MITL to timed automata
O. Maler, D. Nickovic, A. Pnueli, in:, 4th International Conference on Formal Modeling and Analysis of Timed Systems, Springer, 2006, pp. 274–289.
View
| DOI
O. Maler, D. Nickovic, A. Pnueli, in:, 4th International Conference on Formal Modeling and Analysis of Timed Systems, Springer, 2006, pp. 274–289.
2006 | Published | Journal Article | IST-REx-ID: 4235
Dynamic response of cancer under the influence of immunological activity and therapy
H. de Vladar, J. González, Journal of Theoretical Biology 240 (2006) 162–163.
View
| Files available
| DOI
H. de Vladar, J. González, Journal of Theoretical Biology 240 (2006) 162–163.
2006 | Published | Journal Article | IST-REx-ID: 4237
Density-dependence as a size-independent regulatory mechanism
H. de Vladar, Journal of Theoretical Biology 238 (2006) 245–256.
View
| DOI
| arXiv
H. de Vladar, Journal of Theoretical Biology 238 (2006) 245–256.
2006 | Published | Journal Article | IST-REx-ID: 4345
Bibliothek 2.0 - Die Bibliothek der Zukunft?
P. Danowski, L. Heller, Bibliotheksdienst 40 (2006) 1250–1271.
View
| DOI
P. Danowski, L. Heller, Bibliotheksdienst 40 (2006) 1250–1271.
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 | Book Chapter | IST-REx-ID: 1444 | 
Mirror symmetry and Langlands duality in the non-Abelian Hodge theory of a curve
T. Hausel, in:, Geometric Methods in Algebra and Number Theory, Springer, 2005, pp. 193–217.
View
| DOI
| Download (ext.)
T. Hausel, in:, Geometric Methods in Algebra and Number Theory, Springer, 2005, pp. 193–217.
2005 | Published | Journal Article | IST-REx-ID: 1447 |
Quaternionic geometry of matroids
T. Hausel, Open Mathematics 3 (2005) 26–38.
View
| DOI
| Download (ext.)
T. Hausel, Open Mathematics 3 (2005) 26–38.
2005 | Published | Journal Article | IST-REx-ID: 1463 |
Abelianization for hyperkähler quotients
T. Hausel, N. Proudfoot, Topology 44 (2005) 231–248.
View
| DOI
| Download (ext.)
T. Hausel, N. Proudfoot, Topology 44 (2005) 231–248.
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 | Journal Article | IST-REx-ID: 1740
Pyramids and domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) systems
G. Costantini, A. Rastelli, C. Manzano, P. Acosta Diaz, G. Katsaros, R. Songmuang, O. Schmidt, H. Von Känel, K. Kern, Journal of Crystal Growth 278 (2005) 38–45.
View
| DOI
G. Costantini, A. Rastelli, C. Manzano, P. Acosta Diaz, G. Katsaros, R. Songmuang, O. Schmidt, H. Von Känel, K. Kern, Journal of Crystal Growth 278 (2005) 38–45.