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.

1950 Publications


2000 | Book Chapter | IST-REx-ID: 4513
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.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4433
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.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4439
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.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4435
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.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4434
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.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4197
Silberblick/Wnt11 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.
View | DOI | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 4010
Sliver exudation
S. Cheng, T. Dey, H. Edelsbrunner, M. Facello, S. Teng, Journal of the ACM 47 (2000) 883–904.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4004
Edgewise subdivision of a simplex
H. Edelsbrunner, D. Grayson, Discrete & Computational Geometry 24 (2000) 707–719.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 3555
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.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3492 View | DOI | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 2603
Presynaptic clustering of mGluR7a 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.
View | DOI | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 2731
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.
[Preprint] View | DOI | arXiv
 

2000 | Book Chapter | IST-REx-ID: 2710
The kernel of Dirac operators on S3 and R3
L. Erdös, in:, Differential Equations and Mathematical Physics, American Mathematical Society, 2000, pp. 111–119.
[Preprint] View | DOI | arXiv
 

2000 | Journal Article | IST-REx-ID: 12925
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.
View | DOI | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 1455 | OA
Inscribing cubes and covering by rhombic dodecahedra via equivariant topology
T. Hausel, E. Makai, A. Szücs, Mathematika 47 (2000) 371–397.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2000 | Journal Article | IST-REx-ID: 13437
Simple synthesis of 2-substituted Tetrahydrofuran-3-carbonitriles
M. Macogonkosza, J. Przyborowski, R. Klajn, A. Kwast, Synlett 2000 (2000) 1773–1774.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2597
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.
View | DOI | PubMed | Europe PMC
 

1999 | Conference Paper | IST-REx-ID: 2711
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.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2864
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áčková, E. Benková, W. Van Dongen, E. Esmans, H. Van Onckelen, Phytochemical Analysis 10 (1999) 143–151.
View | DOI
 

1999 | Book (Editor) | IST-REx-ID: 3137
Ionotropic Glutamate Receptors in the CNS
P.M. Jonas, H. Monyer, eds., Ionotropic Glutamate Receptors in the CNS, 1st ed., Springer, Berlin ; Heidelberg, 1999.
View | DOI | Download None (ext.)
 

Filters and Search Terms

isbn%3D978-3-99078-004-6

Search

Filter Publications