Hetzer, Martin, and Iain W. Mattaj. “An Atp-Dependent, Ran-Independent Mechanism for Nuclear Import of the a and b Spliceosome Proteins.”10.1083/jcb.148.2.293__Journal of Cell Biology, vol. 148, no. 2, Rockefeller University Press, 2000, pp. 293–304, doi:10.1083/jcb.148.2.293.
LibreCat: https://research-explorer.ista.ac.at/record/11126
DOI: 10.1083/jcb.148.2.293
PMID: 10648562

Hetzer, Martin, et al. “GTP Hydrolysis by Ran Is Required for Nuclear Envelope Assembly.”10.1016/s1097-2765(00)80266-x__Molecular Cell, vol. 5, no. 6, Elsevier, 2000, pp. 1013–24, doi:10.1016/s1097-2765(00)80266-x.
LibreCat: https://research-explorer.ista.ac.at/record/11127
DOI: 10.1016/s1097-2765(00)80266-x
PMID: 10911995

Henzinger, Monika H., et al. “Computing Vertex Connectivity: New Bounds from Old Techniques.”10.1006/jagm.1999.1055__Journal of Algorithms, vol. 34, no. 2, Elsevier, 2000, pp. 222–50, doi:10.1006/jagm.1999.1055.
LibreCat: https://research-explorer.ista.ac.at/record/11683
DOI: 10.1006/jagm.1999.1055

Henzinger, Monika H., et al. “On Near-Uniform URL Sampling.”10.1016/s1389-1286(00)00055-4__Computer Networks, vol. 33, no. 1–6, Elsevier, 2000, pp. 295–308, doi:10.1016/s1389-1286(00)00055-4.
LibreCat: https://research-explorer.ista.ac.at/record/11685
DOI: 10.1016/s1389-1286(00)00055-4

Albers, Susanne, and Monika H. Henzinger. “Exploring Unknown Environments.”10.1137/s009753979732428x__SIAM Journal on Computing, vol. 29, no. 4, Society for Industrial and Applied Mathematics, 2000, pp. 1164–88, doi:10.1137/s009753979732428x.
LibreCat: https://research-explorer.ista.ac.at/record/11694
DOI: 10.1137/s009753979732428x

Bharat, Krishna, et al. “A Comparison of Techniques to Find Mirrored Hosts on the WWW.”10.1002/1097-4571(2000)9999:9999&#60;::aid-asi1025&#62;3.0.co;2-0__Journal of the American Society for Information Science, vol. 51, no. 12, Wiley, 2000, pp. 1114–22, doi:10.1002/1097-4571(2000)9999:9999&#60;::aid-asi1025&#62;3.0.co;2-0.
LibreCat: https://research-explorer.ista.ac.at/record/11770
DOI: 10.1002/1097-4571(2000)9999:9999<::aid-asi1025>3.0.co;2-0

Henzinger, Monika H. “Web Information Retrieval - an Algorithmic Perspective.”10.1007/3-540-45253-2_1__8th Annual European Symposium on Algorithms, vol. 1879, Springer Nature, 2000, pp. 1–8, doi:10.1007/3-540-45253-2_1.
LibreCat: https://research-explorer.ista.ac.at/record/11802
DOI: 10.1007/3-540-45253-2_1

Henzinger, Monika H. “Improved Data Structures for Fully Dynamic Biconnectivity.”10.1137/s0097539794263907__SIAM Journal on Computing, vol. 29, no. 6, Society for Industrial &; Applied Mathematics, 2000, pp. 1761–815, doi:10.1137/s0097539794263907.
LibreCat: https://research-explorer.ista.ac.at/record/11893
DOI: 10.1137/s0097539794263907

Seiringer, Robert. Inequalities for Schrödinger Operators and Applications to the Stability of Matter Problem . Vol. 529, American Mathematical Society, 2000, pp. 53–72, doi:10.1090/conm/529.
LibreCat: https://research-explorer.ista.ac.at/record/2325
DOI: 10.1090/conm/529

Baumgartner, Bernhard, and Robert Seiringer. “On the Ordering of Energy Levels in Homogeneous Magnetic Fields.”Â  Â  10.1023/A:1010978807635__Letters in Mathematical Physics, vol. 54, no. 3, Springer, 2000, pp. 213–26, doi:Â  Â  10.1023/A:1010978807635.
LibreCat: https://research-explorer.ista.ac.at/record/2343
DOI:     10.1023/A:1010978807635

Kaloshin, Vadim. “Generic Diffeomorphisms with Superexponential Growth of Number of Periodic Orbits.”10.1007/s002200050811__Communications in Mathematical Physics, vol. 211, Springer Nature, 2000, pp. 253–71, doi:10.1007/s002200050811.
LibreCat: https://research-explorer.ista.ac.at/record/8525
DOI: 10.1007/s002200050811

De Alfaro, Luca, et al. “The Control of Synchronous Systems.”10.1007/3-540-44618-4_33__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.
LibreCat: https://research-explorer.ista.ac.at/record/4637
DOI: 10.1007/3-540-44618-4_33

De Alfaro, Luca, et al. “Detecting Errors before Reaching Them.”10.1007/10722167_17__Proceedings of the 12th International Conference on Computer Aided Verification, vol. 1855, Springer, 2000, pp. 186–201, doi:10.1007/10722167_17.
LibreCat: https://research-explorer.ista.ac.at/record/4638
DOI: 10.1007/10722167_17

De Alfaro, Luca, and Thomas A. Henzinger. “Concurrent Omega-Regular Games.”10.1109/LICS.2000.855763__Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2000, pp. 141–54, doi:10.1109/LICS.2000.855763.
LibreCat: https://research-explorer.ista.ac.at/record/4627
DOI: 10.1109/LICS.2000.855763

Henzinger, Thomas A. “Masaccio: A Formal Model for Embedded Components.”10.1007/3-540-44929-9_38__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.
LibreCat: https://research-explorer.ista.ac.at/record/4512
DOI: 10.1007/3-540-44929-9_38

Alur, Rajeev, et al. “Discrete Abstractions of Hybrid Systems.”10.1109/5.871304 __Proceedings of the IEEE, vol. 88, no. 7, IEEE, 2000, pp. 971–84, doi:10.1109/5.871304 .
LibreCat: https://research-explorer.ista.ac.at/record/4598
DOI: 10.1109/5.871304 

Henzinger, Thomas A., et al. “Abstract Interpretation of Game Properties.”10.1007/978-3-540-45099-3_12__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.
LibreCat: https://research-explorer.ista.ac.at/record/4482
DOI: 10.1007/978-3-540-45099-3_12

Henzinger, Thomas A., et al. “Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods.”10.1007/3-540-46430-1_14__Proceedings of the 3rd International Workshop on Hybrid Systems, vol. 1790, Springer, 2000, pp. 130–44, doi:10.1007/3-540-46430-1_14.
LibreCat: https://research-explorer.ista.ac.at/record/4481
DOI: 10.1007/3-540-46430-1_14

Henzinger, Thomas A., et al. “Decomposing Refinement Proofs Using Assume-Guarantee Reasoning.”10.1109/ICCAD.2000.896481__Proceedings of the 2000 International Conference on Computer-Aided Design, IEEE, 2000, pp. 245–52, doi:10.1109/ICCAD.2000.896481.
LibreCat: https://research-explorer.ista.ac.at/record/4483
DOI: 10.1109/ICCAD.2000.896481

Henzinger, Thomas A. “The Theory of Hybrid Automata.”10.1007/978-3-642-59615-5__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.
LibreCat: https://research-explorer.ista.ac.at/record/4513
DOI: 10.1007/978-3-642-59615-5