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.
1776 Publications
2000 | Conference Paper | IST-REx-ID: 4481
Henzinger TA, Horowitz B, Majumdar R, Wong Toi H. 2000. Beyond HyTech: Hybrid systems analysis using interval numerical methods. Proceedings of the 3rd International Workshop on Hybrid Systems. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 1790, 130–144.
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4433
Henzinger TA, Rajamani S. 2000. Fair bisimulation. 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, 299–314.
View
| DOI
2000 | 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 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 3489 | 
Kraushaar U, Jonas PM. 2000. Efficacy and stability of quantal GABA release at a hippocampal interneuron-principal neuron synapse. Journal of Neuroscience. 20(15), 5594–5607.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2000 | 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 | Journal Article | IST-REx-ID: 1455 |
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
1999 | Journal Article | IST-REx-ID: 2594
Ding Y, Zheng H, Wang D, Xu J, Gong L, Lü Y, Qin B, Shi J, Li H, Li J, Shigemoto R, Kaneko T, Mizuno N. 1999. The distribution of substance P receptor (NK1)-like immunoreactive neurons in the newborn and adult human spinal cord. Neuroscience Letters. 266(2), 133–136.
View
| DOI
| PubMed | Europe PMC
1999 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 2865 |
Benková E, Witters E, Van Dongen W, Kolář J, Motyka V, Brzobohatý B, Van Onckelen H, Macháčková I. 1999. Cytokinins in tobacco and wheat chloroplasts. Occurrence and changes due to light/dark treatment. Plant Physiology. 121(1), 245–251.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1999 | 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 | 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 | Journal Article | IST-REx-ID: 2593 |
Yu X, Zhang E, Craig A, Shigemoto R, Ribeiro Da Silva A, De Koninck Y. 1999. NK-1 receptor immunoreactivity in distinct morphological types of lamina I neurons of the primate spinal cord. Journal of Neuroscience. 19(9), 3545–3555.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1998 | Conference Paper | IST-REx-ID: 11682
Agarwal PK, EppsteinL. J. Guibas D, Henzinger MH. 1998. Parametric and kinetic minimum spanning trees. Proceedings of the 39th Annual Symposium on Foundations of Computer Science. Annual IEEE Symposium on Foundations of Computer Science, 596–605.
View
| DOI
1998 | Journal Article | IST-REx-ID: 2584
Kinoshita A, Shigemoto R, Ohishi H, Van Der Putten H, Mizuno N. 1998. Immunohistochemical localization of metabotropic glutamate receptors, mGluR7a and mGluR7b, in the central nervous system of the adult rat and mouse: A light and electron microscopic study. Journal of Comparative Neurology. 393(3), 332–352.
View
| DOI
| PubMed | Europe PMC
1998 | Journal Article | IST-REx-ID: 2585
Wada E, Shigemoto R, Kinoshita A, Ohishi H, Mizuno N. 1998. Metabotropic glutamate receptor subtypes in axon terminals of projection fibers from the main and accessory olfactory bulbs: A light and electron microscopic immunohistochemical study in the rat. Journal of Comparative Neurology. 393(4), 493–504.
View
| DOI
| PubMed | Europe PMC
1998 | Journal Article | IST-REx-ID: 2590
Jaarsma D, Diño M, Ohishi H, Shigemoto R, Mugnaini E. 1998. Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex. Journal of Neurocytology. 27(5), 303–327.
View
| DOI
| PubMed | Europe PMC
1998 | Journal Article | IST-REx-ID: 3521
Csicsvari JL, Hirase H, Czurkó A, Buzsáki G. 1998. Reliability and state dependence of pyramidal cell-interneuron synapses in the hippocampus: an ensemble approach in the behaving rat. Neuron. 21(1), 179–189.
View
| DOI
| PubMed | Europe PMC
1998 | Journal Article | IST-REx-ID: 3629
Maccallum C, Nürnberger B, Barton NH, Szymura J. 1998. Habitat preference in the Bombina hybrid zone in Croatia. Evolution. 52(1), 227–239.
View
| DOI
| PubMed | Europe PMC
1998 | Journal Article | IST-REx-ID: 4017 |
Liang J, Edelsbrunner H, Woodward C. 1998. Anatomy of protein pockets and cavities: Measurement of binding site geometry and implications for ligand design. Protein Science. 7(9), 1884–1897.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1998 | Conference Paper | IST-REx-ID: 4410
Preußig J, Kowalewski S, Wong Toi H, Henzinger TA. 1998. An algorithm for the approximative analysis of rectangular automata. Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, vol. 1486, 228–240.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4486
Henzinger TA, Qadeer S, Rajamani S, Tasiran S. 1998. An assume-guarantee rule for checking simulation. Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, LNCS, vol. 1522, 421–432.
View
| DOI
1997 | Journal Article | IST-REx-ID: 11767 |
Henzinger MH, Klein P, Rao S, Subramanian S. 1997. Faster shortest-path algorithms for planar graphs. Journal of Computer and System Sciences. 55(1), 3–23.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1997 | Conference Paper | IST-REx-ID: 11803
Henzinger MH, King V. 1997. Maintaining minimum spanning trees in dynamic graphs. 24th International Colloquium on Automata, Languages and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LNCS, vol. 1256, 594–604.
View
| DOI
1997 | Journal Article | IST-REx-ID: 11849 |
Anderson JM, Berc LM, Dean J, Ghemawat S, Henzinger MH, Leung S-TA, Sites RL, Vandevoorde MT, Waldspurger CA, Weihl WE. 1997. Continuous profiling: Where have all the cycles gone? ACM SIGOPS Operating Systems Review. 31(5), 1–14.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
1997 | Journal Article | IST-REx-ID: 2493
Acsády L, Katona I, Gulyás A, Shigemoto R, Freund T. 1997. Immunostaining for substance P receptor labels GABAergic cells with distinct termination patterns in the hippocampus. Journal of Comparative Neurology. 378(3), 320–336.
View
| DOI
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 2578
Seybold V, Grković I, Portbury A, Ding Y, Shigemoto R, Mizuno N, Furness J, Southwell B. 1997. Relationship of NK3 receptor-immunoreactivity to subpopulations of neurons in rat spinal cord. Journal of Comparative Neurology. 381(4), 439–448.
View
| DOI
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 2580
Luján R, Roberts J, Shigemoto R, Ohishi H, Somogyi P. 1997. Differential plasma membrane distribution of metabotropic glutamate receptors mGluR1α, mGluR2 and mGluR5, relative to neurotransmitter release sites. Journal of Chemical Neuroanatomy. 13(4), 219–241.
View
| DOI
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 2579
Mann P, Southwell B, Ding Y, Shigemoto R, Mizuno N, Furness J. 1997. Localisation of neurokinin 3 (NK3) receptor immunoreactivity in the rat gastrointestinal tract. Cell and Tissue Research. 289(1), 1–9.
View
| DOI
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 3485 |
Martina M, Jonas PM. 1997. Functional differences in Na+ channel gating between fast-spiking interneurones and principal neurones in rat hippocampus. Journal of Physiology. 505(3), 593–603.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 3486 |
Bischofberger J, Jonas PM. 1997. Action potential propagation into the presynaptic dendrites of rat mitral cells. Journal of Physiology. 504(Pt 2), 359–365.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 4174 |
Masai I, Heisenberg C-PJ, Barth KA, Macdonald R, Adamek S, Wilson S. 1997. Floating head and masterblind regulate neuronal patterning in the roof of the forebrain. Neuron. 18(1), 43–57.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 4285 |
Otto S, Barton NH. 1997. The evolution of recombination: Removing the limits to natural selection. Genetics. 147(2), 879–906.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1996 | Conference Paper | IST-REx-ID: 11804
Henzinger MH, Telle JA. 1996. Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning. 5th Scandinavian Workshop on Algorithm Theory. SWAT: Scandinavian Workshop on Algorithm Theory, LNCS, vol. 1097, 16–27.
View
| DOI
1996 | Conference Paper | IST-REx-ID: 11910
Henzinger MH, Thorup M. 1996. Improved sampling with applications to dynamic graph algorithms. 23rd International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LNCS, vol. 1099, 290–299.
View
| DOI
1996 | Conference Paper | IST-REx-ID: 11927 |
Henzinger MH, King V, Warnow T. 1996. Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology. 7th Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 333–340.
[Published Version]
View
| Files available
| Download Published Version (ext.)
1996 | Journal Article | IST-REx-ID: 2569
Jia H, Wang B, Rao Z, Shi J, Shigemoto R, Kaneko T, Mizuno N. 1996. GABAergic synapses upon neurons expressing substance P receptors in the nucleus of the solitary tract: An immunocytochemical electron microscope study in the rat. Neuroscience Letters. 210(1), 49–52.
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2567
Li J, Ding Y, Shigemoto R, Mizuno N. 1996. Distribution of trigeminothalamic and spinothalamic-tract neurons showing substance P receptor-like immunoreactivity in the rat. Brain Research. 719(1–2), 207–212.
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4164
Odenthal J, Rossnagel K, Haffter P, Kelsh R, Vogelsang E, Brand M, Van Eeden F, Furutani Seiki M, Granato M, Hammerschmidt M, Heisenberg C-PJ, Jiang Y, Kane D, Mullins M, Nüsslein Volhard C. 1996. Mutations affecting xanthophore pigmentation in the zebrafish, Danio rerio. Development. 123(1), 391–398.
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4212
Haffter P, Granato M, Brand M, Mullins M, Hammerschmidt M, Kane D, Odenthal J, Van Eeden F, Jiang Y, Heisenberg C-PJ, Kelsh R, Furutani Seiki M, Vogelsang E, Beuchle D, Schach U, Fabian C, Nüsslein Volhard C. 1996. The identification of genes with unique and essential functions in the development of the zebrafish, Danio rerio. Development. 123(1), 1–36.
View
| DOI
| PubMed | Europe PMC
1996 | Conference Poster | IST-REx-ID: 4030 |
Liang J, Edelsbrunner H, Subramaniam S. 1996. Effects of molecular shape representations on boundary element method for protein electrostatics computations, Cell Press,p.
View
| DOI
| Download None (ext.)
1996 | Conference Paper | IST-REx-ID: 4443
Henzinger TA, Kopke P. 1996. State equivalences for rectangular hybrid automata. 7th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1119, 530–545.
View
| DOI
| Download None (ext.)
1996 | Conference Paper | IST-REx-ID: 4495
Henzinger TA, Kupferman O, Vardi M. 1996. A space-efficient on-the-fly algorithm for real-time model checking. 7th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1119, 514–529.
View
| DOI
| Download None (ext.)
1996 | Conference (Editor) | IST-REx-ID: 4585
Henzinger TA, Alur R eds. 1996. 8th International Conference on Computer Aided Verification, Springer,p.
View
| DOI
| Download None (ext.)
1995 | Book Chapter | IST-REx-ID: 2465
Morris D, Friml J, Zažímalová E. 1995.Auxin transport. In: Plant Hormones: Biosynthesis, Signal Transduction, Action! , 451–484.
View
| DOI
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 2561
Ohishi H, Nomura S, Ding Y, Shigemoto R, Wada E, Kinoshita A, Li J, Neki A, Nakanishi S, Mizuno N. 1995. Presynaptic localization of a metabotropic glutamate receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study in the rat. Neuroscience Letters. 202(1–2), 85–88.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 | Conference Paper | IST-REx-ID: 2712
Erdös L. 1995. Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals. International Conference on Partial Differential Operators and Mathematical Physics, Operator Theory: Advances and Applications, vol. 78, 127–132.
View
| DOI
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 3478 |
Spruston N, Jonas PM, Sakmann B. 1995. Dendritic glutamate receptor channels in rat hippocampal CA3 and CA1 pyramidal neurons. Journal of Physiology. 482(Pt 2), 325–352.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Conference Paper | IST-REx-ID: 3551
Edelsbrunner H, Facello M, Fu P, Liang J. 1995. Measuring proteins and voids in proteins. Proceedings of the 28th Annual Hawaii International Conference on System Sciences. HICSS: Hawaii International Conference on System Sciences, 256–264.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 3552
Akkiraju N, Edelsbrunner H, Facello M, Fu P, Mücke E, Varela C. 1995. Alpha shapes: definition and software. GCG: International Computational Geometry Software Workshop, 63–66.
View
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 3639
Barton NH. 1995. A general model for the evolution of recombination. Genetical Research. 65(2), 123–144.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 3479 |
Koh D, Geiger J, Jonas PM, Sakmann B. 1995. Ca(2+)-permeable AMPA and NMDA receptor channels in basket cells of rat hippocampal dentate gyrus. Journal of Physiology. 485(Pt 2), 383–402.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 3481 |
Koh D, Burnashev N, Jonas PM. 1995. Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification. Journal of Physiology. 486(Pt 2), 305–312.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 4028 |
Edelsbrunner H. 1995. The union of balls and its dual shape. Discrete & Computational Geometry. 13(1), 415–440.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1995 | Journal Article | IST-REx-ID: 4029
Delfinado C, Edelsbrunner H. 1995. An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere. Computer Aided Geometric Design. 12(7), 771–784.
View
| DOI
| Download None (ext.)
1995 | Journal Article | IST-REx-ID: 4297 |
Sites J, Barton NH, Reed K. 1995. The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico. Evolution. 49(1), 9–36.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Conference Paper | IST-REx-ID: 4450
Henzinger TA, Ho P. 1995. Algorithmic analysis of nonlinear hybrid systems. 7th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 939, 225–238.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4448
Henzinger TA, Ho P. 1995. A note on abstract-interpretation strategies for hybrid automata. 3rd International Hybrid Systems Workshop. Hybrid Systems II, LNCS, vol. 999, 252–264.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4447
Henzinger TA, Ho P. 1995. HyTech: The Cornell Hybrid Technology Tool. 4th International Hybrid Systems Workshop. Hybrid Systems IIILNCS, LNCS, vol. 999, 265–293.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4497
Henzinger TA, Ho P, Wong Toi H. 1995. A user guide to HyTech. 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1019, 41–71.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4500
Henzinger TA, Kopke P, Wong Toi H. 1995. The expressive power of clocks. 22nd International Colloquium on Automata, Languages and Programming . ICALP: Automata, Languages and Programming, LNCS, vol. 944, 417–428.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4518
Henzinger TA. 1995. Hybrid automata with finite bisimulations. 22nd International Colloquium on Automata, Languages and Programming . ICALP: Automata, Languages and Programming, LNCS, vol. 944, 324–335.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4587
Alur R, Henzinger TA. 1995. Local liveness for compositional modeling of fair reactive systems. 7th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 939, 166–179.
View
| DOI
| Download None (ext.)