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, Maria, Ryuichi Shigemoto, and Enrico Mugnaini. “Differential Expression of Calretinin and Metabotropic Glutamate Receptor MGluR1α Defines Subsets of Unipolar Brush Cells in Mouse Cerebellum.” Journal of Comparative Neurology. Wiley-Blackwell, 2002. https://doi.org/10.1002/cne.10344.
View
| DOI
| PubMed | Europe PMC
2002 |Published| Conference Paper | IST-REx-ID: 2421
Ambühl, Christoph, and Uli Wagner. “On the Clique Problem in Intersection Graphs of Ellipses.” In Proceedings of the 13th International Symposium on Algorithms and Computation, 2518:489–500. Springer, 2002. https://doi.org/10.1007/3-540-36136-7_43.
View
| DOI
2002 |Published| Journal Article | IST-REx-ID: 2353 | 
Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “Superfluidity in Dilute Trapped Bose Gases.” Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2002. https://doi.org/10.1103/PhysRevB.66.134529.
View
| DOI
| Download None (ext.)
| arXiv
2002 |Published| Journal Article | IST-REx-ID: 2420
Wagner, Uli. “On the Number of Corner Cuts.” Advances in Applied Mathematics. ACM, 2002. https://doi.org/10.1016/S0196-8858(02)00014-3.
View
| DOI
2002 |Published| Book Chapter | IST-REx-ID: 2338 |
Lieb, Élliott, Jan Solovej, Robert Seiringer, and Jakob Yngvason. “The Ground State of the Bose Gas.” In Current Developments in Mathematics, 2001, 131–78. International Press, 2002. 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, Georgios, Thomas Stergiopoulos, Iannis Arabatzis, Kyriaki Papadokostaki, and Polycarpos Falaras. “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, 2002. https://doi.org/10.1016/S1010-6030(02)00027-8.
View
| DOI
2002 |Published| Journal Article | IST-REx-ID: 2350 |
Hainzl, Christian, and Robert Seiringer. “Mass Renormalization and Energy Level Shift in Non-Relativistic QED.” Advances in Theoretical and Mathematical Physics. International Press, 2002. 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 |
Kondrashov, Alexey, Shamil Sunyaev, and Fyodor Kondrashov. “Dobzhansky-Muller Incompatibilities in Protein Evolution.” PNAS. National Academy of Sciences, 2002. 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 |
Hausel, Tamás, and Bernd Sturmfels. “Toric Hyperkähler Varieties.” Documenta Mathematica. Deutsche Mathematiker Vereinigung, 2002. 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, Cristian, Sergei Mekhedov, Daniel Hartl, Eugene Koonin, and Fyodor Kondrashov. “Selection for Short Introns in Highly Expressed Genes.” Nature Genetics. Nature Publishing Group, 2002. https://doi.org/10.1038/ng940.
View
| DOI
| PubMed | Europe PMC
2002 |Published| Journal Article | IST-REx-ID: 871 |
Kondrashov, Fyodor, Igor Rogozin, Yuri Wolf, and Eugene Koonin. “Selection in the Evolution of Gene Duplications .” Genome Biology. BioMed Central, 2002. 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, Andrey, Fyodor Kondrashov, Igor Rogozin, and Margo Brinton. “Evolution of the Mouse Polyubiquitin C Gene.” Journal of Molecular Evolution. Springer, 2002. https://doi.org/10.1007/s00239-002-2318-0.
View
| DOI
| PubMed | Europe PMC
2002 |Published| Journal Article | IST-REx-ID: 204
Browning, Timothy D. “Equal Sums of Two Kth Powers.” Journal of Number Theory. Academic Press, 2002. https://doi.org/10.1006/jnth.2002.2800.
[Published Version]
View
| DOI
2002 |Published| Journal Article | IST-REx-ID: 13438 |
Fürst, Johannes, Markus Ritter, Jakob Rudzki, Johann G Danzl, Martin Gschwentner, Elke Scandella, Martin Jakab, et al. “ICln Ion Channel Splice Variants in Caenorhabditis Elegans.” Journal of Biological Chemistry. Elsevier, 2002. https://doi.org/10.1074/jbc.m107372200.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2001 | Patent | IST-REx-ID: 3507 |
Liang, Jie, and Herbert Edelsbrunner. “Molecular Classification for Property Prediction,” 2001.
[Published Version]
View
| Download Published Version (ext.)
2001 |Published| Book | IST-REx-ID: 3586
Edelsbrunner, Herbert. Geometry and Topology for Mesh Generation. Vol. 7. Cambridge Monographs on Applied and Computational Mathematics. Cambridge University Press, 2001. https://doi.org/10.1017/CBO9780511530067.
View
| Files available
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 3447
Chatterjee, Krishnendu, Pallab Dasgupta, and Partha Chakrabarti. “Weighted Quantified Computation Tree Logic.” Elsevier, 2001.
View
2001 |Published| Conference Paper | IST-REx-ID: 4634
De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “The Control of Synchronous Systems, Part II.” In Proceedings of the 12th International Conference on on Concurrency Theory, 2154:566–81. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001. https://doi.org/10.1007/3-540-44685-0_38.
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4633
De Alfaro, Luca, Thomas A Henzinger, and Ritankar Majumdar. “Symbolic Algorithms for Infinite-State Games.” In Proceedings of the 12th International Conference on on Concurrency Theory, 2154:536–50. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001. https://doi.org/10.1007/3-540-44685-0_36.
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4636
De Alfaro, Luca, Thomas A Henzinger, and Ritankar Majumdar. “From Verification to Control: Dynamic Programs for Omega-Regular Objectives.” In Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 279–90. IEEE, 2001. https://doi.org/10.1109/LICS.2001.932504.
View
| DOI