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: 1737
Katsaros, Georgios, et al. “A Solvent-Free Composite Polymer/Inorganic Oxide Electrolyte for High Efficiency Solid-State Dye-Sensitized Solar Cells.” Journal of Photochemistry and Photobiology A: Chemistry, vol. 149, no. 1–3, Elsevier, 2002, pp. 191–98, doi: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, vol. 6, no. 5, International Press, 2002, pp. 847–71, doi: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, et al. “Dobzhansky-Muller Incompatibilities in Protein Evolution.” PNAS, vol. 99, no. 23, National Academy of Sciences, 2002, pp. 14878–83, doi: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, vol. 7, no. 1, Deutsche Mathematiker Vereinigung, 2002, pp. 495–534, doi:10.4171/DM/130.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2002 |Published| Journal Article | IST-REx-ID: 897
Castillo Davis, Cristian, et al. “Selection for Short Introns in Highly Expressed Genes.” Nature Genetics, vol. 31, no. 4, Nature Publishing Group, 2002, pp. 415–18, doi:10.1038/ng940.
View
| DOI
| PubMed | Europe PMC
2002 |Published| Journal Article | IST-REx-ID: 871 |
Kondrashov, Fyodor, et al. “Selection in the Evolution of Gene Duplications .” Genome Biology, vol. 3, no. 2, BioMed Central, 2002, doi: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, et al. “Evolution of the Mouse Polyubiquitin C Gene.” Journal of Molecular Evolution, vol. 55, no. 2, Springer, 2002, pp. 202–10, doi: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, vol. 96, no. 2, Academic Press, 2002, pp. 293–318, doi:10.1006/jnth.2002.2800.
[Published Version]
View
| DOI
2002 |Published| Journal Article | IST-REx-ID: 13438 |
Fürst, Johannes, et al. “ICln Ion Channel Splice Variants in Caenorhabditis Elegans.” Journal of Biological Chemistry, vol. 277, no. 6, Elsevier, 2002, pp. 4435–45, doi: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 University Press, 2001, doi:10.1017/CBO9780511530067.
View
| Files available
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 3447
Chatterjee, Krishnendu, et al. Weighted Quantified Computation Tree Logic. Elsevier, 2001.
View
2001 |Published| Conference Paper | IST-REx-ID: 4634
De Alfaro, Luca, et al. “The Control of Synchronous Systems, Part II.” Proceedings of the 12th International Conference on on Concurrency Theory, vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 566–81, doi:10.1007/3-540-44685-0_38.
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4633
De Alfaro, Luca, et al. “Symbolic Algorithms for Infinite-State Games.” Proceedings of the 12th International Conference on on Concurrency Theory, vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 536–50, doi:10.1007/3-540-44685-0_36.
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4636
De Alfaro, Luca, et al. “From Verification to Control: Dynamic Programs for Omega-Regular Objectives.” Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2001, pp. 279–90, doi:10.1109/LICS.2001.932504.
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4635
De Alfaro, Luca, et al. “MCWEB: A Model-Checking Tool for Web-Site Debugging.” Proceedings of the 10th International Conference on World Wide Web, ACM, 2001, pp. 86–87.
View
| Download None (ext.)
2001 |Published| Conference Paper | IST-REx-ID: 4632
De Alfaro, Luca, et al. “Compositional Methods for Probabilistic Systems.” Proceedings of the 12th International Conference on on Concurrency Theory, vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 351–65, doi:10.1007/3-540-44685-0_24.
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4600
Alur, Rajeev, et al. “JMocha: A Model-Checking Tool That Exploits Design Structure.” Proceedings of the 23rd International Conference on Software Engineering, IEEE, 2001, pp. 835–36, doi:10.1109/ICSE.2001.919196.
View
| DOI
2001 |Published| Journal Article | IST-REx-ID: 4599
Alur, Rajeev, et al. “Partial-Order Reduction in Symbolic State-Space Exploration.” Formal Methods in System Design, vol. 18, no. 2, Springer, 2001, pp. 97–116, doi:10.1023/A:1008767206905.
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4622
De Alfaro, Luca, and Thomas A. Henzinger. “Interface Automata.” Proceedings of the 8th European Software Engineering Conference, ACM, 2001, pp. 109–20, doi:10.1145/503209.503226.
View
| DOI