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| 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 |
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 |
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 |
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
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: 3555
Edelsbrunner H, Li X, Miller G, Stathopoulos A, Talmor D, Teng S, Üngör A, Walkington N. 2000. Smoothing and cleaning up slivers. Proceedings of the 32nd annual ACM symposium on Theory of computing. STOC: Symposium on the Theory of Computing, 273–277.
View
| DOI
2000 |Published| Journal Article | IST-REx-ID: 3492
Geiger J, Jonas PM. 2000. Dynamic control of presynaptic Ca(2+) inflow by fast-inactivating K+ channels in hippocampal mossy fiber boutons. Neuron. 28(3), 927–939.
View
| DOI
| PubMed | Europe PMC