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.

75 Publications


2000 | Journal Article | IST-REx-ID: 11126
Hetzer, M., & Mattaj, I. W. (2000). An Atp-dependent, Ran-independent mechanism for nuclear import of the U1a and U2b′′ spliceosome proteins. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.148.2.293
View | DOI | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 11127 | OA
Hetzer, M., Bilbao-Cortés, D., Walther, T. C., Gruss, O. J., & Mattaj, I. W. (2000). GTP hydrolysis by Ran is required for nuclear envelope assembly. Molecular Cell. Elsevier. https://doi.org/10.1016/s1097-2765(00)80266-x
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 11683
Henzinger, M. H., Rao, S., & Gabow, H. N. (2000). Computing vertex connectivity: New bounds from old techniques. Journal of Algorithms. Elsevier. https://doi.org/10.1006/jagm.1999.1055
View | DOI
 

2000 | Journal Article | IST-REx-ID: 11685
Henzinger, M. H., Heydon, A., Mitzenmacher, M., & Najork, M. (2000). On near-uniform URL sampling. Computer Networks. Elsevier. https://doi.org/10.1016/s1389-1286(00)00055-4
View | DOI
 

2000 | Journal Article | IST-REx-ID: 11694
Albers, S., & Henzinger, M. H. (2000). Exploring unknown environments. SIAM Journal on Computing. El Paso, TX, United States: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/s009753979732428x
View | DOI
 

2000 | Journal Article | IST-REx-ID: 11770 | OA
Bharat, K., Broder, A., Dean, J., & Henzinger, M. H. (2000). A comparison of techniques to find mirrored hosts on the WWW. Journal of the American Society for Information Science. Wiley. https://doi.org/10.1002/1097-4571(2000)9999:9999<::aid-asi1025>3.0.co;2-0
[Published Version] View | DOI | Download Published Version (ext.)
 

2000 | Conference Paper | IST-REx-ID: 11802
Henzinger, M. H. (2000). Web information retrieval - an algorithmic perspective. In 8th Annual European Symposium on Algorithms (Vol. 1879, pp. 1–8). Saarbrücken, Germany: Springer Nature. https://doi.org/10.1007/3-540-45253-2_1
View | DOI
 

2000 | Journal Article | IST-REx-ID: 11893
Henzinger, M. H. (2000). Improved data structures for fully dynamic biconnectivity. SIAM Journal on Computing. Society for Industrial & Applied Mathematics. https://doi.org/10.1137/s0097539794263907
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 2325
Seiringer, R. (2000). Inequalities for Schrödinger operators and applications to the stability of matter problem (Vol. 529, pp. 53–72). Presented at the Arizona School of Analysis With Applications, American Mathematical Society. https://doi.org/10.1090/conm/529
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2343 | OA
Baumgartner, B., & Seiringer, R. (2000). On the ordering of energy levels in homogeneous magnetic fields. Letters in Mathematical Physics. Springer. https://doi.org/    10.1023/A:1010978807635
View | DOI | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 8525
Kaloshin, V. (2000). Generic diffeomorphisms with superexponential growth of number of periodic orbits. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s002200050811
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4637
De Alfaro, L., Henzinger, T. A., & Mang, F. (2000). The control of synchronous systems. In Proceedings of the 11th International Conference on Concurrency Theory (Vol. 1877, pp. 458–473). University Park, PA, USA: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44618-4_33
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4638
De Alfaro, L., Henzinger, T. A., & Mang, F. (2000). Detecting errors before reaching them. In Proceedings of the 12th International Conference on Computer Aided Verification (Vol. 1855, pp. 186–201). Chicago, IL, USA: Springer. https://doi.org/10.1007/10722167_17
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4627
De Alfaro, L., & Henzinger, T. A. (2000). Concurrent omega-regular games. In Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science (pp. 141–154). Santa Barbara, CA, USA: IEEE. https://doi.org/10.1109/LICS.2000.855763
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4512
Henzinger, T. A. (2000). Masaccio: A formal model for embedded components. In Proceedings of the 1st International Conference on Theoretical Computer Science (Vol. 1872, pp. 549–563). Sendai, Japan: Springer. https://doi.org/10.1007/3-540-44929-9_38
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4598
Alur, R., Henzinger, T. A., Lafferriere, G., & Pappas, G. (2000). Discrete abstractions of hybrid systems. Proceedings of the IEEE. IEEE. https://doi.org/10.1109/5.871304
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4482
Henzinger, T. A., Majumdar, R., Mang, F., & Raskin, J. (2000). Abstract interpretation of game properties. In Proceedings of the 7th International Symposium on Static Analysis (Vol. 1824, pp. 220–239). Santa Barbara, CA, USA: Springer. https://doi.org/10.1007/978-3-540-45099-3_12
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4481
Henzinger, T. A., Horowitz, B., Majumdar, R., & Wong Toi, H. (2000). Beyond HyTech: Hybrid systems analysis using interval numerical methods. In Proceedings of the 3rd International Workshop on Hybrid Systems (Vol. 1790, pp. 130–144). Pittsburgh, PA, USA: Springer. https://doi.org/10.1007/3-540-46430-1_14
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4483
Henzinger, T. A., Qadeer, S., & Rajamani, S. (2000). Decomposing refinement proofs using assume-guarantee reasoning. In Proceedings of the 2000 International Conference on Computer-Aided Design (pp. 245–252). San Jose, CA, USA: IEEE. https://doi.org/10.1109/ICCAD.2000.896481
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 4513
Henzinger, T. A. (2000). The theory of hybrid automata. In M. Inan & R. Kurshan (Eds.), Verification of Digital and Hybrid Systems (Vol. 170, pp. 265–292). Springer. https://doi.org/10.1007/978-3-642-59615-5
View | DOI
 

Filters and Search Terms

year=2000

Search

Filter Publications