López Bendito, Guillermina, et al. “Developmental Changes in the Localisation of the MGlu;1 Subtype of Metabotropic Glutamate Receptors in Purkinje Cells.”10.1016/S0306-4522(01)00188-9__Neuroscience, vol. 105, no. 2, Elsevier, 2001, pp. 413–29, doi:10.1016/S0306-4522(01)00188-9.
LibreCat: https://research-explorer.ista.ac.at/record/2608
DOI: 10.1016/S0306-4522(01)00188-9
PMID: 11672608 

Wagner, Uli, and Emo Welzl. “A Continuous Analogue of the Upper Bound Theorem.”10.1007/s00454-001-0028-9__Discrete &; Computational Geometry, vol. 26, no. 2, Springer, 2001, pp. 205–19, doi:10.1007/s00454-001-0028-9.
LibreCat: https://research-explorer.ista.ac.at/record/2419
DOI: 10.1007/s00454-001-0028-9

Hainzl, Christian, and Robert Seiringer. “A Discrete Density Matrix Theory for Atoms in Strong Magnetic Fields.”10.1007/s002200100373__Communications in Mathematical Physics, vol. 217, no. 1, Springer, 2001, pp. 229–48, doi:10.1007/s002200100373.
LibreCat: https://research-explorer.ista.ac.at/record/2348
DOI: 10.1007/s002200100373
arXiv: math-ph/0010005

Seiringer, Robert. “On the Maximal Ionization of Atoms in Strong Magnetic Fields.”10.1088/0305-4470/34/9/311__Journal of Physics A: Mathematical and General, vol. 34, no. 9, IOP Publishing Ltd., 2001, pp. 1943–48, doi:10.1088/0305-4470/34/9/311.
LibreCat: https://research-explorer.ista.ac.at/record/2345
DOI: 10.1088/0305-4470/34/9/311
arXiv: math-ph/0006002

Baumgartner, Bernhard, and Robert Seiringer. “Atoms with Bosonic &;quot;Electrons&;quot; in Strong Magnetic Fields.”10.1007/PL00001032__Annales Henri Poincare, vol. 2, no. 1, Birkhäuser, 2001, pp. 41–76, doi:10.1007/PL00001032.
LibreCat: https://research-explorer.ista.ac.at/record/2341
DOI: 10.1007/PL00001032
arXiv: math-ph/0007007

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.
LibreCat: https://research-explorer.ista.ac.at/record/2340
DOI: 10.1007/978-3-0348-8231-6
arXiv: math-ph/0010006

Wolf, Yuri, et al. “Footprints of Primordial Introns on the Eukaryotic Genome: Still No Clear Traces .”10.1016/S0168-9525(01)02376-9__Trends in Genetics, vol. 17, no. 9, Elsevier, 2001, pp. 499–501, doi:10.1016/S0168-9525(01)02376-9.
LibreCat: https://research-explorer.ista.ac.at/record/841
DOI: 10.1016/S0168-9525(01)02376-9
PMID: 11721681

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

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

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

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. “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

Henzinger, Thomas A., and Sriram Rajamani. “Fair Bisimulation.”10.1007/3-540-46419-0_21__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.
LibreCat: https://research-explorer.ista.ac.at/record/4433
DOI: 10.1007/3-540-46419-0_21

Henzinger, Thomas A., and Ritankar Majumdar. “A Classification of Symbolic Transition Systems.”10.1007/3-540-46541-3_2__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.
LibreCat: https://research-explorer.ista.ac.at/record/4439
DOI: 10.1007/3-540-46541-3_2

Henzinger, Thomas A., and Ritankar Majumdar. “Symbolic Model Checking for Rectangular Hybrid Systems.”10.1007/3-540-46419-0_11__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.
LibreCat: https://research-explorer.ista.ac.at/record/4435
DOI: 10.1007/3-540-46419-0_11

Henzinger, Thomas A., and Jean Raskin. “Robust Undecidability of Timed and Hybrid Systems.”10.1007/3-540-46430-1_15__Proceedings of the 3rd International Workshop on Hybrid Systems, vol. 1790, Springer, 2000, pp. 145–59, doi:10.1007/3-540-46430-1_15.
LibreCat: https://research-explorer.ista.ac.at/record/4434
DOI: 10.1007/3-540-46430-1_15

Heisenberg, Carl-Philipp J., et al. “Silberblick/Wnt11 Mediates Convergent Extension Movements during Zebrafish Gastrulation.”10.1038/35011068__Nature, vol. 405, no. 6782, Nature Publishing Group, 2000, pp. 76–81, doi:10.1038/35011068.
LibreCat: https://research-explorer.ista.ac.at/record/4197
DOI: 10.1038/35011068
PMID: 10811221 

Cheng, Siu, et al. “Sliver Exudation.”10.1145/355483.355487__Journal of the ACM, vol. 47, no. 5, ACM, 2000, pp. 883–904, doi:10.1145/355483.355487.
LibreCat: https://research-explorer.ista.ac.at/record/4010
DOI: 10.1145/355483.355487