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.
106 Publications
2002 | Published | Journal Article | IST-REx-ID: 4595
Alur, R., Henzinger, T. A., & Kupferman, O. (2002). Alternating-time temporal logic. Journal of the ACM. ACM. https://doi.org/10.1145/585265.585270
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4631
De Alfaro, L., Henzinger, T. A., & Stoelinga, M. (2002). Timed interfaces. In Proceedings of the 2nd International Conference on Embedded Software (Vol. 2491, pp. 108–122). Grenoble, France: ACM. https://doi.org/10.1007/3-540-45828-X_9
View
| DOI
2002 | Published | Journal Article | IST-REx-ID: 859
Perelygin, A., Kondrashov, F., Rogozin, I., & Brinton, M. (2002). Evolution of the mouse polyubiquitin C gene. Journal of Molecular Evolution. Springer. https://doi.org/10.1007/s00239-002-2318-0
View
| DOI
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 871 | 
Kondrashov, F., Rogozin, I., Wolf, Y., & Koonin, E. (2002). Selection in the evolution of gene duplications . Genome Biology. BioMed Central. https://doi.org/10.1186/gb-2002-3-2-research0008
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 885 |
Kondrashov, A., Sunyaev, S., & Kondrashov, F. (2002). Dobzhansky-Muller incompatibilities in protein evolution. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.232565499
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 897
Castillo Davis, C., Mekhedov, S., Hartl, D., Koonin, E., & Kondrashov, F. (2002). Selection for short introns in highly expressed genes. Nature Genetics. Nature Publishing Group. https://doi.org/10.1038/ng940
View
| DOI
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 12659 |
Burlando, P., Pellicciotti, F., & Strasser, U. (2002). Modelling mountainous water systems between learning and speculating looking for challenges. Hydrology Research. IWA Publishing. https://doi.org/10.2166/nh.2002.0004
[Published Version]
View
| DOI
| Download Published Version (ext.)
2002 | Published | Journal Article | IST-REx-ID: 13438 |
Fürst, J., Ritter, M., Rudzki, J., Danzl, J. G., Gschwentner, M., Scandella, E., … Paulmichl, M. (2002). ICln Ion channel splice variants in Caenorhabditis elegans. Journal of Biological Chemistry. Elsevier. https://doi.org/10.1074/jbc.m107372200
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 11123
Hetzer, M., Gruss, O. J., & Mattaj, I. W. (2002). The Ran GTPase as a marker of chromosome position in spindle formation and nuclear envelope assembly. Nature Cell Biology. Springer Nature. https://doi.org/10.1038/ncb0702-e177
View
| DOI
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 11124 |
Bilbao-Cortés, D., Hetzer, M., Längst, G., Becker, P. B., & Mattaj, I. W. (2002). Ran binds to chromatin by two distinct mechanisms. Current Biology. Elsevier BV. https://doi.org/10.1016/s0960-9822(02)00927-2
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 6158
Coates, J. C., & de Bono, M. (2002). Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans. Nature. Springer Nature. https://doi.org/10.1038/nature01170
View
| DOI
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 6159
de Bono, M., Tobin, D. M., Davis, M. W., Avery, L., & Bargmann, C. I. (2002). Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli. Nature. Springer Nature. https://doi.org/10.1038/nature01169
View
| DOI
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 1451 |
Hausel, T., & Sturmfels, B. (2002). Toric hyperkähler varieties. Documenta Mathematica. Deutsche Mathematiker Vereinigung. https://doi.org/10.4171/DM/130
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2002 | Published | Journal Article | IST-REx-ID: 1737
Katsaros, G., Stergiopoulos, T., Arabatzis, I., Papadokostaki, K., & Falaras, P. (2002). A solvent-free composite polymer/inorganic oxide electrolyte for high efficiency solid-state dye-sensitized solar cells. Journal of Photochemistry and Photobiology A: Chemistry. Elsevier. https://doi.org/10.1016/S1010-6030(02)00027-8
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 1738
Falaras, P., Chryssou, K., Stergiopoulos, T., Arabatzis, I., Katsaros, G., Catalano, V., … Bernard, M. (2002). Dye-sensitization of titanium dioxide thin films by Ru(II)-bpp-bpy complexes (Vol. 4801, pp. 125–135). Presented at the Organic Photovoltaics, SPIE. https://doi.org/10.1117/12.452446
View
| DOI
2002 | Published | Journal Article | IST-REx-ID: 1739
Stergiopoulos, T., Arabatzis, I., Katsaros, G., & Falaras, P. (2002). Binary Polyethylene Oxide/Titania Solid-State Redox Electrolyte for Highly Efficient Nanocrystalline TiO2 Photoelectrochemical Cells. Nano Letters. American Chemical Society. https://doi.org/10.1021/nl025798u
View
| DOI
2002 | Published | Journal Article | IST-REx-ID: 204
Browning, T. D. (2002). Equal Sums of Two kth Powers. Journal of Number Theory. Academic Press. https://doi.org/10.1006/jnth.2002.2800
[Published Version]
View
| DOI
2002 | Published | Book Chapter | IST-REx-ID: 2338 |
Lieb, É., Solovej, J., Seiringer, R., & Yngvason, J. (2002). The ground state of the Bose gas. In Current Developments in Mathematics, 2001 (pp. 131–178). International Press. https://doi.org/10.48550/arXiv.math-ph/0204027
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2002 | Published | Conference Paper | IST-REx-ID: 2339
Seiringer, R. (2002). Symmetry breaking in a model of a rotating Bose gas. In R. Weder, P. Exner, & B. Grébert (Eds.) (Vol. 307, pp. 281–286). Presented at the QMath: Mathematical Results in Quantum Physics, World Scientific Publishing. https://doi.org/10.1090/conm/307
View
| DOI
2002 | Published | Journal Article | IST-REx-ID: 2349 |
Lieb, É., & Seiringer, R. (2002). Proof of Bose-Einstein condensation for dilute trapped gases. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.88.170409
View
| DOI
| Download (ext.)