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.
1620 Publications
2001 | Conference Paper | IST-REx-ID: 4005
Cheng H, Dey T, Edelsbrunner H, Sullivan J. 2001. Dynamic skin triangulation. Proceedings of the 12th annual ACM-SIAM symposium on Discrete algorithms. SODA: Symposium on Discrete Algorithms, 47–56.
View
| Download None (ext.)
2001 | 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
2001 | 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 | Journal Article | IST-REx-ID: 2611
Ruocco I, Cuello A, Shigemoto R, Ribeiro Da Silva A. 2001. Sympathectomies lead to transient substance P-immunoreactive sensory fibre plasticity in the rat skin. Neuroscience. 108(1), 157–166.
View
| DOI
| PubMed | Europe PMC
2001 | Journal Article | IST-REx-ID: 2348 |
Hainzl C, Seiringer R. 2001. A discrete density matrix theory for atoms in strong magnetic fields. Communications in Mathematical Physics. 217(1), 229–248.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2001 | Journal Article | IST-REx-ID: 2341 |
Baumgartner B, Seiringer R. 2001. Atoms with bosonic "electrons" in strong magnetic fields. Annales Henri Poincare. 2(1), 41–76.
View
| DOI
| Download None (ext.)
| arXiv
2001 | Conference Paper | IST-REx-ID: 2340 |
Seiringer R. 2001. Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula. PDE: Partial Differential Equations and Spectral Theory, Operator Theory: Advances and Applications, vol. 126, 307–314.
View
| DOI
| Download None (ext.)
| arXiv
2000 | 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
2000 | 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 | 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 | 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