Beyond HyTech: Hybrid systems analysis using interval numerical methods
T.A. Henzinger, B. Horowitz, R. Majumdar, H. Wong Toi, in:, Proceedings of the 3rd International Workshop on Hybrid Systems, Springer, 2000, pp. 130–144.
LibreCat: https://research-explorer.ista.ac.at/record/4481
DOI: 10.1007/3-540-46430-1_14

The theory of hybrid automata
T.A. Henzinger, in:, M. Inan, R. Kurshan (Eds.), Verification of Digital and Hybrid Systems, Springer, 2000, pp. 265–292.
LibreCat: https://research-explorer.ista.ac.at/record/4513
DOI: 10.1007/978-3-642-59615-5

Fair bisimulation
T.A. Henzinger, S. Rajamani, in:, Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2000, pp. 299–314.
LibreCat: https://research-explorer.ista.ac.at/record/4433
DOI: 10.1007/3-540-46419-0_21

A classification of symbolic transition systems
T.A. Henzinger, R. Majumdar, in:, Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, Springer, 2000, pp. 13–34.
LibreCat: https://research-explorer.ista.ac.at/record/4439
DOI: 10.1007/3-540-46541-3_2

Symbolic model checking for rectangular hybrid systems
T.A. Henzinger, R. Majumdar, in:, Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2000, pp. 142–156.
LibreCat: https://research-explorer.ista.ac.at/record/4435
DOI: 10.1007/3-540-46419-0_11

Robust undecidability of timed and hybrid systems
T.A. Henzinger, J. Raskin, in:, Proceedings of the 3rd International Workshop on Hybrid Systems, Springer, 2000, pp. 145–159.
LibreCat: https://research-explorer.ista.ac.at/record/4434
DOI: 10.1007/3-540-46430-1_15

Silberblick/Wn mediates convergent extension movements during zebrafish gastrulation
C.-P.J. Heisenberg, M. Tada, G. Rauch, L. Saúde, M. Concha, R. Geisler, D. Stemple, J. Smith, S. Wilson, Nature 405 (2000) 76–81.
LibreCat: https://research-explorer.ista.ac.at/record/4197
DOI: 10.1038/35011068
PMID: 10811221 

Sliver exudation
S. Cheng, T. Dey, H. Edelsbrunner, M. Facello, S. Teng, Journal of the ACM 47 (2000) 883–904.
LibreCat: https://research-explorer.ista.ac.at/record/4010
DOI: 10.1145/355483.355487

Edgewise subdivision of a simplex
H. Edelsbrunner, D. Grayson, Discrete &; Computational Geometry 24 (2000) 707–719.
LibreCat: https://research-explorer.ista.ac.at/record/4004
DOI: 10.1007/s004540010063

Smoothing and cleaning up slivers
H. Edelsbrunner, X. Li, G. Miller, A. Stathopoulos, D. Talmor, S. Teng, A. Üngör, N. Walkington, in:, Proceedings of the 32nd Annual ACM Symposium on Theory of Computing, ACM, 2000, pp. 273–277.
LibreCat: https://research-explorer.ista.ac.at/record/3555
DOI: 10.1145/335305.335338

Dynamic control of presynaptic Ca(2+) inflow by fast-inactivating K+ channels in hippocampal mossy fiber boutons
J. Geiger, P.M. Jonas, Neuron 28 (2000) 927–939.
LibreCat: https://research-explorer.ista.ac.at/record/3492
DOI: 10.1016/S0896-6273(00)00164-1
PMID: 11163277

Presynaptic clustering of mGlua requires the PICK1 PDZ domain binding site
H. Boudin, A. Doan, J. Xia, R. Shigemoto, R. Huganir, P. Worley, A. Craig, Neuron 28 (2000) 485–497.
LibreCat: https://research-explorer.ista.ac.at/record/2603
DOI: 10.1016/S0896-6273(00)00127-6
PMID: 11144358

Linear Boltzmann equation as the weak coupling limit of a random Schrödinger equation
L. Erdös, H. Yau, Communications on Pure and Applied Mathematics 53 (2000) 667–735.
LibreCat: https://research-explorer.ista.ac.at/record/2731
DOI: 10.1002/(SICI)1097-0312(200006)53:6&lt;667::AID-CPA1&gt;3.0.CO;2-5
arXiv: math-ph/9901020

The kernel of Dirac operators on  and 
L. Erdös, in:, Differential Equations and Mathematical Physics, American Mathematical Society, 2000, pp. 111–119.
LibreCat: https://research-explorer.ista.ac.at/record/2710
DOI: 10.1090/amsip/016
arXiv: math-ph/0001036

Structure and Function of the Ion Channel ICln
J. Fürst, M. Jakab, M. König, M. Ritter, M. Gschwentner, J. Rudzki, J.G. Danzl, M. Mayer, C.M. Burtscher, J. Schirmer, B. Maier, M. Nairz, S. Chwatal, M. Paulmichl, Cellular Physiology and Biochemistry 10 (2000) 329–334.
LibreCat: https://research-explorer.ista.ac.at/record/12925
DOI: 10.1159/000016374
PMID: 11125213

Inscribing cubes and covering by rhombic dodecahedra via equivariant topology
T. Hausel, E. Makai, A. Szücs, Mathematika 47 (2000) 371–397.
LibreCat: https://research-explorer.ista.ac.at/record/1455
DOI: 10.1112/S0025579300015965
arXiv: math/9906066

Simple synthesis of 2-substituted Tetrahydrofuran-3-carbonitriles
M. Macogonkosza, J. Przyborowski, R. Klajn, A. Kwast, Synlett 2000 (2000) 1773–1774.
LibreCat: https://research-explorer.ista.ac.at/record/13437
DOI: 10.1055/s-2000-8670

Modulation of synaptic transmission and differential localisation of mGlus in cultured hippocampal autapses
T. Bushell, C. Lee, R. Shigemoto, R. Miller, Neuropharmacology 38 (1999) 1553–1567.
LibreCat: https://research-explorer.ista.ac.at/record/2597
DOI: 10.1016/S0028-3908(99)00103-3
PMID: 10530817

Linear Boltzmann equation as the weak coupling limit of the random Schrödinger equation
L. Erdös, in:, Proceedings of the 7th QMath Conference, World Scientific Publishing, 1999, pp. 233–242.
LibreCat: https://research-explorer.ista.ac.at/record/2711
DOI: 10.1007/978-3-0348-8745-8_20

Analysis of cyclic nucleotides and cytokinins in minute plant samples using phase system switching capillary electrospray liquid chromatography tandem mass spectrometry
E. Witters, K. Vanhoutte, W. Dewitte, I. Machádková, E. Benková, W. Van Dongen, E. Esmans, H. Van Onckelen, Phytochemical Analysis 10 (1999) 143–151.
LibreCat: https://research-explorer.ista.ac.at/record/2864
DOI: 10.1002/(SICI)1099-1565(199905/06)10:3&lt;143::AID-PCA441&gt;3.0.CO;2-G