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.

6978 Publications


2002 |Published| Journal Article | IST-REx-ID: 2618
Nunzi, M., Shigemoto, R., & Mugnaini, E. (2002). Differential expression of calretinin and metabotropic glutamate receptor mGluR1α defines subsets of unipolar brush cells in mouse cerebellum. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.10344
View | DOI | PubMed | Europe PMC
 

2002 |Published| Conference Paper | IST-REx-ID: 2421
Ambühl, C., & Wagner, U. (2002). On the Clique problem in intersection graphs of ellipses. In Proceedings of the 13th International Symposium on Algorithms and Computation (Vol. 2518, pp. 489–500). Vancouver, Canada: Springer. https://doi.org/10.1007/3-540-36136-7_43
View | DOI
 

2002 |Published| Journal Article | IST-REx-ID: 2353 | OA
Lieb, É., Seiringer, R., & Yngvason, J. (2002). Superfluidity in dilute trapped Bose gases. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.66.134529
View | DOI | Download None (ext.) | arXiv
 

2002 |Published| Journal Article | IST-REx-ID: 2420
Wagner, U. (2002). On the number of corner cuts. Advances in Applied Mathematics. ACM. https://doi.org/10.1016/S0196-8858(02)00014-3
View | DOI
 

2002 |Published| Book Chapter | IST-REx-ID: 2338 | OA
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| 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| Journal Article | IST-REx-ID: 2350 | OA
Hainzl, C., & Seiringer, R. (2002). Mass renormalization and energy level shift in non-relativistic QED. Advances in Theoretical and Mathematical Physics. International Press. https://doi.org/10.4310/ATMP.2002.v6.n5.a3
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2002 |Published| Journal Article | IST-REx-ID: 885 | OA
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: 1451 | OA
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: 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: 871 | OA
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: 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: 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| Journal Article | IST-REx-ID: 13438 | OA
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
 

2001 | Patent | IST-REx-ID: 3507 | OA
Liang, J., & Edelsbrunner, H. (2001). Molecular classification for property prediction.
[Published Version] View | Download Published Version (ext.)
 

2001 |Published| Book | IST-REx-ID: 3586
Edelsbrunner, H. (2001). Geometry and Topology for Mesh Generation (Vol. 7). Cambridge University Press. https://doi.org/10.1017/CBO9780511530067
View | Files available | DOI
 

2001 |Published| Conference Paper | IST-REx-ID: 3447
Chatterjee, K., Dasgupta, P., & Chakrabarti, P. (2001). Weighted quantified computation tree logic. Presented at the CIT: Conference on Information Technology, Elsevier.
View
 

2001 |Published| Conference Paper | IST-REx-ID: 4634
De Alfaro, L., Henzinger, T. A., & Mang, F. (2001). The control of synchronous systems, Part II. In Proceedings of the 12th International Conference on on Concurrency Theory (Vol. 2154, pp. 566–581). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_38
View | DOI
 

2001 |Published| Conference Paper | IST-REx-ID: 4633
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2001). Symbolic algorithms for infinite-state games. In Proceedings of the 12th International Conference on on Concurrency Theory (Vol. 2154, pp. 536–550). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_36
View | DOI
 

2001 |Published| Conference Paper | IST-REx-ID: 4636
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2001). From verification to control: dynamic programs for omega-regular objectives. In Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science (pp. 279–290). Boston, MA, USA: IEEE. https://doi.org/10.1109/LICS.2001.932504
View | DOI
 

Filters and Search Terms

supervisor%3D3E04A7AA-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications