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.

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.

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.

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.

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.

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.

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.

Sliver exudation
S. Cheng, T. Dey, H. Edelsbrunner, M. Facello, S. Teng, Journal of the ACM 47 (2000) 883–904.

Edgewise subdivision of a simplex
H. Edelsbrunner, D. Grayson, Discrete &; Computational Geometry 24 (2000) 707–719.

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.

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.

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.

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.

The kernel of Dirac operators on  and 
L. Erdös, in:, Differential Equations and Mathematical Physics, American Mathematical Society, 2000, pp. 111–119.

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.

Inscribing cubes and covering by rhombic dodecahedra via equivariant topology
T. Hausel, E. Makai, A. Szücs, Mathematika 47 (2000) 371–397.

Simple synthesis of 2-substituted Tetrahydrofuran-3-carbonitriles
M. Macogonkosza, J. Przyborowski, R. Klajn, A. Kwast, Synlett 2000 (2000) 1773–1774.

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.

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.

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.