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.

89 Publications


2001 | Conference Paper | IST-REx-ID: 4477
Henzinger, Thomas A, Marius Minea, and Vinayak Prabhu. “Assume-Guarantee Reasoning for Hierarchical Hybrid Systems.” In Proceedings of the 4th International Workshop on Hybrid Systems, 2034:275–90. Springer, 2001. https://doi.org/10.1007/3-540-45351-2_24.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4478
Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Embedded Control Systems Development with Giotto.” In Proceedings of the 2nd ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, 64–72. ACM, 2001. https://doi.org/10.1145/384197.384208.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Giotto: A Time-Triggered Language for Embedded Programming.” In Proceedings of the 1st International Workshop on Embedded Software, 2211:166–84. ACM, 2001. https://doi.org/10.1007/3-540-45449-7_12.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4475
Henzinger, Thomas A, Joerg Preussig, and Howard Wong Toi. “Some Lessons from the HYTECH Experience.” In Proceedings of the 40th IEEE Conference on Decision and Control, 3:2887–92. IEEE, 2001. https://doi.org/10.1109/.2001.980714.
View | DOI
 

2001 | Conference (Editor) | IST-REx-ID: 4449
Henzinger, Thomas A, ed. EMSOFT: Embedded Software. Vol. 2211. ACM, 2001. https://doi.org/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.” In Dispersal. Oxford University Press, 2001.
View | Download None (ext.)
 

2001 | Journal Article | IST-REx-ID: 4200 | OA
Heisenberg, Carl-Philipp J, Corinne Houart, Masaya Take Uchi, Gerd Rauch, Neville Young, Pedro Coutinho, Ichiro Masai, 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. Cold Spring Harbor Laboratory Press, 2001. https://doi.org/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. Wiley-Blackwell, 2001. https://doi.org/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. Wiley-Blackwell, 2001. https://doi.org/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. Springer, 2001. https://doi.org/10.1007/s002390010140.
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 4264
Turelli, Michael, Nicholas H Barton, and Jerry Coyne. “Theory and Speciation.” Trends in Ecology and Evolution. Cell Press, 2001. https://doi.org/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.” In Integrating Ecology and Evolution in a Spatial Context, 365–92. Cambridge University Press, 2001.
View | Download None (ext.)
 

2001 | Journal Article | IST-REx-ID: 4002
Cheng, Siu, Herbert Edelsbrunner, Ping Fu, and Ka Lam. “Design and Analysis of Planar Shape Deformation.” Computational Geometry: Theory and Applications. Elsevier, 2001. https://doi.org/10.1016/S0925-7721(01)00020-7.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4001
Cheng, Ho, Herbert Edelsbrunner, and Ping Fu. “Shape Space from Deformation.” Computational Geometry: Theory and Applications. Elsevier, 2001. https://doi.org/10.1016/S0925-7721(01)00021-9.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4005
Cheng, Ho, Tamal Dey, Herbert Edelsbrunner, and John Sullivan. “Dynamic Skin Triangulation.” In Proceedings of the 12th Annual ACM-SIAM Symposium on Discrete Algorithms, 47–56. SIAM, 2001.
View | Download None (ext.)
 

2001 | Journal Article | IST-REx-ID: 4007
Cheng, Ho, Tamal Dey, Herbert Edelsbrunner, and John Sullivan. “Dynamic Skin Triangulation.” Discrete & Computational Geometry. Springer, 2001. https://doi.org/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. Springer, 2001. https://doi.org/10.3217/jucs-007-05-0379.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3928 | OA
Sixt, Michael K, Rupert Hallmann, Olaf Wendler, Karin Scharffetter Kochanek, and Lydia Sorokin. “Cell Adhesion and Migration Properties of Β2-Integrin Negative Polymorphonuclear Granulocytes on Defined Extracellular Matrix Molecules. Relevance for Leukocyte Extravasation.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 2001. https://doi.org/10.1074/jbc.M010898200.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 3927 | OA
Wolf, Dominik, Rupert Hallmann, Gabriele Sass, Michael K Sixt, Sabine Küsters, Bastian Fregien, Christian Trautwein, and Gisa Tiegs. “TNF-α-Induced Expression of Adhesion Molecules in the Liver Is under the Control of TNFR1--Relevance for Concanavalin A-Induced Hepatitis.” Journal of Immunology. American Association of Immunologists, 2001. https://doi.org/10.4049/jimmunol.166.2.1300.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 3930 | OA
Sixt, Michael K, Britta Engelhardt, Friederike Pausch, Rupert Hallmann, Olaf Wendler, and Lydia Sorokin. “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. Rockefeller University Press, 2001. https://doi.org/10.1083/jcb.153.5.933 .
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

year=2001

Search

Filter Publications