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.
1752 Publications
2001 | Published | Journal Article | IST-REx-ID: 2984 | 
Swarup R, Friml J, Marchant A, Ljung K, Sandberg G, Palme K, Bennett M. 2001. Localization of the auxin permease AUX1 suggests two functionally distinct hormone transport pathways operate in the Arabidopsis root apex. Genes and Development. 15(20), 2648–2653.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 | Published | Journal Article | IST-REx-ID: 3928 |
Sixt MK, Hallmann R, Wendler O, Scharffetter Kochanek K, Sorokin L. 2001. Cell adhesion and migration properties of β2-integrin negative polymorphonuclear granulocytes on defined extracellular matrix molecules. Relevance for leukocyte extravasation. Journal of Biological Chemistry. 276(22), 18878–18887.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2000 | Published | Journal Article | IST-REx-ID: 4197
Heisenberg C-PJ, Tada M, Rauch G, Saúde L, Concha M, Geisler R, Stemple D, Smith J, Wilson S. 2000. Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation. Nature. 405(6782), 76–81.
View
| DOI
| PubMed | Europe PMC
2000 | Published | Conference Paper | IST-REx-ID: 4433
Henzinger TA, Rajamani S. 2000. Fair bisimulation. Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1785, 299–314.
View
| DOI
2000 | Published | Conference Paper | IST-REx-ID: 4435
Henzinger TA, Majumdar R. 2000. Symbolic model checking for rectangular hybrid systems. Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1785, 142–156.
View
| DOI
2000 | Published | Conference Paper | IST-REx-ID: 4439
Henzinger TA, Majumdar R. 2000. A classification of symbolic transition systems. Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science. STACS: Theoretical Aspects of Computer Science, LNCS, vol. 1770, 13–34.
View
| DOI
2000 | Published | Conference Paper | IST-REx-ID: 4481
Henzinger TA, Horowitz B, Majumdar R, Wong Toi H. 2000. Beyond HyTech: Hybrid systems analysis using interval numerical methods. Proceedings of the 3rd International Workshop on Hybrid Systems. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 1790, 130–144.
View
| DOI