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.
1847 Publications
2001 | Conference Paper | IST-REx-ID: 2340 | 
Seiringer, Robert. Bosons in a Trap: Asymptotic Exactness of the Gross-Pitaevskii Ground State Energy Formula. Edited by Michael Demuth and Bert Schultze, vol. 126, Birkhäuser, 2001, pp. 307–14, doi:10.1007/978-3-0348-8231-6.
View
| DOI
| Download None (ext.)
| arXiv
2000 | Conference Paper | IST-REx-ID: 11802
Henzinger, Monika H. “Web Information Retrieval - an Algorithmic Perspective.” 8th Annual European Symposium on Algorithms, vol. 1879, Springer Nature, 2000, pp. 1–8, doi:10.1007/3-540-45253-2_1.
View
| DOI
2000 | Journal Article | IST-REx-ID: 11893
Henzinger, Monika H. “Improved Data Structures for Fully Dynamic Biconnectivity.” SIAM Journal on Computing, vol. 29, no. 6, Society for Industrial & Applied Mathematics, 2000, pp. 1761–815, doi:10.1137/s0097539794263907.
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4637
De Alfaro, Luca, et al. “The Control of Synchronous Systems.” Proceedings of the 11th International Conference on Concurrency Theory, vol. 1877, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000, pp. 458–73, doi:10.1007/3-540-44618-4_33.
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4512
Henzinger, Thomas A. “Masaccio: A Formal Model for Embedded Components.” Proceedings of the 1st International Conference on Theoretical Computer Science , vol. 1872, Springer, 2000, pp. 549–63, doi:10.1007/3-540-44929-9_38.
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4482
Henzinger, Thomas A., et al. “Abstract Interpretation of Game Properties.” Proceedings of the 7th International Symposium on Static Analysis, vol. 1824, Springer, 2000, pp. 220–39, doi:10.1007/978-3-540-45099-3_12.
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4481
Henzinger, Thomas A., et al. “Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods.” Proceedings of the 3rd International Workshop on Hybrid Systems, vol. 1790, Springer, 2000, pp. 130–44, doi:10.1007/3-540-46430-1_14.
View
| DOI
2000 | Book Chapter | IST-REx-ID: 4513
Henzinger, Thomas A. “The Theory of Hybrid Automata.” Verification of Digital and Hybrid Systems, edited by M. Inan and Robert Kurshan, vol. 170, Springer, 2000, pp. 265–92, doi:10.1007/978-3-642-59615-5.
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4433
Henzinger, Thomas A., and Sriram Rajamani. “Fair Bisimulation.” Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 1785, Springer, 2000, pp. 299–314, doi:10.1007/3-540-46419-0_21.
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4439
Henzinger, Thomas A., and Ritankar Majumdar. “A Classification of Symbolic Transition Systems.” Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, vol. 1770, Springer, 2000, pp. 13–34, doi:10.1007/3-540-46541-3_2.
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4435
Henzinger, Thomas A., and Ritankar Majumdar. “Symbolic Model Checking for Rectangular Hybrid Systems.” Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 1785, Springer, 2000, pp. 142–56, doi:10.1007/3-540-46419-0_11.
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4434
Henzinger, Thomas A., and Jean Raskin. “Robust Undecidability of Timed and Hybrid Systems.” Proceedings of the 3rd International Workshop on Hybrid Systems, vol. 1790, Springer, 2000, pp. 145–59, doi:10.1007/3-540-46430-1_15.
View
| DOI
2000 | Journal Article | IST-REx-ID: 4197
Heisenberg, Carl-Philipp J., et al. “Silberblick/Wnt11 Mediates Convergent Extension Movements during Zebrafish Gastrulation.” Nature, vol. 405, no. 6782, Nature Publishing Group, 2000, pp. 76–81, doi:10.1038/35011068.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 4010
Cheng, Siu, et al. “Sliver Exudation.” Journal of the ACM, vol. 47, no. 5, ACM, 2000, pp. 883–904, doi:10.1145/355483.355487.
View
| DOI
2000 | Journal Article | IST-REx-ID: 4004
Edelsbrunner, Herbert, and Daniel Grayson. “Edgewise Subdivision of a Simplex.” Discrete & Computational Geometry, vol. 24, no. 4, Springer, 2000, pp. 707–19, doi:10.1007/s004540010063.
View
| DOI
2000 | Conference Paper | IST-REx-ID: 3555
Edelsbrunner, Herbert, et al. “Smoothing and Cleaning up Slivers.” Proceedings of the 32nd Annual ACM Symposium on Theory of Computing, ACM, 2000, pp. 273–77, doi:10.1145/335305.335338.
View
| DOI
2000 | Journal Article | IST-REx-ID: 3492
Geiger, Jörg, and Peter M. Jonas. “Dynamic Control of Presynaptic Ca(2+) Inflow by Fast-Inactivating K+ Channels in Hippocampal Mossy Fiber Boutons.” Neuron, vol. 28, no. 3, Elsevier, 2000, pp. 927–39, doi:10.1016/S0896-6273(00)00164-1.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 2603
Boudin, Hélène, et al. “Presynaptic Clustering of MGluR7a Requires the PICK1 PDZ Domain Binding Site.” Neuron, vol. 28, no. 2, Elsevier, 2000, pp. 485–97, doi:10.1016/S0896-6273(00)00127-6.
View
| DOI
| PubMed | Europe PMC
2000 | Journal Article | IST-REx-ID: 2731
Erdös, László, and Horng Yau. “Linear Boltzmann Equation as the Weak Coupling Limit of a Random Schrödinger Equation.” Communications on Pure and Applied Mathematics, vol. 53, no. 6, Wiley-Blackwell, 2000, pp. 667–735, doi:10.1002/(SICI)1097-0312(200006)53:6<667::AID-CPA1>3.0.CO;2-5.
[Preprint]
View
| DOI
| arXiv
2000 | Book Chapter | IST-REx-ID: 2710
Erdös, László. “The Kernel of Dirac Operators on S3 and R3.” Differential Equations and Mathematical Physics, vol. 16, American Mathematical Society, 2000, pp. 111–19, doi:10.1090/amsip/016.
[Preprint]
View
| DOI
| arXiv