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.

5703 Publications


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, 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 | 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, pp. 344–352, 1999.
View | DOI
 

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 | Thesis | IST-REx-ID: 4411
S. Qadeer, Algorithms and Methodology for Scalable Model Checking. University of California, Berkeley, 1999, pp. 1–150.
View | Download (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, 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: 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: 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 | Journal Article | IST-REx-ID: 2593
X. Yu, E. Zhang, A. Craig, R. Shigemoto, A. Ribeiro Da Silva, and Y. De Koninck, “NK-1 receptor immunoreactivity in distinct morphological types of lamina I neurons of the primate spinal cord,” Journal of Neuroscience, vol. 19, no. 9, pp. 3545–3555, 1999.
View
 

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, pp. 2815–2817, 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, pp. 245–251, 1999.
View | DOI
 

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, pp. 6191–6199, 1999.
View
 

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, pp. 735–743, 1999.
View | DOI
 

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, pp. 4373–4380, 1999.
View | DOI
 

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, pp. 1611–1616, 1999.
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, pp. 7–48, 1999.
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
 

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, 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: 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, pp. 9932–9932, 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, pp. 227–239, 1998.
View | 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 | 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, pp. 282–283, 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: 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: 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, pp. 219–225, 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, pp. 683–687, 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, pp. 303–327, 1998.
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, pp. 321–371, 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 | Journal Article | IST-REx-ID: 4281
N. H. Barton and B. Charlesworth, “Why sex and recombination?,” Science, vol. 281, no. 5385, pp. 1986–1990, 1998.
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: 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 | 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 | 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 | 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, pp. 115–118, 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, pp. 332–352, 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, pp. 181–196, 1998.
View | DOI
 

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: 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, pp. 9409–9409, 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: 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, pp. 1–17, 1998.
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 | 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 | 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: 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 | 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, pp. 540–554, 1998.
View | DOI
 

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, pp. 1011–1040, 1998.
View | DOI | Download (ext.)
 

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, pp. 868–876, 1998.
View | DOI | Download (ext.)
 

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, pp. 493–504, 1998.
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, pp. 123–133, 1998.
View | DOI
 

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, pp. 179–189, 1998.
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, pp. 419–424, 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, pp. 18–29, 1998.
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, pp. 1884–1897, 1998.
View | DOI | Download (ext.)
 

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 (Editor) | IST-REx-ID: 4430
T. A. Henzinger and S. Sastry, HSCC: Hybrid Systems—Computation and Control, vol. 1386. Springer, 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, pp. 94–124, 1998.
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 | 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, pp. 169–192, 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, pp. 1319–1324, 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, pp. 17–27, 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, pp. 435–444, 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, pp. 2553–2553, 1998.
View
 

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, pp. 8111–8125, 1998.
View | Download (ext.)
 

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: 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, pp. 1–9, 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, pp. 83–102, 1998.
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 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 | 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, pp. 679–689, 1998.
View | DOI | PubMed | Europe PMC
 

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, pp. 153–156, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2582
R. Shigemoto et al., “Differential presynaptic localization of metabotropic glutamate receptor subtypes in the rat hippocampus,” Journal of Neuroscience, vol. 17, no. 19, pp. 7503–7522, 1997.
View
 

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, pp. 320–336, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2727
L. Erdös, “Dia- and paramagnetism for nonhomogeneous magnetic fields,” Journal of Mathematical Physics, vol. 38, no. 3, pp. 1289–1317, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3631
T. Kawecki, N. H. Barton, and J. Fry, “Mutational collapse of fitness in marginal habitats and the evolution of ecological specialisation,” Journal of Evolutionary Biology, vol. 10, no. 3, pp. 407–430, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3484
J. Geiger, J. Lubke, A. Roth, M. Frotscher, and P. M. Jonas, “Submillisecond AMPA receptor-mediated signaling at a principal neuron-interneuron synapse,” Neuron, vol. 18, no. 6, pp. 1009–1023, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4021
H. Edelsbrunner and R. Waupotitsch, “A combinatorial approach to cartograms,” Computational Geometry: Theory and Applications, vol. 7, no. 5–6, pp. 343–360, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4285
S. Otto and N. H. Barton, “The evolution of recombination: Removing the limits to natural selection,” Genetics, vol. 147, no. 2, pp. 879–906, 1997.
View
 

1997 | Conference Paper | IST-REx-ID: 4494
T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: A model checker for hybrid systems,” presented at the CAV: Computer Aided Verification, 1997, vol. 1254, pp. 460–463.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4583
R. Alur and T. A. Henzinger, “Modularity for timed and hybrid systems,” presented at the CONCUR: Concurrency Theory, 1997, vol. 1243, pp. 74–88.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4608
R. Alur, R. Brayton, T. A. Henzinger, S. Qadeer, and S. Rajamani, “Partial-order reduction in symbolic state-space exploration,” presented at the CAV: Computer Aided Verification, 1997, vol. 1254, pp. 340–351.
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, pp. 508–521, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3632
M. Kirkpatrick and N. H. Barton, “The strength of indirect selection on female mating preferences,” PNAS, vol. 94, no. 4, pp. 1282–1286, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3485
M. Martina and P. M. Jonas, “Functional differences in Na+ channel gating between fast-spiking interneurones and principal neurones in rat hippocampus,” Journal of Physiology, vol. 505, no. 3, pp. 593–603, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4022
H. Edelsbrunner, P. Valtr, and E. Welzl, “Cutting dense point sets in half,” Discrete & Computational Geometry, vol. 17, no. 3, pp. 243–255, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4286
J. Piálek and N. H. Barton, “The spread of an advantageous allele across a barrier: the effects of random drift and selection against heterozygotes,” Genetics, vol. 145, no. 2, pp. 493–504, 1997.
View
 

1997 | Book Chapter | IST-REx-ID: 4293
N. H. Barton and M. Whitlock, “The evolution of metapopulations,” in Metapopulation Biology, Academic Press, 1997, pp. 183–210.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4438
T. A. Henzinger and O. Kupferman, “From quantity to quality,” presented at the HART: Hybrid and Real-Time Systems, 1997, vol. 1201, pp. 48–62.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4584
R. Alur and T. A. Henzinger, “Real-time system = discrete system + clock variables,” Software Tools For Technology Transfer, vol. 1, no. 1–2, pp. 86–109, 1997.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4609
R. Alur, T. A. Henzinger, and O. Kupferman, “Alternating-time temporal logic,” presented at the FOCS: Foundations of Computer Science, 1997, pp. 100–109.
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, pp. 268–277, 1997.
View
 

1997 | Journal Article | IST-REx-ID: 2729
L. Erdös and J. Solovej, “Semiclassical eigenvalue estimates for the Pauli operator with strong non-homogeneous magnetic fields, II. Leading order asymptotic estimates,” Communications in Mathematical Physics, vol. 188, no. 3, pp. 599–656, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3633
M. Kirkpatrick and N. H. Barton, “Evolution of a species’ range,” American Naturalist, vol. 150, no. 1, pp. 1–23, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3486
J. Bischofberger and P. M. Jonas, “Action potential propagation into the presynaptic dendrites of rat mitral cells,” Journal of Physiology, vol. 504, no. Pt 2, pp. 359–365, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4023
H. Edelsbrunner and E. Ramos, “Inclusion-exclusion complexes for pseudodisk collections,” Discrete & Computational Geometry, vol. 17, no. 3, pp. 287–306, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4174
I. Masai, C. Heisenberg, K. A. Barth, R. Macdonald, S. Adamek, and S. Wilson, “Floating head and masterblind regulate neuronal patterning in the roof of the forebrain,” Neuron, vol. 18, no. 1, pp. 43–57, 1997.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed