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.
87 Publications
- 1 (current)
- 2
- 3
- 4
- 5
2001 | Journal Article | IST-REx-ID: 2981 |

Arabidopsis thaliana Rop GTPases are localized to tips of root hairs and control polar growth
A. Molendijk, F. Bischoff, C. Rajendrakumar, J. Friml, M. Braun, S. Gilroy, K. Palme, EMBO Journal 20 (2001) 2779–2788.
View
| DOI
| Download (ext.)
A. Molendijk, F. Bischoff, C. Rajendrakumar, J. Friml, M. Braun, S. Gilroy, K. Palme, EMBO Journal 20 (2001) 2779–2788.
2001 | Journal Article | IST-REx-ID: 2982
BIG: A calossin-like protein required for polar auxin transport in Arabidopsis
P. Gil, E. Dewey, J. Friml, Y. Zhao, K. Snowden, J. Putterill, K. Palme, M. Estelle, J. Chory, Genes and Development 15 (2001) 1985–1997.
View
| DOI
P. Gil, E. Dewey, J. Friml, Y. Zhao, K. Snowden, J. Putterill, K. Palme, M. Estelle, J. Chory, Genes and Development 15 (2001) 1985–1997.
2001 | Journal Article | IST-REx-ID: 2983
Auxin transport inhibitors block PIN1 cycling and vesicle trafficking
N. Geldner, J. Friml, Y. Stierhof, G. Jürgens, K. Palme, Nature 413 (2001) 425–428.
View
| DOI
N. Geldner, J. Friml, Y. Stierhof, G. Jürgens, K. Palme, Nature 413 (2001) 425–428.
2001 | Journal Article | IST-REx-ID: 2984
Localization of the auxin permease AUX1 suggests two functionally distinct hormone transport pathways operate in the Arabidopsis root apex
R. Swarup, J. Friml, A. Marchant, K. Ljung, G. Sandberg, K. Palme, M. Bennett, Genes and Development 15 (2001) 2648–2653.
View
| DOI
R. Swarup, J. Friml, A. Marchant, K. Ljung, G. Sandberg, K. Palme, M. Bennett, Genes and Development 15 (2001) 2648–2653.
2001 | Journal Article | IST-REx-ID: 2985
Elimination voltammetry of adenine and cytosine mixtures
L. Trnková, J. Friml, O. Dračka, Bioelectrochemistry 54 (2001) 131–136.
View
| DOI
L. Trnková, J. Friml, O. Dračka, Bioelectrochemistry 54 (2001) 131–136.
2001 | Conference Paper | IST-REx-ID: 3169
Computing visual correspondence with occlusions using graph cuts
V. Kolmogorov, R. Zabih, in:, IEEE, 2001, pp. 508–515.
View
| DOI
| Download (ext.)
V. Kolmogorov, R. Zabih, in:, IEEE, 2001, pp. 508–515.
2001 | Journal Article | IST-REx-ID: 841
Footprints of primordial introns on the eukaryotic genome: still no clear traces
Y. Wolf, F. Kondrashov, E. Koonin, Trends in Genetics 17 (2001) 499–501.
View
| DOI
Y. Wolf, F. Kondrashov, E. Koonin, Trends in Genetics 17 (2001) 499–501.
2001 | Journal Article | IST-REx-ID: 851
Use of mutation spectra analysis software
I. Rogozin, F. Kondrashov, G. Glazko, Human Mutation 17 (2001) 83–102.
View
| DOI
I. Rogozin, F. Kondrashov, G. Glazko, Human Mutation 17 (2001) 83–102.
2001 | Journal Article | IST-REx-ID: 8521
A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms II
V. Kaloshin, B.R. Hunt, Electronic Research Announcements of the American Mathematical Society 7 (2001) 28–36.
View
| DOI
V. Kaloshin, B.R. Hunt, Electronic Research Announcements of the American Mathematical Society 7 (2001) 28–36.
2001 | Journal Article | IST-REx-ID: 8522
A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms I
V. Kaloshin, B.R. Hunt, Electronic Research Announcements of the American Mathematical Society 7 (2001) 17–27.
View
| DOI
V. Kaloshin, B.R. Hunt, Electronic Research Announcements of the American Mathematical Society 7 (2001) 17–27.
2001 | Journal Article | IST-REx-ID: 8524
Diophantine properties of elements of SO(3)
V. Kaloshin, I. Rodnianski, Geometric And Functional Analysis 11 (2001) 953–970.
View
| DOI
V. Kaloshin, I. Rodnianski, Geometric And Functional Analysis 11 (2001) 953–970.
2001 | Journal Article | IST-REx-ID: 855
Presence of ATG triplets in 5′ untranslated regions of eukaryotic cDNAs correlates with a 'weak'context of the start codon
I. Rogozin, A. Kochetov, F. Kondrashov, E. Koonin, L. Milanesi, Bioinformatics 17 (2001) 890–900.
View
| DOI
I. Rogozin, A. Kochetov, F. Kondrashov, E. Koonin, L. Milanesi, Bioinformatics 17 (2001) 890–900.
2001 | Conference (Editor) | IST-REx-ID: 4449
EMSOFT: Embedded Software
T.A. Henzinger, C. Kirsch, EMSOFT: Embedded Software, ACM, 2001.
View
| DOI
T.A. Henzinger, C. Kirsch, EMSOFT: Embedded Software, ACM, 2001.
2001 | Conference Paper | IST-REx-ID: 4475
Some lessons from the HYTECH experience
T.A. Henzinger, J. Preussig, H. Wong Toi, in:, IEEE, 2001, pp. 2887–2892.
View
| DOI
T.A. Henzinger, J. Preussig, H. Wong Toi, in:, IEEE, 2001, pp. 2887–2892.
2001 | Conference Paper | IST-REx-ID: 4477
Assume-guarantee reasoning for hierarchical hybrid systems
T.A. Henzinger, M. Minea, V. Prabhu, in:, Springer, 2001, pp. 275–290.
View
| DOI
T.A. Henzinger, M. Minea, V. Prabhu, in:, Springer, 2001, pp. 275–290.
2001 | Conference Paper | IST-REx-ID: 4478
Embedded control systems development with Giotto
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, ACM, 2001, pp. 64–72.
View
| DOI
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, ACM, 2001, pp. 64–72.
2001 | Conference Paper | IST-REx-ID: 4479
Giotto: A time-triggered language for embedded programming
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, ACM, 2001, pp. 166–184.
View
| DOI
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, ACM, 2001, pp. 166–184.
2001 | Conference Paper | IST-REx-ID: 4564
A reusable and platform-independent framework for distributed control systems
T. Brown, A. Pasetti, W. Pree, T.A. Henzinger, C. Kirsch, in:, IEEE, 2001, pp. 1–11.
View
| DOI
T. Brown, A. Pasetti, W. Pree, T.A. Henzinger, C. Kirsch, in:, IEEE, 2001, pp. 1–11.
2001 | Journal Article | IST-REx-ID: 4599
Partial-order reduction in symbolic state-space exploration
R. Alur, R. Brayton, T.A. Henzinger, S. Qadeer, S. Rajamani, Formal Methods in System Design 18 (2001) 97–116.
View
| DOI
R. Alur, R. Brayton, T.A. Henzinger, S. Qadeer, S. Rajamani, Formal Methods in System Design 18 (2001) 97–116.
2001 | Conference Paper | IST-REx-ID: 4600
jMocha: A model-checking tool that exploits design structure
R. Alur, L. De Alfaro, R. Grosu, T.A. Henzinger, M. Kang, C. Kirsch, R. Majumdar, F. Mang, B. Wang, in:, IEEE, 2001, pp. 835–836.
View
| DOI
R. Alur, L. De Alfaro, R. Grosu, T.A. Henzinger, M. Kang, C. Kirsch, R. Majumdar, F. Mang, B. Wang, in:, IEEE, 2001, pp. 835–836.
- 1 (current)
- 2
- 3
- 4
- 5