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.

1704 Publications


2000 |Published| Conference Paper | IST-REx-ID: 4439
Henzinger TA, Majumdar R. 2000. A classification of symbolic transition systems. Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science. STACS: Theoretical Aspects of Computer Science, LNCS, vol. 1770, 13–34.
View | DOI
 

2000 |Published| Conference Paper | IST-REx-ID: 4435
Henzinger TA, Majumdar R. 2000. Symbolic model checking for rectangular hybrid systems. Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1785, 142–156.
View | DOI
 

2000 |Published| Conference Paper | IST-REx-ID: 4434
Henzinger TA, Raskin J. 2000. Robust undecidability of timed and hybrid systems. Proceedings of the 3rd International Workshop on Hybrid Systems. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 1790, 145–159.
View | DOI
 

2000 |Published| Journal Article | IST-REx-ID: 4197
Heisenberg C-PJ, Tada M, Rauch G, Saúde L, Concha M, Geisler R, Stemple D, Smith J, Wilson S. 2000. Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation. Nature. 405(6782), 76–81.
View | DOI | PubMed | Europe PMC
 

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

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

2000 |Published| Conference Paper | IST-REx-ID: 3555
Edelsbrunner H, Li X, Miller G, Stathopoulos A, Talmor D, Teng S, Üngör A, Walkington N. 2000. Smoothing and cleaning up slivers. Proceedings of the 32nd annual ACM symposium on Theory of computing. STOC: Symposium on the Theory of Computing, 273–277.
View | DOI
 

2000 |Published| Journal Article | IST-REx-ID: 3492
Geiger J, Jonas PM. 2000. Dynamic control of presynaptic Ca(2+) inflow by fast-inactivating K+ channels in hippocampal mossy fiber boutons. Neuron. 28(3), 927–939.
View | DOI | PubMed | Europe PMC
 

2000 |Published| Book Chapter | IST-REx-ID: 2710
Erdös L. 2000.The kernel of Dirac operators on S3 and R3. In: Differential Equations and Mathematical Physics. AMS/IP Studies in Advanced Mathematics, vol. 16, 111–119.
[Preprint] View | DOI | arXiv
 

2000 |Published| Journal Article | IST-REx-ID: 12925
Fürst J, Jakab M, König M, Ritter M, Gschwentner M, Rudzki J, Danzl JG, Mayer M, Burtscher CM, Schirmer J, Maier B, Nairz M, Chwatal S, Paulmichl M. 2000. Structure and Function of the Ion Channel ICln. Cellular Physiology and Biochemistry. 10(5–6), 329–334.
View | DOI | PubMed | Europe PMC
 

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

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

1999 |Published| Journal Article | IST-REx-ID: 2597
Bushell T, Lee C, Shigemoto R, Miller R. 1999. Modulation of synaptic transmission and differential localisation of mGlus in cultured hippocampal autapses. Neuropharmacology. 38(10), 1553–1567.
View | DOI | PubMed | Europe PMC
 

1999 |Published| Conference Paper | IST-REx-ID: 2711
Erdös L. 1999. Linear Boltzmann equation as the weak coupling limit of the random Schrödinger equation. Proceedings of the 7th QMath Conference. QMath: Mathematical Results in Quantum Physics, Operator Theory: Advances and Applications, vol. 108, 233–242.
View | DOI
 

1999 |Published| Journal Article | IST-REx-ID: 2864
Witters E, Vanhoutte K, Dewitte W, Macháčková I, Benková E, Van Dongen W, Esmans E, Van Onckelen H. 1999. Analysis of cyclic nucleotides and cytokinins in minute plant samples using phase system switching capillary electrospray liquid chromatography tandem mass spectrometry. Phytochemical Analysis. 10(3), 143–151.
View | DOI
 

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

1999 |Published| Book Chapter | IST-REx-ID: 3456
Monyer H, Jonas PM, Rossier J. 1999.Molecular determinants controlling functional properties of AMPARs and NMDARs in the mammalian CNS. In: Ionotropic Glutamate Receptors in the CNS. Handbook of experimental pharmacology, vol. 141, 309–339.
View | DOI
 

1999 |Published| Book Chapter | IST-REx-ID: 3457
Geiger J, Roth A, Taskin B, Jonas PM. 1999.Glutamate-mediated synaptic excitation of cortical interneurons. In: Ionotropic Glutamate Receptors in the CNS. Handbook of experimental pharmacology, vol. 141, 363–398.
View | DOI
 

1999 |Published| Conference Paper | IST-REx-ID: 4484
Henzinger TA, Qadeer S, Rajamani S. 1999. Verifying sequential consistency on shared-memory multiprocessor systems. Proceedings of the 11th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 1633, 301–315.
View | DOI
 

1999 |Published| Conference Paper | IST-REx-ID: 4485
Henzinger TA, Horowitz B, Majumdar R. 1999. Rectangular hybrid games. Proceedings of the 10th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1664, 320–335.
View | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications