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.
1621 Publications
2001 |Published| 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 |Published| Journal Article | IST-REx-ID: 3928 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 2984 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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: 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 |Published| Journal Article | IST-REx-ID: 2348 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 2341 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Conference Paper | IST-REx-ID: 2340 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |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
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: 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: 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