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.
9114 Publications
2002 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 11125
Hetzer, Martin, et al. “Distinct AAA-ATPase P97 Complexes Function in Discrete Steps of Nuclear Assembly.” Nature Cell Biology, vol. 3, no. 12, Springer Nature, 2001, pp. 1086–91, doi:10.1038/ncb1201-1086.
View
| DOI
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 11892
Henzinger, Monika H., and Valerie King. “Maintaining Minimum Spanning Forests in Dynamic Graphs.” SIAM Journal on Computing, vol. 31, no. 2, Society for Industrial & Applied Mathematics, 2001, pp. 364–74, doi:10.1137/s0097539797327209.
View
| DOI
2001 | Conference Paper | IST-REx-ID: 11914
Bharat, K., et al. “Who Links to Whom: Mining Linkage between Web Sites.” 1st IEEE International Conference on Data Mining, Institute of Electrical and Electronics Engineers, 2001, pp. 51–58, doi:10.1109/ICDM.2001.989500.
View
| DOI
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 | 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 | Conference Paper | IST-REx-ID: 3447
Chatterjee, Krishnendu, et al. Weighted Quantified Computation Tree Logic. Elsevier, 2001.
View
2001 | Journal Article | IST-REx-ID: 8522
Kaloshin, Vadim, and Brian R. Hunt. “A Stretched Exponential Bound on the Rate of Growth of the Number of Periodic Points for Prevalent Diffeomorphisms I.” Electronic Research Announcements of the American Mathematical Society, vol. 7, no. 4, American Mathematical Society, 2001, pp. 17–27, doi:10.1090/s1079-6762-01-00090-7.
View
| DOI
2001 | Journal Article | IST-REx-ID: 8521
Kaloshin, Vadim, and Brian R. Hunt. “A Stretched Exponential Bound on the Rate of Growth of the Number of Periodic Points for Prevalent Diffeomorphisms II.” Electronic Research Announcements of the American Mathematical Society, vol. 7, no. 5, American Mathematical Society, 2001, pp. 28–36, doi:10.1090/s1079-6762-01-00091-9.
View
| DOI
2001 | Journal Article | IST-REx-ID: 8524
Kaloshin, Vadim, and I. Rodnianski. “Diophantine Properties of Elements of SO(3).” Geometric And Functional Analysis, vol. 11, no. 5, Springer Nature, 2001, pp. 953–70, doi:10.1007/s00039-001-8222-8.
View
| DOI
2001 | Journal Article | IST-REx-ID: 9444
Lindroth, A. M., et al. “Requirement of CHROMOMETHYLASE3 for Maintenance of CpXpG Methylation.” Science, vol. 292, no. 5524, American Association for the Advancement of Science, 2001, pp. 2077–80, doi:10.1126/science.1059745.
View
| DOI
| PubMed | Europe PMC
2001 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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
2001 | Conference Paper | IST-REx-ID: 4623
De Alfaro, Luca, and Thomas A. Henzinger. “Interface Theories for Component-Based Design.” Proceedings of the 1st International Workshop on Embedded Software, vol. 2211, ACM, 2001, pp. 148–65, doi:10.1007/3-540-45449-7_11.
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4564
Brown, Timothy, et al. “A Reusable and Platform-Independent Framework for Distributed Control Systems.” Proceedings of the 20th Digital Avionics Systems Conference, IEEE, 2001, pp. 1–11, doi:10.1109/DASC.2001.964169.
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4477
Henzinger, Thomas A., et al. “Assume-Guarantee Reasoning for Hierarchical Hybrid Systems.” Proceedings of the 4th International Workshop on Hybrid Systems, vol. 2034, Springer, 2001, pp. 275–90, doi:10.1007/3-540-45351-2_24.
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4478
Henzinger, Thomas A., et al. “Embedded Control Systems Development with Giotto.” Proceedings of the 2nd ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, ACM, 2001, pp. 64–72, doi:10.1145/384197.384208.
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4479
Henzinger, Thomas A., et al. “Giotto: A Time-Triggered Language for Embedded Programming.” Proceedings of the 1st International Workshop on Embedded Software, vol. 2211, ACM, 2001, pp. 166–84, doi:10.1007/3-540-45449-7_12.
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4475
Henzinger, Thomas A., et al. “Some Lessons from the HYTECH Experience.” Proceedings of the 40th IEEE Conference on Decision and Control, vol. 3, IEEE, 2001, pp. 2887–92, doi:10.1109/.2001.980714.
View
| DOI
2001 | Conference (Editor) | IST-REx-ID: 4449
Henzinger, Thomas A., editor. EMSOFT: Embedded Software. Vol. 2211, ACM, 2001, doi:10.1007/3-540-45449-7.
View
| DOI
2001 | Book Chapter | IST-REx-ID: 4278
Barton, Nicholas H. “The Evolutionary Consequences of Gene Flow and Local Adaptation: Future Approaches.” Dispersal, Oxford University Press, 2001.
View
| Download None (ext.)
2001 | Journal Article | IST-REx-ID: 4200 |
Heisenberg, Carl-Philipp J., et al. “A Mutation in the Gsk3-Binding Domain of Zebrafish Masterblind/Axin1 Leads to a Fate Transformation of Telencephalon and Eyes to Diencephalon.” Genes and Development, vol. 15, no. 11, Cold Spring Harbor Laboratory Press, 2001, pp. 1427–34, doi:10.1101/gad.194301.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 4266
Barton, Nicholas H. “The Role of Hybridization in Evolution.” Molecular Ecology, vol. 10, no. 3, Wiley-Blackwell, 2001, pp. 551–68, doi:10.1046/j.1365-294X.2001.01216.x.
View
| DOI
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 4265
Otto, Sarah, and Nicholas H. Barton. “Selection for Recombination in Small Populations.” Evolution; International Journal of Organic Evolution, vol. 55, no. 10, Wiley-Blackwell, 2001, pp. 1921–31, doi:10.1111/j.0014-3820.2001.tb01310.x.
View
| DOI
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 4229
Bollback, Jonathan P., and John Huelsenbeck. “Phylogeny, Genome Evolution, and Host Specificity of Single-Stranded RNA Bacteriophage (Family Leviviridae).” Journal of Molecular Evolution, vol. 52, no. 2, Springer, 2001, pp. 117–28, doi:10.1007/s002390010140.
View
| DOI
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 4264
Turelli, Michael, et al. “Theory and Speciation.” Trends in Ecology and Evolution, vol. 16, no. 7, Cell Press, 2001, pp. 330–43, doi:10.1016/S0169-5347(01)02177-2.
View
| DOI
| PubMed | Europe PMC
2001 | Book Chapter | IST-REx-ID: 4267
Barton, Nicholas H. “Adaptation at the Edge of a Species’ Range.” Integrating Ecology and Evolution in a Spatial Context, Cambridge University Press, 2001, pp. 365–92.
View
| Download None (ext.)
2001 | Journal Article | IST-REx-ID: 4002
Cheng, Siu, et al. “Design and Analysis of Planar Shape Deformation.” Computational Geometry: Theory and Applications, vol. 19, no. 2–3, Elsevier, 2001, pp. 205–18, doi:10.1016/S0925-7721(01)00020-7.
View
| DOI
2001 | Journal Article | IST-REx-ID: 4001
Cheng, Ho, et al. “Shape Space from Deformation.” Computational Geometry: Theory and Applications, vol. 19, no. 2–3, Elsevier, 2001, pp. 191–204, doi:10.1016/S0925-7721(01)00021-9.
View
| DOI
2001 | Conference Paper | IST-REx-ID: 4005
Cheng, Ho, et al. “Dynamic Skin Triangulation.” Proceedings of the 12th Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2001, pp. 47–56.
View
| Download None (ext.)
2001 | Journal Article | IST-REx-ID: 4007
Cheng, Ho, et al. “Dynamic Skin Triangulation.” Discrete & Computational Geometry, vol. 25, no. 4, Springer, 2001, pp. 525–68, doi:10.1007/s00454-001-0007-1.
View
| DOI
2001 | Journal Article | IST-REx-ID: 4006
Edelsbrunner, Herbert. “180 Wrapped Tubes.” Journal of Universal Computer Science, vol. 7, no. 5, Springer, 2001, pp. 379–99, doi:10.3217/jucs-007-05-0379.
View
| DOI
2001 | Journal Article | IST-REx-ID: 3928 |
Sixt, Michael K., et al. “Cell Adhesion and Migration Properties of Β2-Integrin Negative Polymorphonuclear Granulocytes on Defined Extracellular Matrix Molecules. Relevance for Leukocyte Extravasation.” Journal of Biological Chemistry, vol. 276, no. 22, American Society for Biochemistry and Molecular Biology, 2001, pp. 18878–87, doi:10.1074/jbc.M010898200.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 3927 |
Wolf, Dominik, et al. “TNF-α-Induced Expression of Adhesion Molecules in the Liver Is under the Control of TNFR1--Relevance for Concanavalin A-Induced Hepatitis.” Journal of Immunology, vol. 166, no. 2, American Association of Immunologists, 2001, pp. 1300–07, doi:10.4049/jimmunol.166.2.1300.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 3930 |
Sixt, Michael K., et al. “Endothelial Cell Laminin Isoforms, Laminins 8 and 10, Play Decisive Roles in T Cell Recruitment across the Blood-Brain Barrier in Experimental Autoimmune Encephalomyelitis.” Journal of Cell Biology, vol. 153, no. 5, Rockefeller University Press, 2001, pp. 933–46, doi:10.1083/jcb.153.5.933 .
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 3622
Gardner, Michael, et al. “Genetic Variation for Preadult Viability in Drosophila Melanogaster.” Evolution, vol. 55, no. 8, Wiley-Blackwell, 2001, pp. 1609–20, doi:10.1111/j.0014-3820.2001.tb00680.x.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2001 | Book Review | IST-REx-ID: 3596
Barton, Nicholas H. “Mendel and Mathematics.” Trends in Genetics, vol. 17, Elsevier, 2001, pp. 420–420, doi:10.1016/S0168-9525(01)02315-0.
View
| DOI
2001 | Journal Article | IST-REx-ID: 3546 |
Hirase, Hajima, et al. “Behavior-Dependent States of the Hippocampal Network Affect Functional Clustering of Neurons.” Journal of Neuroscience, vol. 21, no. 10, Society for Neuroscience, 2001, doi:10.1523/JNEUROSCI.21-10-j0003.2001.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC