Please note that IST 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.

6224 Publications


1999 | Journal Article | IST-REx-ID: 2597
T. Bushell, C. Lee, R. Shigemoto, and R. Miller, “Modulation of synaptic transmission and differential localisation of mGlus in cultured hippocampal autapses,” Neuropharmacology, vol. 38, no. 10. Elsevier, pp. 1553–1567, 1999.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 2711
L. Erdös, “Linear Boltzmann equation as the weak coupling limit of the random Schrödinger equation,” presented at the QMath: Mathematical Results in Quantum Physics, 1999, vol. 108, pp. 233–242.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2730
L. Erdös and J. Solovej, “Semiclassical eigenvalue estimates for the Pauli operator with strong nonhomogeneous magnetic fields, I: Nonasymptotic Lieb-Thirring-type estimate,” Duke Mathematical Journal, vol. 96, no. 1. Duke University Press, pp. 127–173, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2783
B. Hof, P. Lucas, and T. Mullin, “Flow state multiplicity in convection,” Physics of Fluids, vol. 11, no. 10. American Institute of Physics, pp. 2815–2817, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2864
E. Witters et al., “Analysis of cyclic nucleotides and cytokinins in minute plant samples using phase system switching capillary electrospray liquid chromatography tandem mass spectrometry,” Phytochemical Analysis, vol. 10, no. 3. Wiley-Blackwell, pp. 143–151, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2865
E. Benková et al., “Cytokinins in tobacco and wheat chloroplasts. Occurrence and changes due to light/dark treatment,” Plant Physiology, vol. 121, no. 1. American Society of Plant Biologists, pp. 245–251, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 8526
V. Kaloshin, “An extension of the Artin-Mazur theorem,” The Annals of Mathematics, vol. 150, no. 2. JSTOR, pp. 729–741, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 883
A. Kondrashov and F. Kondrashov, “Interactions among quantitative traits in the course of sympatric speciation,” Nature, vol. 400, no. 6742. Nature Publishing Group, pp. 351–354, 1999.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4601
R. Alur, T. A. Henzinger, and O. Kupferman, “Alternating-time temporal logic,” presented at the COMPOS: Compositionality, 1999, vol. 1536, pp. 23–60.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4602
R. Alur, L. De Alfaro, T. A. Henzinger, and F. Mang, “Automating modular verification,” presented at the CONCUR: Concurrency Theory, 1999, vol. 1664, pp. 82–97.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 4014
H. Edelsbrunner, “Deformable smooth surface design,” Discrete & Computational Geometry, vol. 21, no. 1. Springer, pp. 87–115, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 4204
C.-P. J. Heisenberg, C. Brennan, and S. Wilson, “Zebrafish aussicht mutant embryos exhibit widespread overexpression of ace (fgf8) and coincident defects in CNS development,” Development, vol. 126, no. 10. Company of Biologists, pp. 2129–2140, 1999.
View
 

1999 | Journal Article | IST-REx-ID: 4277
L. Kruuk, J. Gilchrist, and N. H. Barton, “Hybrid dysfunction in fire-bellied toads (Bombina),” Evolution; International Journal of Organic Evolution, vol. 53, no. 5. Wiley-Blackwell, pp. 1611–1616, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 4279
S. Goodman, N. H. Barton, G. Swanson, K. Abernethy, and J. Pemberton, “Introgression through rare hybridisation: A genetic study of a hybrid zone between red and sika deer (genus Cervus), in Argyll, Scotland,” Genetics, vol. 152, no. 1. Genetics Society of America, pp. 355–371, 1999.
View
 

1999 | Thesis | IST-REx-ID: 4411
S. Qadeer, “Algorithms and Methodology for Scalable Model Checking,” University of California, Berkeley, 1999.
View | Download None (ext.)
 

1999 | Journal Article | IST-REx-ID: 4442
T. A. Henzinger and P. Kopke, “Discrete-time control for rectangular hybrid automata,” Theoretical Computer Science, vol. 221, no. 1–2. Elsevier, pp. 369–392, 1999.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4480
T. A. Henzinger, X. Liu, S. Qadeer, and S. Rajamani, “Formal specification and verification of a dataflow processor array,” presented at the ICCAD: Computer-Aided Design, 1999, pp. 494–499.
View
 

1999 | Conference Paper | IST-REx-ID: 4484
T. A. Henzinger, S. Qadeer, and S. Rajamani, “Verifying sequential consistency on shared-memory multiprocessor systems,” presented at the CAV: Computer Aided Verification, 1999, vol. 1633, pp. 301–315.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4485
T. A. Henzinger, B. Horowitz, and R. Majumdar, “Rectangular hybrid games,” presented at the CONCUR: Concurrency Theory, 1999, vol. 1664, pp. 320–335.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4487
T. A. Henzinger, S. Qadeer, and S. Rajamani, “Assume-guarantee refinement between different time scales,” presented at the CAV: Computer Aided Verification, 1999, vol. 1633, pp. 208–221.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 4582
R. Alur and T. A. Henzinger, “Reactive modules,” Formal Methods in System Design, vol. 15, no. 1. Springer, pp. 7–48, 1999.
View | DOI
 

1999 | Book | IST-REx-ID: 3137
P. M. Jonas and H. Monyer, Eds., Ionotropic Glutamate Receptors in the CNS, vol. 141. Springer, 1999.
View | Download (ext.)
 

1999 | Journal Article | IST-REx-ID: 3148
D. E. Siekhaus and R. Fuller, “A role for amontillado the Drosophila homolog of the neuropeptide precursor processing protease PC2 in triggering hatching behavior,” Journal of Neuroscience, vol. 19, no. 16. Society for Neuroscience, pp. 6942–6954, 1999.
View
 

1999 | Journal Article | IST-REx-ID: 3444
J. L. Csicsvari, H. Hirase, A. Czurkó, A. Mamiya, and G. Buzsáki, “Fast  network  oscillations  in the  hippocampal  CA1 region of the behaving rat,” Journal of Neuroscience, vol. 19, no. 16. Society for Neuroscience, 1999.
View
 

1999 | Journal Article | IST-REx-ID: 3445
G. Dragoi, D. Carpi, M. Recce, J. L. Csicsvari, and G. Buzsáki, “Hippocampomedial septal interactions during sharp waves and theta oscillation in the behaving rat,” Journal of Neuroscience, vol. 19, no. 14. Society for Neuroscience, pp. 6191–6199, 1999.
View
 

1999 | Book Chapter | IST-REx-ID: 3456
H. Monyer, P. M. Jonas, and J. Rossier, “Molecular determinants controlling functional properties of AMPARs and NMDARs in the mammalian CNS,” in Ionotropic Glutamate Receptors in the CNS, vol. 141, P. M. Jonas and H. Monyer, Eds. Springer, 1999, pp. 309–339.
View | DOI
 

1999 | Book Chapter | IST-REx-ID: 3457
J. Geiger, A. Roth, B. Taskin, and P. M. Jonas, “Glutamate-mediated synaptic excitation of cortical interneurons,” in Ionotropic Glutamate Receptors in the CNS, vol. 141, H. Monyer and P. M. Jonas, Eds. Springer, 1999, pp. 363–398.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3515
M. Penttonen et al., “Ultra-slow oscillation (0.025 Hz) triggers hippocampal afterdischarges in Wistar rats,” Neuroscience, vol. 94, no. 3. Elsevier, pp. 735–743, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3518
Z. Nádasdy, H. Hirase, A. Czurkó, J. L. Csicsvari, and G. Buzsáki, “Replay and time compression of recurring spike sequences in the hippocampus,” Journal of Neuroscience, vol. 19, no. 21. Society for Neuroscience, pp. 9497–9507, 1999.
View
 

1999 | Journal Article | IST-REx-ID: 3519
A. Czurkó, H. Hirase, J. L. Csicsvari, and G. Buzsáki, “Sustained activation of hippocampal pyramidal cells by ‘space clamping’’ in a running wheel,’” European Journal of Neuroscience, vol. 11, no. 1. Wiley-Blackwell, pp. 344–352, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3524
J. L. Csicsvari, H. Hirase, A. Czurkó, A. Mamiya, and G. Buzsáki, “Oscillatory coupling of hippocampal pyramidal cells and interneurons in the behaving rat,” Journal of Neuroscience, vol. 19, no. 1. Society for Neuroscience, pp. 274–287, 1999.
View | Download (ext.)
 

1999 | Journal Article | IST-REx-ID: 3531
G. Dragoi, D. Carpi, M. Recce, J. L. Csicsvari, and G. Buzsáki, “Interactions between hippocampus and medial septum during sharp waves and theta oscillation in the behaving rat,” Journal of Neuroscience, vol. 19, no. 14. Society for Neuroscience, pp. 6191–6199, 1999.
View
 

1999 | Journal Article | IST-REx-ID: 3539
H. Hirase, A. Czurkó, J. L. Csicsvari, and G. Buzsáki, “Firing rate and theta-phase coding by hippocampal pyramidal neurons during ‘space clamping,’” European Journal of Neuroscience, vol. 11, no. 12. Wiley-Blackwell, pp. 4373–4380, 1999.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 3554
X. Jiao, H. Edelsbrunner, and M. Heath, “Mesh association: formulation and algorithms,” presented at the IMR: International Meshing Roundtable, 1999, pp. 75–82.
View | Download (ext.)
 

1999 | Book Chapter | IST-REx-ID: 3571
T. Dey, H. Edelsbrunner, and S. Guha, “Computational topology,” in Advances in Discrete and Computational Geometry, vol. 223, American Mathematical Society, 1999, pp. 109–143.
View | Download (ext.)
 

1999 | Journal Article | IST-REx-ID: 3582
T. Dey, H. Edelsbrunner, S. Guha, and D. Nekhayev, “Topology preserving edge contraction,” Publications de l’Institut Mathématique, vol. 66. Jugostampa, pp. 23–45, 1999.
View | Download (ext.)
 

1999 | Journal Article | IST-REx-ID: 3625
N. H. Barton, “Clines in polygenic traits,” Genetical Research, vol. 74, no. 3. Cambridge University Press, pp. 223–236, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3626
L. Kruuk, S. Baird, K. Gale, and N. H. Barton, “A comparison of multilocus clines maintained by environmental adaptation or by selection against hybrids,” Genetics, vol. 153, no. 4. Genetics Society of America, pp. 1959–1971, 1999.
View
 

1998 | Journal Article | IST-REx-ID: 2583
J. Li, Y. Ding, K. Xiong, J. Li, R. Shigemoto, and N. Mizuno, “Substance P receptor (NK1)-immunoreactive neurons projecting to the periaqueductal gray: Distribution in the spinal trigeminal nucleus and the spinal cord of the rat,” Neuroscience Research, vol. 30, no. 3. Elsevier, pp. 219–225, 1998.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2584
A. Kinoshita, R. Shigemoto, H. Ohishi, H. Van Der Putten, and N. Mizuno, “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, vol. 393, no. 3. Wiley-Blackwell, pp. 332–352, 1998.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2585
E. Wada, R. Shigemoto, A. Kinoshita, H. Ohishi, and N. Mizuno, “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, vol. 393, no. 4. Wiley-Blackwell, pp. 493–504, 1998.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2586
D. Watanabe et al., “Ablation of cerebellar Golgi cells disrupts synaptic integration involving GABA inhibition and NMDA receptor activation in motor coordination,” Cell, vol. 95, no. 1. Cell Press, pp. 17–27, 1998.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2587
D. Jaarsma, M. Diño, H. Ohishi, R. Shigemoto, and E. Mugnaini, “Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex,” Brain Cell Biology, vol. 27, no. 5. Springer, pp. 303–327, 1998.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2588
K. Kaupmann et al., “ GABA(B)-receptor subtypes assemble into functional heteromeric complexes,” Nature, vol. 396, no. 6712. Nature Publishing Group, pp. 683–687, 1998.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2589
A. Baude and R. Shigemoto, “Cellular and subcellular distribution of substance P receptor immunoreactivity in the dorsal vagal complex of the rat and cat: A light and electron microscope study,” Journal of Comparative Neurology, vol. 402, no. 2. Wiley-Blackwell, pp. 181–196, 1998.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2590
D. Jaarsma, M. Diño, H. Ohishi, R. Shigemoto, and E. Mugnaini, “ Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex,” Journal of Neurocytology, vol. 27, no. 5. Kluwer, pp. 303–327, 1998.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 2695
L. Erdös and H. Yau, “Linear Boltzmann equation as scaling limit of quantum Lorentz gas,” presented at the Differential Equations and Mathematical Physics, 1998, vol. 217, pp. 137–155.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2728
L. Erdös, “Lifschitz tail in a magnetic field: The nonclassical regime,” Probability Theory and Related Fields, vol. 112, no. 3. Springer, pp. 321–371, 1998.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 1954
L. A. Sazanov, P. Burrows, and P. Nixon, “The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves,” FEBS Letters, vol. 429, no. 1. Elsevier, pp. 115–118, 1998.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 1955 | OA
P. Burrows, L. A. Sazanov, Z. Sváb, P. Maliga, and P. Nixon, “Identification of a functional respiratory complex in chloroplasts through analysis of tobacco mutants containing disrupted plastid ndh genes,” EMBO Journal, vol. 17, no. 4. Wiley-Blackwell, pp. 868–876, 1998.
View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 1956
L. A. Sazanov, P. Burrows, and P. Nixon, “The plastid ndh genes code for an NADH-specific dehydrogenase: Isolation of a complex I analogue from pea thylakoid membranes,” PNAS, vol. 95, no. 3. National Academy of Sciences, pp. 1319–1324, 1998.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4603
R. Alur, T. A. Henzinger, O. Kupferman, and M. Vardi, “Alternating refinement relations,” presented at the CONCUR: Concurrency Theory, 1998, vol. 1466, pp. 163–178.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4604
R. Alur, T. A. Henzinger, F. Mang, S. Qadeer, S. Rajamani, and S. Tasiran, “Mocha: Modularity in model checking,” presented at the CAV: Computer Aided Verification, 1998, vol. 1427, pp. 521–525.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4606
R. Alur, T. A. Henzinger, and S. Rajamani, “Symbolic exploration of transition hierarchies,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 1998, vol. 1384, pp. 330–344.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4639
L. De Alfaro, T. A. Henzinger, and O. Kupferman, “Concurrent reachability games,” presented at the FOCS: Foundations of Computer Science, 1998, pp. 564–575.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 6160
M. de Bono and C. I. Bargmann, “Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans,” Cell, vol. 94, no. 5. Elsevier, pp. 679–689, 1998.
View | DOI | PubMed | Europe PMC
 

1998 | Journal Article | IST-REx-ID: 1449 | OA
T. Hausel, “Compactification of moduli of Higgs bundles,” Journal fur die Reine und Angewandte Mathematik, vol. 1998, no. 503. Walter de Gruyter, pp. 169–192, 1998.
View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 1450 | OA
T. Hausel, “Vanishing of intersection numbers on the moduli space of Higgs bundles,” Advances in Theoretical and Mathematical Physics, vol. 2, no. 5. International Press, pp. 1011–1040, 1998.
View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 3926
S. Cremer and M. Greenfield, “Partitioning the components of sexual selection: attractiveness and agonistic behaviour in male wax moths, Achroia grisella (Lepidoptera, Pyralidae),” Ethology, vol. 104, no. 1. Wiley-Blackwell, pp. 1–9, 1998.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4011
J. Liang, H. Edelsbrunner, P. Fu, P. Sudhakar, and S. Subramaniam, “Analytical shape computation of macromolecules: I. molecular area and volume through alpha shape,” Proteins: Structure, Function and Bioinformatics, vol. 33, no. 1. Wiley-Blackwell, pp. 1–17, 1998.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4012
J. Liang, H. Edelsbrunner, P. Fu, P. Sudhakar, and S. Subramaniam, “Analytical shape computation of macromolecules: II. Inaccessible cavities in proteins,” Proteins: Structure, Function and Bioinformatics, vol. 33, no. 1. Wiley-Blackwell, pp. 18–29, 1998.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4013
H. Edelsbrunner, M. Facello, and J. Liang, “On the definition and the construction of pockets in macromolecules,” Discrete Applied Mathematics, vol. 88, no. 1–3. Elsevier, pp. 83–102, 1998.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4015
H. Edelsbrunner, “Shape reconstruction with Delaunay complex,” presented at the LATIN: Latin American Symposium on Theoretical Informatics , 1998, vol. 1380, pp. 119–132.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4016
H. Edelsbrunner, M. Facello, P. Fu, J. Qian, and D. Nekhayev, “Wrapping 3D scanning data,” presented at the Three-Dimensional Image Capture and Applications, 1998, vol. 3313, pp. 148–158.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4017 | OA
J. Liang, H. Edelsbrunner, and C. Woodward, “Anatomy of protein pockets and cavities: Measurement of binding site geometry and implications for ligand design,” Protein Science, vol. 7, no. 9. Wiley-Blackwell, pp. 1884–1897, 1998.
View | DOI | Download (ext.)
 

1998 | Conference Paper | IST-REx-ID: 4019
H. Cheng, H. Edelsbrunner, and P. Fu, “Shape space from deformation,” presented at the CGA: Conference on Computer Graphics and Applications , 1998, pp. 104–113.
View | DOI
 

1998 | Book Chapter | IST-REx-ID: 4020
H. Edelsbrunner, “Geometry for modeling biomolecules,” in Robotics: The Algorithmic Perspective, AK Peters, 1998, pp. 265–277.
View
 

1998 | Journal Article | IST-REx-ID: 4280
M. Ritchie and N. H. Barton, “Hybrids and hybrid zones: Reply from M.G. Ritchie and N.H. Barton,” Trends in Ecology and Evolution, vol. 13, no. 7. Cell Press, pp. 282–283, 1998.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4281
N. H. Barton and B. Charlesworth, “Why sex and recombination?,” Science, vol. 281, no. 5385. American Association for the Advancement of Science, pp. 1986–1990, 1998.
View | DOI
 

1998 | Book Review | IST-REx-ID: 4282
N. H. Barton, “Genetics and analysis of quantitative traits,” Genetical Research, vol. 72, no. 1. Cambridge University Press, pp. 73–73, 1998.
View
 

1998 | Book Review | IST-REx-ID: 4283
N. H. Barton, “The geometry of adaptation,” Nature, vol. 395, no. 6704. Nature Publishing Group, pp. 751–752, 1998.
View
 

1998 | Conference Paper | IST-REx-ID: 4408
J. Raskin, P. Schobbens, and T. A. Henzinger, “Axioms for real-time logics,” presented at the CONCUR: Concurrency Theory, 1998, vol. 1466, pp. 219–236.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4410
J. Preußig, S. Kowalewski, H. Wong Toi, and T. A. Henzinger, “An algorithm for the approximative analysis of rectangular automata,” presented at the FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998, vol. 1486, pp. 228–240.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4429
T. A. Henzinger and V. Rusu, “Reachability verification for hybrid automata,” presented at the HSCC: Hybrid Systems - Computation and Control, 1998, vol. 1386, pp. 190–204.
View | DOI
 

1998 | Conference (Editor) | IST-REx-ID: 4430
T. A. Henzinger and S. Sastry, HSCC: Hybrid Systems—Computation and Control, vol. 1386. Springer, 1998.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4486
T. A. Henzinger, S. Qadeer, S. Rajamani, and S. Tasiran, “An assume-guarantee rule for checking simulation,” presented at the FMCAD: Formal Methods in Computer-Aided Design, 1998, vol. 1522, pp. 421–432.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4488
T. A. Henzinger, S. Qadeer, and S. Rajamani, “You assume, we guarantee: Methodology and case studies,” presented at the CAV: Computer Aided Verification, 1998, vol. 1427, pp. 440–451.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4489
T. A. Henzinger, O. Kupferman, and S. Qadeer, “From pre-historic to post-modern symbolic model checking,” presented at the CAV: Computer Aided Verification, 1998, vol. 1427, pp. 195–206.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4490
T. A. Henzinger, J. Raskin, and P. Schobbens, “The regular real-time languages,” presented at the ICALP: Automata, Languages and Programming, 1998, vol. 1443, pp. 580–591.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4491
T. A. Henzinger, P. Ho, and H. Wong Toi, “Algorithmic analysis of nonlinear hybrid systems,” IEEE Transactions on Automatic Control, vol. 43, no. 4. IEEE, pp. 540–554, 1998.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4492
T. A. Henzinger, P. Kopke, A. Puri, and P. Varaiya, “What’s decidable about hybrid automata?,” Journal of Computer and System Sciences, vol. 57, no. 1. Elsevier, pp. 94–124, 1998.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4515
T. A. Henzinger, “It’s about time: Real-time logics reviewed,” presented at the CONCUR: Concurrency Theory, 1998, vol. 1466, pp. 439–454.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3487
P. M. Jonas, J. Bischofberger, and J. Sandkühler, “Corelease of two fast neurotransmitters at a central synapse,” Science, vol. 281, no. 5375. American Association for the Advancement of Science, pp. 419–424, 1998.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3488
M. Martina, J. Schultz, H. Ehmke, H. Monyer, and P. M. Jonas, “Functional and molecular differences between voltage-gated K+ channels of fast-spiking interneurons and pyramidal neurons of rat hippocampus,” Journal of Neuroscience, vol. 18, no. 20. Society for Neuroscience, pp. 8111–8125, 1998.
View | Download (ext.)
 

1998 | Patent | IST-REx-ID: 3506
H. Edelsbrunner and P. Fu, “Apparatus and method for geometric morphing.” Elsevier, 1998.
View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 3521
J. L. Csicsvari, H. Hirase, A. Czurkó, and G. Buzsáki, “Reliability and state dependence of pyramidal cell-interneuron synapses in the hippocampus: an ensemble approach in the behaving rat,” Neuron, vol. 21, no. 1. Elsevier, pp. 179–189, 1998.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3525
Z. Nádasdy, J. L. Csicsvari, H. Hirase, A. Czurkó, and G. Buzsáki, “Persistence and temporal compression of spike sequences during fast field oscillation in the hippocampus,” European Journal of Neuroscience, vol. 10, no. Suppl. 10. Wiley-Blackwell, pp. 9409–9409, 1998.
View
 

1998 | Journal Article | IST-REx-ID: 3527
J. L. Csicsvari, A. Czurkó, H. Hirase, and G. Buzsáki, “Monosynaptic interactions between CA1 Pyramidal cells and interneuron in the behaving rat,” European Journal of Neuroscience, vol. 10, no. Suppl. 10. Wiley-Blackwell, pp. 2553–2553, 1998.
View
 

1998 | Journal Article | IST-REx-ID: 3535
H. Hirase, A. Czurkó, J. L. Csicsvari, and G. Buzsáki, “Hippocampal pyramidal neutrons ‘space-clamped’ in a running wheel task: Place cells or path integrators?,” European Journal of Neuroscience, vol. 10, no. Suppl. 10. Wiley-Blackwell, pp. 9932–9932, 1998.
View
 

1998 | Book Chapter | IST-REx-ID: 3570
U. Axen and H. Edelsbrunner, “Auditory Morse analysis of triangulated manifolds,” in Mathematical Visualization, Springer, 1998, pp. 223–236.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3627
N. H. Barton, “The effect of hitch-hiking on neutral genealogies,” Genetical Research, vol. 72, no. 2. Cambridge University Press, pp. 123–133, 1998.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3628
S. West, A. Peters, and N. H. Barton, “Testing for epistasis between deleterious mutations,” Genetics, vol. 149, no. 1. Genetics Society of America, pp. 435–444, 1998.
View
 

1998 | Journal Article | IST-REx-ID: 3629
C. Maccallum, B. Nürnberger, N. H. Barton, and J. Szymura, “Habitat preference in the Bombina hybrid zone in Croatia,” Evolution, vol. 52, no. 1. Wiley-Blackwell, pp. 227–239, 1998.
View | Download (ext.)
 

1997 | Journal Article | IST-REx-ID: 2493
L. Acsády, I. Katona, A. Gulyás, R. Shigemoto, and T. Freund, “Immunostaining for substance P receptor labels GABAergic cells with distinct termination patterns in the hippocampus,” Journal of Comparative Neurology, vol. 378, no. 3. Wiley-Blackwell, pp. 320–336, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2575
H. Li, H. Ohishi, A. Kinoshita, R. Shigemoto, S. Nomura, and N. Mizuno, “Localization of a metabotropic glutamate receptor, mGluR7, in axon terminals of presumed nociceptive, primary afferent fibers in the superficial layers of the spinal dorsal horn: An electron microscope study in the rat,” Neuroscience Letters, vol. 223, no. 3. Elsevier, pp. 153–156, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2576
J. Li, T. Kaneko, R. Shigemoto, and N. Mizuno, “Distribution of trigeminohypothalamic and spinohypothalamic tract neurons displaying substance P receptor-like immunoreactivity in the rat,” Journal of Comparative Neurology, vol. 378, no. 4. Wiley-Blackwell, pp. 508–521, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2577
Y. Tone et al., “The regional distribution and cellular localization of mRNA encoding rat prostacyclin synthase,” European Journal of Cell Biology, vol. 72, no. 3. Elsevier, pp. 268–277, 1997.
View
 

1997 | Journal Article | IST-REx-ID: 2578
V. Seybold et al., “Relationship of NK3 receptor-immunoreactivity to subpopulations of neurons in rat spinal cord,” Journal of Comparative Neurology, vol. 381, no. 4. Wiley-Blackwell, pp. 439–448, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2579
P. Mann, B. Southwell, Y. Ding, R. Shigemoto, N. Mizuno, and J. Furness, “Localisation of neurokinin 3 (NK3) receptor immunoreactivity in the rat gastrointestinal tract,” Cell and Tissue Research, vol. 289, no. 1. Springer, pp. 1–9, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2580
R. Luján, J. Roberts, R. Shigemoto, H. Ohishi, and P. Somogyi, “Differential plasma membrane distribution of metabotropic glutamate receptors mGluR1α, mGluR2 and mGluR5, relative to neurotransmitter release sites,” Journal of Chemical Neuroanatomy, vol. 13, no. 4. Elsevier, pp. 219–241, 1997.
View | DOI
 

Search

Filter Publications