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, 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
2001 |Published| Conference Paper | IST-REx-ID: 4635
De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “MCWEB: A Model-Checking Tool for Web-Site Debugging.” In Proceedings of the 10th International Conference on World Wide Web, 86–87. ACM, 2001.
View
| Download None (ext.)
2001 |Published| Conference Paper | IST-REx-ID: 4632
De Alfaro, Luca, Thomas A Henzinger, and Ranjit Jhala. “Compositional Methods for Probabilistic Systems.” In Proceedings of the 12th International Conference on on Concurrency Theory, 2154:351–65. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001. https://doi.org/10.1007/3-540-44685-0_24.
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4600
Alur, Rajeev, Luca De Alfaro, Radu Grosu, Thomas A Henzinger, Myong Kang, Christoph Kirsch, Ritankar Majumdar, Freddy Mang, and Bow Wang. “JMocha: A Model-Checking Tool That Exploits Design Structure.” In Proceedings of the 23rd International Conference on Software Engineering, 835–36. IEEE, 2001. https://doi.org/10.1109/ICSE.2001.919196.
View
| DOI
2001 |Published| Journal Article | IST-REx-ID: 4599
Alur, Rajeev, Robert Brayton, Thomas A Henzinger, Shaz Qadeer, and Sriram Rajamani. “Partial-Order Reduction in Symbolic State-Space Exploration.” Formal Methods in System Design. Springer, 2001. https://doi.org/10.1023/A:1008767206905.
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4622
De Alfaro, Luca, and Thomas A Henzinger. “Interface Automata.” In Proceedings of the 8th European Software Engineering Conference, 109–20. ACM, 2001. https://doi.org/10.1145/503209.503226.
View
| DOI