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
Assume-guarantee reasoning for hierarchical hybrid systems
T.A. Henzinger, M. Minea, V. Prabhu, in:, Proceedings of the 4th International Workshop on Hybrid Systems, Springer, 2001, pp. 275–290.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4478
Embedded control systems development with Giotto
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Proceedings of the 2nd ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, ACM, 2001, pp. 64–72.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
Giotto: A time-triggered language for embedded programming
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Proceedings of the 1st International Workshop on Embedded Software, ACM, 2001, pp. 166–184.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4475
Some lessons from the HYTECH experience
T.A. Henzinger, J. Preussig, H. Wong Toi, in:, Proceedings of the 40th IEEE Conference on Decision and Control, IEEE, 2001, pp. 2887–2892.
View | DOI
 

2001 | Conference (Editor) | IST-REx-ID: 4449
EMSOFT: Embedded Software
T.A. Henzinger, ed., EMSOFT: Embedded Software, ACM, 2001.
View | DOI
 

2001 | Book Chapter | IST-REx-ID: 4278
The evolutionary consequences of gene flow and local adaptation: Future approaches
N.H. Barton, in:, Dispersal, Oxford University Press, 2001.
View | Download None (ext.)
 

2001 | Journal Article | IST-REx-ID: 4200 | OA
A mutation in the Gsk3-binding domain of zebrafish Masterblind/Axin1 leads to a fate transformation of telencephalon and eyes to diencephalon
C.-P.J. Heisenberg, C. Houart, M. Take Uchi, G. Rauch, N. Young, P. Coutinho, I. Masai, L. Caneparo, M. Concha, R. Geisler, T. Dale, S. Wilson, D. Stemple, Genes and Development 15 (2001) 1427–1434.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 4266
The role of hybridization in evolution
N.H. Barton, Molecular Ecology 10 (2001) 551–568.
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 4265
Selection for recombination in small populations
S. Otto, N.H. Barton, Evolution; International Journal of Organic Evolution 55 (2001) 1921–1931.
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 4229
Phylogeny, genome evolution, and host specificity of single-stranded RNA bacteriophage (Family Leviviridae)
J.P. Bollback, J. Huelsenbeck, Journal of Molecular Evolution 52 (2001) 117–128.
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 4264
Theory and speciation
M. Turelli, N.H. Barton, J. Coyne, Trends in Ecology and Evolution 16 (2001) 330–343.
View | DOI | PubMed | Europe PMC
 

2001 | Book Chapter | IST-REx-ID: 4267
Adaptation at the edge of a species' range
N.H. Barton, in:, Integrating Ecology and Evolution in a Spatial Context, Cambridge University Press, 2001, pp. 365–392.
View | Download None (ext.)
 

2001 | Journal Article | IST-REx-ID: 4002
Design and analysis of planar shape deformation
S. Cheng, H. Edelsbrunner, P. Fu, K. Lam, Computational Geometry: Theory and Applications 19 (2001) 205–218.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4001
Shape space from deformation
H. Cheng, H. Edelsbrunner, P. Fu, Computational Geometry: Theory and Applications 19 (2001) 191–204.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4005
Dynamic skin triangulation
H. Cheng, T. Dey, H. Edelsbrunner, J. Sullivan, in:, 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
Dynamic skin triangulation
H. Cheng, T. Dey, H. Edelsbrunner, J. Sullivan, Discrete & Computational Geometry 25 (2001) 525–568.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4006
180 wrapped tubes
H. Edelsbrunner, Journal of Universal Computer Science 7 (2001) 379–399.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3928 | OA
Cell adhesion and migration properties of β2-integrin negative polymorphonuclear granulocytes on defined extracellular matrix molecules. Relevance for leukocyte extravasation
M.K. Sixt, R. Hallmann, O. Wendler, K. Scharffetter Kochanek, L. Sorokin, Journal of Biological Chemistry 276 (2001) 18878–18887.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 3927 | OA
TNF-α-induced expression of adhesion molecules in the liver is under the control of TNFR1--relevance for concanavalin A-induced hepatitis
D. Wolf, R. Hallmann, G. Sass, M.K. Sixt, S. Küsters, B. Fregien, C. Trautwein, G. Tiegs, Journal of Immunology 166 (2001) 1300–1307.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 3930 | OA
Endothelial cell laminin isoforms, laminins 8 and 10, play decisive roles in T cell recruitment across the blood-brain barrier in experimental autoimmune encephalomyelitis
M.K. Sixt, B. Engelhardt, F. Pausch, R. Hallmann, O. Wendler, L. Sorokin, Journal of Cell Biology 153 (2001) 933–946.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

year=2001

Search

Filter Publications