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.
9113 Publications
1998 | Journal Article | IST-REx-ID: 3628 | 
West, Stuart, Andrew Peters, and Nicholas H Barton. “Testing for Epistasis between Deleterious Mutations.” Genetics. Genetics Society of America, 1998. https://doi.org/10.1093/genetics/149.1.435.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1998 | Journal Article | IST-REx-ID: 3627
Barton, Nicholas H. “The Effect of Hitch-Hiking on Neutral Genealogies.” Genetical Research. Cambridge University Press, 1998. https://doi.org/10.1017/S0016672398003462.
View
| DOI
1998 | Journal Article | IST-REx-ID: 4017 |
Liang, Jie, Herbert Edelsbrunner, and Clare Woodward. “Anatomy of Protein Pockets and Cavities: Measurement of Binding Site Geometry and Implications for Ligand Design.” Protein Science. Wiley-Blackwell, 1998. https://doi.org/10.1002/pro.5560070905.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1998 | Journal Article | IST-REx-ID: 4012
Liang, Jie, Herbert Edelsbrunner, Ping Fu, Pamidighantam Sudhakar, and Shankar Subramaniam. “Analytical Shape Computation of Macromolecules: II. Inaccessible Cavities in Proteins.” Proteins: Structure, Function and Bioinformatics. Wiley-Blackwell, 1998. https://doi.org/10.1002/(SICI)1097-0134(19981001)33:1<18::AID-PROT2>3.0.CO;2-H.
View
| DOI
1998 | Journal Article | IST-REx-ID: 4013 |
Edelsbrunner, Herbert, Michael Facello, and Jie Liang. “On the Definition and the Construction of Pockets in Macromolecules.” Discrete Applied Mathematics. Elsevier, 1998. https://doi.org/10.1016/S0166-218X(98)00067-5.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1998 | Conference Paper | IST-REx-ID: 4015
Edelsbrunner, Herbert. “Shape Reconstruction with Delaunay Complex.” In Proceedingsof the 3rd Latin American Symposium on Theoretical Informatics, 1380:119–32. Springer, 1998. https://doi.org/10.1007/BFb0054315.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4019
Cheng, Ho, Herbert Edelsbrunner, and Ping Fu. “Shape Space from Deformation.” In Proceedings of the 6th Pacific Conference on Computer Graphics and Applications, 104–13. IEEE, 1998. https://doi.org/10.1109/PCCGA.1998.732056.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4016
Edelsbrunner, Herbert, Michael Facello, Ping Fu, Jiang Qian, and Dmitry Nekhayev. “Wrapping 3D Scanning Data,” 3313:148–58. SPIE, 1998. https://doi.org/10.1117/12.302448.
View
| DOI
1998 | Journal Article | IST-REx-ID: 4281
Barton, Nicholas H, and Brian Charlesworth. “Why Sex and Recombination?” Science. American Association for the Advancement of Science, 1998. https://doi.org/10.1126/science.281.5385.1986.
View
| DOI
| PubMed | Europe PMC
1998 | Journal Article | IST-REx-ID: 4280
Ritchie, Mike, and Nicholas H Barton. “Hybrids and Hybrid Zones: Reply from M.G. Ritchie and N.H. Barton.” Trends in Ecology and Evolution. Cell Press, 1998. https://doi.org/10.1016/S0169-5347(98)01396-2.
View
| DOI
| PubMed | Europe PMC
1998 | Book Review | IST-REx-ID: 4283
Barton, Nicholas H. “The Geometry of Adaptation.” Nature. Nature Publishing Group, 1998. https://doi.org/10.1038/27338.
View
| DOI
1998 | Book Review | IST-REx-ID: 4282
Barton, Nicholas H. “Genetics and Analysis of Quantitative Traits.” Genetical Research. Cambridge University Press, 1998. https://doi.org/10.1017/S0016672398219732.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4410
Preußig, Jörg, Stefan Kowalewski, Howard Wong Toi, and Thomas A Henzinger. “An Algorithm for the Approximative Analysis of Rectangular Automata.” In Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, 1486:228–40. Springer, 1998. https://doi.org/10.1007/BFb0055350.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4408
Raskin, Jean, Pierre Schobbens, and Thomas A Henzinger. “Axioms for Real-Time Logics.” In Proceedings of the 9th Interantional Conference on Concurrency Theory, 1466:219–36. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998. https://doi.org/10.1007/BFb0055625.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4429
Henzinger, Thomas A, and Vlad Rusu. “Reachability Verification for Hybrid Automata.” In Proceedings of the 1st International Workshop on Hybrid Systems: Computation and Control, 1386:190–204. Springer, 1998. https://doi.org/10.1007/3-540-64358-3_40.
View
| DOI
1998 | Conference (Editor) | IST-REx-ID: 4430
Henzinger, Thomas A, ed. HSCC: Hybrid Systems—Computation and Control. Vol. 1386. Springer, 1998. https://doi.org/10.1007/3-540-64358-3.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4486
Henzinger, Thomas A, Shaz Qadeer, Sriram Rajamani, and Serdar Tasiran. “An Assume-Guarantee Rule for Checking Simulation.” In Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design, 1522:421–32. Springer, 1998. https://doi.org/10.1007/3-540-49519-3_27.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4490
Henzinger, Thomas A, Jean Raskin, and Pierre Schobbens. “The Regular Real-Time Languages.” In Proceedings of the 25th International Colloqium on Automata, Languages and Programming, 1443:580–91. Springer, 1998. https://doi.org/10.1007/BFb0055086.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4489
Henzinger, Thomas A, Orna Kupferman, and Shaz Qadeer. “From Pre-Historic to Post-Modern Symbolic Model Checking.” In Proceedings of the 10th International Conference on Computer Aided Verification, 1427:195–206. Springer, 1998. https://doi.org/10.1007/BFb0028745.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4488
Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “You Assume, We Guarantee: Methodology and Case Studies.” In Proceedings of the 10th International Conference on Computer Aided Verification, 1427:440–51. Springer, 1998. https://doi.org/10.1007/BFb0028765.
View
| DOI
1998 | Journal Article | IST-REx-ID: 4491
Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “Algorithmic Analysis of Nonlinear Hybrid Systems.” IEEE Transactions on Automatic Control. IEEE, 1998. https://doi.org/10.1109/9.664156 .
View
| DOI
1998 | Journal Article | IST-REx-ID: 4492 |
Henzinger, Thomas A, Peter Kopke, Anuj Puri, and P. Varaiya. “What’s Decidable about Hybrid Automata?” Journal of Computer and System Sciences. Elsevier, 1998. https://doi.org/10.1006/jcss.1998.1581.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1998 | Conference Paper | IST-REx-ID: 4515
Henzinger, Thomas A. “It’s about Time: Real-Time Logics Reviewed.” In Proceedings of the 9th Interantional Conference on Concurrency Theory, 1466:439–54. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998. https://doi.org/10.1007/BFb0055640.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4606
Alur, Rajeev, Thomas A Henzinger, and Sriram Rajamani. “Symbolic Exploration of Transition Hierarchies.” In Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 1384:330–44. Springer, 1998. https://doi.org/10.1007/BFb0054181.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4603
Alur, Rajeev, Thomas A Henzinger, Orna Kupferman, and Moshe Vardi. “Alternating Refinement Relations.” In Proceedings of the 9th Interantional Conference on Concurrency Theory, 1466:163–78. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998. https://doi.org/10.1007/BFb0055622.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4604
Alur, Rajeev, Thomas A Henzinger, Freddy Mang, Shaz Qadeer, Sriram Rajamani, and Serdar Tasiran. “Mocha: Modularity in Model Checking.” In Proceedings of the 10th International Conference on Computer Aided Verification, 1427:521–25. Springer, 1998. https://doi.org/10.1007/BFb0028774.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4639
De Alfaro, Luca, Thomas A Henzinger, and Orna Kupferman. “Concurrent Reachability Games.” In Proceedings 39th Annual Symposium on Foundations of Computer Science, 564–75. IEEE, 1998. https://doi.org/10.1109/SFCS.1998.743507 .
View
| DOI
1998 | Journal Article | IST-REx-ID: 6160
Bono, Mario de, and Cornelia I Bargmann. “Natural Variation in a Neuropeptide Y Receptor Homolog Modifies Social Behavior and Food Response in C. Elegans.” Cell. Elsevier, 1998. https://doi.org/10.1016/s0092-8674(00)81609-8.
View
| DOI
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 11666
Anderson, Jennifer M., Lance M. Berc, Jeffrey Dean, Sanjay Ghemawat, Monika H Henzinger, Shun-Tak A. Leung, Richard L. Sites, Mark T. Vandevoorde, Carl A. Waldspurger, and William E. Weihl. “Continuous Profiling: Where Have All the Cycles Gone?” ACM Transactions on Computer Systems. Association for Computing Machinery, 1997. https://doi.org/10.1145/265924.265925.
View
| DOI
1997 | Journal Article | IST-REx-ID: 11767 |
Henzinger, Monika H, Philip Klein, Satish Rao, and Sairam Subramanian. “Faster Shortest-Path Algorithms for Planar Graphs.” Journal of Computer and System Sciences. Elsevier, 1997. https://doi.org/10.1006/jcss.1997.1493.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1997 | Journal Article | IST-REx-ID: 11765
Henzinger, Monika H. “A Static 2-Approximation Algorithm for Vertex Connectivity and Incremental Approximation Algorithms for Edge and Vertex Connectivity.” Journal of Algorithms. Elsevier, 1997. https://doi.org/10.1006/jagm.1997.0855.
View
| DOI
1997 | Conference Paper | IST-REx-ID: 11803
Henzinger, Monika H, and Valerie King. “Maintaining Minimum Spanning Trees in Dynamic Graphs.” In 24th International Colloquium on Automata, Languages and Programming, 1256:594–604. Springer Nature, 1997. https://doi.org/10.1007/3-540-63165-8_214.
View
| DOI
1997 | Journal Article | IST-REx-ID: 11849 |
Anderson, Jennifer M., Lance M. Berc, Jeffrey Dean, Sanjay Ghemawat, Monika H Henzinger, Shun-Tak A. Leung, Richard L. Sites, Mark T. Vandevoorde, Carl A. Waldspurger, and William E. Weihl. “Continuous Profiling: Where Have All the Cycles Gone?” ACM SIGOPS Operating Systems Review. Association for Computing Machinery, 1997. https://doi.org/10.1145/269005.266637.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
1997 | Journal Article | IST-REx-ID: 11883
Henzinger, Monika H, and Mikkel Thorup. “Sampling to Provide or to Bound: With Applications to Fully Dynamic Graph Algorithms.” Random Structures and Algorithms. Wiley, 1997. https://doi.org/10.1002/(sici)1098-2418(199712)11:4<369::aid-rsa5>3.0.co;2-x.
View
| DOI
1997 | Journal Article | IST-REx-ID: 2493
Acsády, László, István Katona, Attila Gulyás, Ryuichi Shigemoto, and Tamás Freund. “Immunostaining for Substance P Receptor Labels GABAergic Cells with Distinct Termination Patterns in the Hippocampus.” Journal of Comparative Neurology. Wiley-Blackwell, 1997. https://doi.org/10.1002/(SICI)1096-9861(19970217)378:3<320::AID-CNE2>3.0.CO;2-5.
View
| DOI
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 2576
Li, Jin, Takeshi Kaneko, Ryuichi Shigemoto, and Noboru Mizuno. “Distribution of Trigeminohypothalamic and Spinohypothalamic Tract Neurons Displaying Substance P Receptor-like Immunoreactivity in the Rat.” Journal of Comparative Neurology. Wiley-Blackwell, 1997. https://doi.org/10.1002/(SICI)1096-9861(19970224)378:4<508::AID-CNE6>3.0.CO;2-6.
View
| DOI
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 2578
Seybold, Virginia, Ivica Grković, Andrea Portbury, Yu Ding, Ryuichi Shigemoto, Noboru Mizuno, John Furness, and Bridget Southwell. “Relationship of NK3 Receptor-Immunoreactivity to Subpopulations of Neurons in Rat Spinal Cord.” Journal of Comparative Neurology. Wiley-Blackwell, 1997. https://doi.org/10.1002/(SICI)1096-9861(19970519)381:4<439::AID-CNE4>3.0.CO;2-3.
View
| DOI
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 2575
Li, He, Hitoshi Ohishi, Ayae Kinoshita, Ryuichi Shigemoto, Sakashi Nomura, and Noboru 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. Elsevier, 1997. https://doi.org/10.1016/S0304-3940(97)13429-2.
View
| DOI
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 2577
Tone, Yoshinori, Hiroyasu Inoue, Shuntaro Hara, Chieko Yokoyama, Toshihisa Hatae, Hiroji Oida, Shuh Narumiya, Ryuichi Shigemoto, Susumu Yukawa, and Tadashi Tanabe. “The Regional Distribution and Cellular Localization of MRNA Encoding Rat Prostacyclin Synthase.” European Journal of Cell Biology. Elsevier, 1997.
View
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 2580
Luján, Rafael, John Roberts, Ryuichi Shigemoto, Hitoshi Ohishi, and Péter Somogyi. “Differential Plasma Membrane Distribution of Metabotropic Glutamate Receptors MGluR1α, MGluR2 and MGluR5, Relative to Neurotransmitter Release Sites.” Journal of Chemical Neuroanatomy. Elsevier, 1997. https://doi.org/10.1016/S0891-0618(97)00051-3.
View
| DOI
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 2582 |
Shigemoto, Ryuichi, Ayae Kinoshita, Eiki Wada, Sakashi Nomura, Hitoshi Ohishi, Masahiko Takada, Peter Flor, et al. “Differential Presynaptic Localization of Metabotropic Glutamate Receptor Subtypes in the Rat Hippocampus.” Journal of Neuroscience. Society for Neuroscience, 1997. https://doi.org/10.1523/JNEUROSCI.17-19-07503.1997.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 2581
Lee, Teffy, Takeshi Kaneko, Ryuichi Shigemoto, Sakashi Nomura, and Noboru Mizuno. “Collateral Projections from Striatonigral Neurons to Substance P Receptor-Expressing Intrinsic Neurons in the Striatum of the Rat.” Journal of Comparative Neurology. Wiley-Blackwell, 1997. https://doi.org/10.1002/(SICI)1096-9861(19971117)388:2<250::AID-CNE5>3.0.CO;2-0.
View
| DOI
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 2579
Mann, Patricia, Bridget Southwell, Yu Ding, Ryuichi Shigemoto, Noboru Mizuno, and John Furness. “Localisation of Neurokinin 3 (NK3) Receptor Immunoreactivity in the Rat Gastrointestinal Tract.” Cell and Tissue Research. Springer, 1997. https://doi.org/10.1007/s004410050846.
View
| DOI
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 2729
Erdös, László, and Jan Solovej. “Semiclassical Eigenvalue Estimates for the Pauli Operator with Strong Non-Homogeneous Magnetic Fields, II. Leading Order Asymptotic Estimates.” Communications in Mathematical Physics. Springer, 1997. https://doi.org/10.1007/s002200050181.
View
| DOI
1997 | Journal Article | IST-REx-ID: 2727
Erdös, László. “Dia- and Paramagnetism for Nonhomogeneous Magnetic Fields.” Journal of Mathematical Physics. American Institute of Physics, 1997. https://doi.org/10.1063/1.531909.
View
| DOI
1997 | Journal Article | IST-REx-ID: 3632 |
Kirkpatrick, Mark, and Nicholas H Barton. “The Strength of Indirect Selection on Female Mating Preferences.” PNAS. National Academy of Sciences, 1997. https://doi.org/10.1073/pnas.94.4.1282.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 3633
Kirkpatrick, Mark, and Nicholas H Barton. “Evolution of a Species’ Range.” American Naturalist. University of Chicago Press, 1997. https://doi.org/10.1086/286054.
View
| DOI
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 4022
Edelsbrunner, Herbert, Pavel Valtr, and Emo Welzl. “Cutting Dense Point Sets in Half.” Discrete & Computational Geometry. Springer, 1997. https://doi.org/10.1007/PL00009291.
View
| DOI
1997 | Journal Article | IST-REx-ID: 4021 |
Edelsbrunner, Herbert, and Roman Waupotitsch. “A Combinatorial Approach to Cartograms.” Computational Geometry: Theory and Applications. Elsevier, 1997. https://doi.org/10.1016/S0925-7721(96)00006-5.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1997 | Journal Article | IST-REx-ID: 4023
Edelsbrunner, Herbert, and Edgar Ramos. “Inclusion-Exclusion Complexes for Pseudodisk Collections.” Discrete & Computational Geometry. Springer, 1997. https://doi.org/10.1007/PL00009295.
View
| DOI
1997 | Journal Article | IST-REx-ID: 4287 |
Coyne, Jerry, Nicholas H Barton, and Michael Turelli. “Perspective: A Critique of Sewall Wright’s Shifting Balance Theory of Evolutionight’s Shifting Balance Theory of Evolution.” Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 1997. https://doi.org/10.1111/j.1558-5646.1997.tb03650.x.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 4286 |
Piálek, Jaroslav, and Nicholas H Barton. “The Spread of an Advantageous Allele across a Barrier: The Effects of Random Drift and Selection against Heterozygotes.” Genetics. Genetics Society of America, 1997. https://doi.org/10.1093/genetics/145.2.493.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 4288 |
Fowler, Kevin, Colin Semple, Nicholas H Barton, and Linda Partridge. “Genetic Variation for Total Fitness in Drosophila Melanogaster.” Proceedings of the Royal Society of London Series B Biological Sciences. The Royal Society, 1997. https://doi.org/10.1098/rspb.1997.0027.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Book Chapter | IST-REx-ID: 4293
Barton, Nicholas H, and Michael Whitlock. “The Evolution of Metapopulations.” In Metapopulation Biology, edited by Illka Hanski and Michael E. Gilpin, 183–210. Academic Press, 1997. https://doi.org/10.1016/B978-012323445-2/50012-2.
View
| DOI
1997 | Journal Article | IST-REx-ID: 4289 |
Barton, Nicholas H. “Population Genetics: A New Apportionment of Human Diversity.” Current Biology. Cell Press, 1997. https://doi.org/10.1016/S0960-9822(06)00397-6.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1997 | Book Review | IST-REx-ID: 4291
Barton, Nicholas H. “The Ecological Detective: Confronting Models with Data.” Genetical Research. Cambridge University Press, 1997.
View
| Download None (ext.)
1997 | Book Review | IST-REx-ID: 4290
Barton, Nicholas H. “Natural Hybridization and Evolution.” Genetical Research. Cambridge University Press, 1997.
View
1997 | Journal Article | IST-REx-ID: 3483 |
Ceranik, Katya, Roland Bender, Jörg Geiger, Hannah Monyer, Peter M Jonas, Michael Frotscher, and Joachim Lubke. “A Novel Type of GABAergic Interneuron Connecting the Input and the Output Regions of the Hippocampus.” Journal of Neuroscience. Society for Neuroscience, 1997. https://doi.org/10.1523/JNEUROSCI.17-14-05380.1997.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 3485 |
Martina, Marco, and Peter M Jonas. “Functional Differences in Na+ Channel Gating between Fast-Spiking Interneurones and Principal Neurones in Rat Hippocampus.” Journal of Physiology. Wiley-Blackwell, 1997. https://doi.org/10.1111/j.1469-7793.1997.593ba.x.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 3482 |
Götz, Thomas, Udo Kraushaar, Jörg Geiger, Joachim Lubke, Thomas Berger, and Peter M Jonas. “Functional Properties of AMPA and NMDA Receptors Expressed in Identified Types of Basal Ganglia Neurons.” Journal of Neuroscience. Society for Neuroscience, 1997. https://doi.org/10.1523/JNEUROSCI.17-01-00204.1997.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 3486 |
Bischofberger, Joseph, and Peter M Jonas. “Action Potential Propagation into the Presynaptic Dendrites of Rat Mitral Cells.” Journal of Physiology. Wiley-Blackwell, 1997. https://doi.org/10.1111/j.1469-7793.1997.359be.x.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 3484 |
Geiger, Jörg, Joachim Lubke, Arnd Roth, Michael Frotscher, and Peter M Jonas. “Submillisecond AMPA Receptor-Mediated Signaling at a Principal Neuron-Interneuron Synapse.” Neuron. Elsevier, 1997. https://doi.org/10.1016/S0896-6273(00)80339-6.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 3541
Bragin, Anatol, Jozsef L Csicsvari, Markku Penttonen, and György Buzsáki. “Epileptic Afterdischarge in the Hippocampal-Entorhinal System: Current Source Density and Unit Studies.” Neuroscience. Elsevier, 1997. https://doi.org/10.1016/S0306-4522(96)00446-0.
View
| DOI
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 3630 |
Whitlock, Michael, and Nicholas H Barton. “The Effective Size of a Subdivided Population.” Genetics. Genetics Society of America, 1997. https://doi.org/10.1093/genetics/146.1.427.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 3631 |
Kawecki, Tadeusz, Nicholas H Barton, and James Fry. “Mutational Collapse of Fitness in Marginal Habitats and the Evolution of Ecological Specialisation.” Journal of Evolutionary Biology. Wiley-Blackwell, 1997. https://doi.org/10.1046/j.1420-9101.1997.10030407.x.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1997 | Journal Article | IST-REx-ID: 4018
Edelsbrunner, Herbert, and Nimish Shah. “Triangulating Topological Spaces.” International Journal of Computational Geometry & Applications. World Scientific Publishing, 1997. https://doi.org/10.1142/S0218195997000223.
View
| DOI
1997 | Journal Article | IST-REx-ID: 4174 |
Masai, Ichiro, Carl-Philipp J Heisenberg, K Anukampa Barth, Rachel Macdonald, Sylwia Adamek, and Stephen Wilson. “Floating Head and Masterblind Regulate Neuronal Patterning in the Roof of the Forebrain.” Neuron. Elsevier, 1997. https://doi.org/10.1016/S0896-6273(01)80045-3.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 4201 |
Heisenberg, Carl-Philipp J, and Christiane Nüsslein Volhard. “The Function of Silberblick in the Positioning of the Eye Anlage in the Zebrafish Embryo.” Developmental Biology. Elsevier, 1997. https://doi.org/10.1006/dbio.1997.8511.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 4285 |
Otto, Sarah, and Nicholas H Barton. “The Evolution of Recombination: Removing the Limits to Natural Selection.” Genetics. Genetics Society of America, 1997. https://doi.org/10.1093/genetics/147.2.879.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Book Chapter | IST-REx-ID: 4284
Barton, Nicholas H. “Natural Selection and Random Genetic Drift as Causes of Evolution on Islands.” In Evolution on Islands, 102–23. Oxford University Press, 1997. https://doi.org/10.1098/rstb.1996.0073.
View
| DOI
| PubMed | Europe PMC
1997 | Conference Paper | IST-REx-ID: 4438
Henzinger, Thomas A, and Orna Kupferman. “From Quantity to Quality.” In Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, 1201:48–62. Springer, 1997. https://doi.org/10.1007/BFb0014712.
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4441
Henzinger, Thomas A, and Peter Kopke. “Discrete-Time Control for Rectangular Hybrid Automata.” In Proceedings of the 24th International Colloquium on Automata, Languages and Programming, 1256:582–93. Springer, 1997. https://doi.org/10.1007/3-540-63165-8_213.
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4496
Henzinger, Thomas A, Orna Kupferman, and Sriram Rajamani. “Fair Simulation.” In Proceedings of the 8th International Conference on Concurrency Theory, 1243:273–87. Springer, 1997. https://doi.org/10.1007/3-540-63141-0_19.
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4494
Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: A Model Checker for Hybrid Systems,” 1254:460–63. Springer, 1997. https://doi.org/10.1007/3-540-63166-6_48.
View
| DOI
1997 | Journal Article | IST-REx-ID: 4493
Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: A Model Checker for Hybrid Systems.” Software Tools For Technology Transfer. Springer, 1997. https://doi.org/10.1007/s100090050008.
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4520
Gupta, Vineet, Thomas A Henzinger, and Radha Jagadeesan. “Robust Timed Automata.” In Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, 1201:331–45. Springer, 1997. https://doi.org/10.1007/BFb0014736.
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4583
Alur, Rajeev, and Thomas A Henzinger. “Modularity for Timed and Hybrid Systems.” In 8th International Conference on Concurrency Theory, 1243:74–88. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997. https://doi.org/10.1007/3-540-63141-0_6.
View
| DOI
1997 | Journal Article | IST-REx-ID: 4584
Alur, Rajeev, and Thomas A Henzinger. “Real-Time System = Discrete System + Clock Variables.” Software Tools For Technology Transfer. Springer, 1997. https://doi.org/10.1007/s100090050007.
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4608
Alur, Rajeev, Robert Brayton, Thomas A Henzinger, Shaz Qadeer, and Sriram Rajamani. “Partial-Order Reduction in Symbolic State-Space Exploration.” In 9th International Conference on Computer Aided Verification, 1254:340–51. Springer, 1997. https://doi.org/10.1007/3-540-63166-6_34.
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4609
Alur, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic.” In Proceedings of the 38th Annual Symposium on Foundations of Computer Science, 100–109. Association for Computing Machinery (ACM), 1997. https://doi.org/10.1145/585265.585270.
View
| DOI
1997 | Journal Article | IST-REx-ID: 4607
Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “Computing Accumulated Delays in Real-Time Systems.” Formal Methods in System Design. Springer, 1997. https://doi.org/10.1023/A:1008626013578.
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4605
Alur, Rajeev, Thomas A Henzinger, and Howard Wong Toi. “Symbolic Analysis of Hybrid Systems.” In Proceedings of the 36th IEEE Conference on Decision and Control, 702–7. IEEE, 1997. https://doi.org/10.1109/CDC.1997.650717 .
View
| DOI
1997 | Journal Article | IST-REx-ID: 8528
Kaloshin, Vadim. “Prevalence in the Space of Finitely Smooth Maps.” Functional Analysis and Its Applications. Springer Nature, 1997. https://doi.org/10.1007/bf02466014.
View
| DOI
1997 | Journal Article | IST-REx-ID: 8527
Hunt, Brian R, and Vadim Kaloshin. “How Projections Affect the Dimension Spectrum of Fractal Measures.” Nonlinearity. IOP Publishing, 1997. https://doi.org/10.1088/0951-7715/10/5/002.
View
| DOI
1996 | Journal Article | IST-REx-ID: 11761
Henzinger, Monika H, and David P. Williamson. “On the Number of Small Cuts in a Graph.” Information Processing Letters. Elsevier, 1996. https://doi.org/10.1016/0020-0190(96)00079-8.
View
| DOI
1996 | Conference Paper | IST-REx-ID: 11804
Henzinger, Monika H, and Jan Arne Telle. “Faster Algorithms for the Nonemptiness of Streett Automata and for Communication Protocol Pruning.” In 5th Scandinavian Workshop on Algorithm Theory, 1097:16–27. Springer Nature, 1996. https://doi.org/10.1007/3-540-61422-2_117.
View
| DOI
1996 | Conference Paper | IST-REx-ID: 11910
Henzinger, Monika H, and Mikkel Thorup. “Improved Sampling with Applications to Dynamic Graph Algorithms.” In 23rd International Colloquium on Automata, Languages, and Programming, 1099:290–99. Springer Nature, 1996. https://doi.org/10.1007/3-540-61440-0_136.
View
| DOI
1996 | Conference Paper | IST-REx-ID: 11927 |
Henzinger, Monika H, Valerie King, and Tandy Warnow. “Constructing a Tree from Homeomorphic Subtrees, with Applications to Computational Evolutionary Biology.” In 7th Annual ACM-SIAM Symposium on Discrete Algorithms, 333–40. Society for Industrial and Applied Mathematics, 1996.
[Published Version]
View
| Files available
| Download Published Version (ext.)
1996 | Conference Paper | IST-REx-ID: 1942
Sazanov, Leonid A, P Burrows, and P J Nixon. “Presence of a Large Protein Complex Containing the NdhK Gene Product and Possessing NADH-Specific Dehydrogenase Activity in Thylakoid Membranes of Higher Plant Chloroplasts,” 2:705–8. Kluwer, 1996.
View
1996 | Journal Article | IST-REx-ID: 1952
Bizouarn, Tania, Leonid A Sazanov, Sébastien Aubourg, and Julie Jackson. “Estimation of the H+/H- Ratio of the Reaction Catalysed by the Nicotinamide Nucleotide Transhydrogenase in Chromatophores from over-Expressing Strains of Rhodospirillum Rubrum and in Liposomes Inlaid with the Purified Bovine Enzyme.” Biochimica et Biophysica Acta - Bioenergetics. Elsevier, 1996. https://doi.org/10.1016/0005-2728(95)00125-5.
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 1951
Sazanov, Leonid A, Paul Burrows, and Peter Nixon. “Detection and Characterization of a Complex I-like NADH-Specific Dehydrogenase from Pea Thylakoids.” Biochemical Society Transactions. Portland Press, 1996. https://doi.org/10.1042/bst0240739.
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2492
Neki, Akio, Hitoshi Ohishi, Takeshi Kaneko, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Metabotropic Glutamate Receptors MGluR2 and MGluR5 Are Expressed in Two Non-Overlapping Populations of Golgi Cells in the Rat Cerebellum.” Neuroscience. Elsevier, 1996. https://doi.org/10.1016/0306-4522(96)00316-8.
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2564
Ding, Yu, Ryuichi Shigemoto, Masahiko Takada, Hitoshi Ohishi, Shigetada Nakanishi, and Noboru Mizuno. “Localization of the Neuromedin K Receptor (NK3) in the Central Nervous System of the Rat.” Journal of Comparative Neurology. Wiley-Blackwell, 1996. https://doi.org/10.1002/(SICI)1096-9861(19960108)364:2<290::AID-CNE8>3.0.CO;2-0.
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2566
Kinoshita, Ayae, Hitoshi Ohishi, Akio Neki, Sakashi Nomura, Ryuichi Shigemoto, Masahiko Takada, Shigetada Nakanishi, and Noboru Mizuno. “Presynaptic Localization of a Metabotropic Glutamate Receptor, MGluR8, in the Rhinencephalic Areas: A Light and Electron Microscope Study in the Rat.” Neuroscience Letters. Elsevier, 1996. https://doi.org/10.1016/0304-3940(96)12489-7.
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2565
Li, Jin, Hitoshi Ohishi, Takeshi Kaneko, Ryuichi Shigemoto, Akio Neki, Shigetada Nakanishi, and Noboru Mizuno. “Immunohistochemical Localization of a Metabotropic Glutamate Receptor, MGluR7, in Ganglion Neurons of the Rat; with Special Reference to the Presence in Glutamatergic Ganglion Neurons.” Neuroscience Letters. Elsevier, 1996. https://doi.org/10.1016/0304-3940(95)12299-0.
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2562
Neki, Akio, Hitoshi Ohishi, Takeshi Kaneko, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Pre- and Postsynaptic Localization of a Metabotropic Glutamate Receptor, MGluR2, in the Rat Brain: An Immunohistochemical Study with a Monoclonal Antibody.” Neuroscience Letters. Elsevier, 1996. https://doi.org/10.1016/0304-3940(95)12248-6.
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2568
Kinoshita, Ayae, Hitoshi Ohishi, Sakashi Nomura, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Presynaptic Localization of a Metabotropic Glutamate Receptor, MGluR4a, in the Cerebellar Cortex: A Light and Electron Microscope Study in the Rat.” Neuroscience Letters. Elsevier, 1996. https://doi.org/10.1016/0304-3940(96)12519-2.
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2569
Jia, Hong, Bai Wang, Zhi Rao, Ji Shi, Ryuichi Shigemoto, Takeshi Kaneko, and Noboru Mizuno. “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. Elsevier, 1996. https://doi.org/10.1016/0304-3940(96)12654-9.
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2567
Li, Jin, Yu Ding, Ryuichi Shigemoto, and Noboru Mizuno. “Distribution of Trigeminothalamic and Spinothalamic-Tract Neurons Showing Substance P Receptor-like Immunoreactivity in the Rat.” Brain Research. Elsevier, 1996. https://doi.org/10.1016/0006-8993(96)00064-9.
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 2572
Hashimoto, Hitoshi, Hiroyuki Nogi, Kensaku Mori, Hitoshi Ohishi, Ryuichi Shigemoto, Kyohei Yamamoto, Toshio Matsuda, Noboru Mizuno, Shigekazu Nagata, and Akemichi Baba. “Distribution of the MRNA for a Pituitary Adenylate Cyclase-Activating Polypeptide Receptor in the Rat Brain: An in Situ Hybridization Study.” Journal of Comparative Neurology. Wiley-Blackwell, 1996. https://doi.org/10.1002/(SICI)1096-9861(19960805)371:4<567::AID-CNE6>3.3.CO;2-M.
View
| DOI
| PubMed | Europe PMC