Please note that IST 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.

6494 Publications


2001 | Journal Article | IST-REx-ID: 4006
H. Edelsbrunner, “180 wrapped tubes,” Journal of Universal Computer Science, vol. 7, no. 5. Springer, pp. 379–399, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4007
H. Cheng, T. Dey, H. Edelsbrunner, and J. Sullivan, “Dynamic skin triangulation,” Discrete & Computational Geometry, vol. 25, no. 4. Springer, pp. 525–568, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4200
C.-P. J. Heisenberg 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, pp. 1427–1434, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4229
J. P. Bollback and J. Huelsenbeck, “Phylogeny, genome evolution, and host specificity of single-stranded RNA bacteriophage (Family Leviviridae),” Journal of Molecular Evolution, vol. 52, no. 2. Springer, pp. 117–128, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4264
M. Turelli, N. H. Barton, and J. Coyne, “Theory and speciation,” Trends in Ecology and Evolution, vol. 16, no. 7. Cell Press, pp. 330–343, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4265
S. Otto and N. H. Barton, “Selection for recombination in small populations,” Evolution; International Journal of Organic Evolution, vol. 55, no. 10. Wiley-Blackwell, pp. 1921–1931, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4266
N. H. Barton, “The role of hybridisation in evolution,” Molecular Ecology, vol. 10, no. 3. Wiley-Blackwell, pp. 551–568, 2001.
View | DOI
 

2001 | Book Chapter | IST-REx-ID: 4267
N. H. Barton, “Adaptation at the edge of a species’ range,” in Integrating ecology and evolution in a spatial context, Cambridge University Press, 2001, pp. 365–392.
View
 

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

2001 | Conference (Editor) | IST-REx-ID: 4449
T. A. Henzinger and C. Kirsch, EMSOFT: Embedded Software, vol. 2211. ACM, 2001.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4475
T. A. Henzinger, J. Preussig, and H. Wong Toi, “Some lessons from the HYTECH experience,” presented at the CDC: Decision and Control, 2001, vol. 3, pp. 2887–2892.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4477
T. A. Henzinger, M. Minea, and V. Prabhu, “Assume-guarantee reasoning for hierarchical hybrid systems,” presented at the HSCC: Hybrid Systems - Computation and Control, 2001, vol. 2034, pp. 275–290.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4478
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Embedded control systems development with Giotto,” presented at the LCTES: Languages, Compilers, and Tools for Embedded Systems, 2001, pp. 64–72.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Giotto: A time-triggered language for embedded programming,” presented at the EMSOFT: Embedded Software , 2001, vol. 2211, pp. 166–184.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4564
T. Brown, A. Pasetti, W. Pree, T. A. Henzinger, and C. Kirsch, “A reusable and platform-independent framework for distributed control systems,” presented at the DASC: Digital Avionics Systems Conference, 2001, pp. 1–11.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4599
R. Alur, R. Brayton, T. A. Henzinger, S. Qadeer, and S. Rajamani, “Partial-order reduction in symbolic state-space exploration,” Formal Methods in System Design, vol. 18, no. 2. Springer, pp. 97–116, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2981 | OA
A. Molendijk et al., “Arabidopsis thaliana Rop GTPases are localized to tips of root hairs and control polar growth,” EMBO Journal, vol. 20, no. 11. Wiley-Blackwell, pp. 2779–2788, 2001.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2982
P. Gil et al., “BIG: A calossin-like protein required for polar auxin transport in Arabidopsis,” Genes and Development, vol. 15, no. 15. Cold Spring Harbor Laboratory Press, pp. 1985–1997, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2983
N. Geldner, J. Friml, Y. Stierhof, G. Jürgens, and K. Palme, “Auxin transport inhibitors block PIN1 cycling and vesicle trafficking,” Nature, vol. 413, no. 6854. Nature Publishing Group, pp. 425–428, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2984
R. Swarup et al., “Localization of the auxin permease AUX1 suggests two functionally distinct hormone transport pathways operate in the Arabidopsis root apex,” Genes and Development, vol. 15, no. 20. Cold Spring Harbor Laboratory Press, pp. 2648–2653, 2001.
View | DOI
 

Search

Filter Publications