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. Sympathectomies lead to transient substance P-immunoreactive sensory fibre plasticity in the rat skin. Neuroscience. 2001;108(1):157-166. doi:10.1016/S0306-4522(01)00158-0
View
| DOI
| PubMed | Europe PMC
2001 |Published| Journal Article | IST-REx-ID: 2348 | 
Hainzl C, Seiringer R. A discrete density matrix theory for atoms in strong magnetic fields. Communications in Mathematical Physics. 2001;217(1):229-248. doi:10.1007/s002200100373
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2001 |Published| Journal Article | IST-REx-ID: 2341 |
Baumgartner B, Seiringer R. Atoms with bosonic "electrons" in strong magnetic fields. Annales Henri Poincare. 2001;2(1):41-76. doi:10.1007/PL00001032
View
| DOI
| Download None (ext.)
| arXiv
2001 |Published| Conference Paper | IST-REx-ID: 2340 |
Seiringer R. Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula. In: Demuth M, Schultze B, eds. Vol 126. Birkhäuser; 2001:307-314. doi:10.1007/978-3-0348-8231-6
View
| DOI
| Download None (ext.)
| arXiv
2000 |Published| Conference Paper | IST-REx-ID: 11802
Henzinger MH. Web information retrieval - an algorithmic perspective. In: 8th Annual European Symposium on Algorithms. Vol 1879. Springer Nature; 2000:1–8. doi:10.1007/3-540-45253-2_1
View
| DOI
2000 |Published| Journal Article | IST-REx-ID: 11893
Henzinger MH. Improved data structures for fully dynamic biconnectivity. SIAM Journal on Computing. 2000;29(6):1761-1815. doi:10.1137/s0097539794263907
View
| DOI
2000 |Published| Conference Paper | IST-REx-ID: 4637
De Alfaro L, Henzinger TA, Mang F. The control of synchronous systems. In: Proceedings of the 11th International Conference on Concurrency Theory. Vol 1877. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2000:458-473. doi:10.1007/3-540-44618-4_33
View
| DOI
2000 |Published| Conference Paper | IST-REx-ID: 4512
Henzinger TA. Masaccio: A formal model for embedded components. In: Proceedings of the 1st International Conference on Theoretical Computer Science . Vol 1872. Springer; 2000:549-563. doi:10.1007/3-540-44929-9_38
View
| DOI
2000 |Published| Conference Paper | IST-REx-ID: 4482
Henzinger TA, Majumdar R, Mang F, Raskin J. Abstract interpretation of game properties. In: Proceedings of the 7th International Symposium on Static Analysis. Vol 1824. Springer; 2000:220-239. doi:10.1007/978-3-540-45099-3_12
View
| DOI
2000 |Published| Conference Paper | IST-REx-ID: 4481
Henzinger TA, Horowitz B, Majumdar R, Wong Toi H. Beyond HyTech: Hybrid systems analysis using interval numerical methods. In: Proceedings of the 3rd International Workshop on Hybrid Systems. Vol 1790. Springer; 2000:130-144. doi:10.1007/3-540-46430-1_14
View
| DOI
2000 |Published| Book Chapter | IST-REx-ID: 4513
Henzinger TA. The theory of hybrid automata. In: Inan M, Kurshan R, eds. Verification of Digital and Hybrid Systems. Vol 170. Springer; 2000:265-292. doi:10.1007/978-3-642-59615-5
View
| DOI
2000 |Published| Conference Paper | IST-REx-ID: 4433
Henzinger TA, Rajamani S. Fair bisimulation. In: Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 1785. Springer; 2000:299-314. doi:10.1007/3-540-46419-0_21
View
| DOI
2000 |Published| Conference Paper | IST-REx-ID: 4439
Henzinger TA, Majumdar R. A classification of symbolic transition systems. In: Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science. Vol 1770. Springer; 2000:13-34. doi:10.1007/3-540-46541-3_2
View
| DOI
2000 |Published| Conference Paper | IST-REx-ID: 4435
Henzinger TA, Majumdar R. Symbolic model checking for rectangular hybrid systems. In: Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 1785. Springer; 2000:142-156. doi:10.1007/3-540-46419-0_11
View
| DOI
2000 |Published| Conference Paper | IST-REx-ID: 4434
Henzinger TA, Raskin J. Robust undecidability of timed and hybrid systems. In: Proceedings of the 3rd International Workshop on Hybrid Systems. Vol 1790. Springer; 2000:145-159. doi:10.1007/3-540-46430-1_15
View
| DOI
2000 |Published| Journal Article | IST-REx-ID: 4197
Heisenberg C-PJ, Tada M, Rauch G, et al. Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation. Nature. 2000;405(6782):76-81. doi:10.1038/35011068
View
| DOI
| PubMed | Europe PMC
2000 |Published| Journal Article | IST-REx-ID: 4010
Cheng S, Dey T, Edelsbrunner H, Facello M, Teng S. Sliver exudation. Journal of the ACM. 2000;47(5):883-904. doi:10.1145/355483.355487
View
| DOI
2000 |Published| Journal Article | IST-REx-ID: 4004
Edelsbrunner H, Grayson D. Edgewise subdivision of a simplex. Discrete & Computational Geometry. 2000;24(4):707-719. doi:10.1007/s004540010063
View
| DOI
2000 |Published| Conference Paper | IST-REx-ID: 3555
Edelsbrunner H, Li X, Miller G, et al. Smoothing and cleaning up slivers. In: Proceedings of the 32nd Annual ACM Symposium on Theory of Computing. ACM; 2000:273-277. doi:10.1145/335305.335338
View
| DOI
2000 |Published| Journal Article | IST-REx-ID: 3492
Geiger J, Jonas PM. Dynamic control of presynaptic Ca(2+) inflow by fast-inactivating K+ channels in hippocampal mossy fiber boutons. Neuron. 2000;28(3):927-939. doi:10.1016/S0896-6273(00)00164-1
View
| DOI
| PubMed | Europe PMC