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.

6112 Publications


1998 | Journal Article | IST-REx-ID: 1956
Sazanov, L. A., Burrows, P., & Nixon, P. (1998). The plastid ndh genes code for an NADH-specific dehydrogenase: Isolation of a complex I analogue from pea thylakoid membranes. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.95.3.1319
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2583
Li, J., Ding, Y., Xiong, K., Li, J., Shigemoto, R., & Mizuno, N. (1998). 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. Elsevier. https://doi.org/10.1016/S0168-0102(97)00132-6
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. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19980413)393:3<332::AID-CNE6>3.0.CO;2-2
View | DOI
 

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. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19980420)393:4<493::AID-CNE8>3.0.CO;2-W
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2586
Watanabe, D., Inokawa, H., Hashimoto, K., Suzuki, N., Kano, M., Shigemoto, R., … Nakanishi, S. (1998). Ablation of cerebellar Golgi cells disrupts synaptic integration involving GABA inhibition and NMDA receptor activation in motor coordination. Cell. Cell Press. https://doi.org/10.1016/S0092-8674(00)81779-1
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2587
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. Brain Cell Biology. Springer. https://doi.org/10.1023/A:1006982023657
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2588
Kaupmann, K., Malitschek, B., Schuler, V., Heid, J., Froestl, W., Beck, P., … Bettler, B. (1998). GABA(B)-receptor subtypes assemble into functional heteromeric complexes. Nature. Nature Publishing Group. https://doi.org/10.1038/25360
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2589
Baude, A., & Shigemoto, R. (1998). 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. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19981214)402:2<181::AID-CNE4>3.0.CO;2-B
View | DOI
 

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. Kluwer. https://doi.org/10.1023/A:1006982023657
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2728
Erdös, L. (1998). Lifschitz tail in a magnetic field: The nonclassical regime. Probability Theory and Related Fields. Springer. https://doi.org/10.1007/s004400050193
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 2695
Erdös, L., & Yau, H. (1998). Linear Boltzmann equation as scaling limit of quantum Lorentz gas (Vol. 217, pp. 137–155). Presented at the Differential Equations and Mathematical Physics, American Mathematical Society. https://doi.org/10.1090/conm/217
View | DOI
 

1998 | Patent | IST-REx-ID: 3506
Edelsbrunner, H., & Fu, P. (1998). Apparatus and method for geometric morphing. Elsevier. https://doi.org/US 5,850,229
View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 3521
Csicsvari, J. L., 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. Elsevier. https://doi.org/10.1016/S0896-6273(00)80525-5
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3525
Nádasdy, Z., Csicsvari, J. L., Hirase, H., Czurkó, A., & Buzsáki, G. (1998). Persistence and temporal compression of spike sequences during fast field oscillation in the hippocampus. European Journal of Neuroscience. Wiley-Blackwell.
View
 

1998 | Journal Article | IST-REx-ID: 3527
Csicsvari, J. L., Czurkó, A., Hirase, H., & Buzsáki, G. (1998). Monosynaptic interactions between CA1 Pyramidal cells and interneuron in the behaving rat. European Journal of Neuroscience. Wiley-Blackwell.
View
 

1998 | Journal Article | IST-REx-ID: 3535
Hirase, H., Czurkó, A., Csicsvari, J. L., & Buzsáki, G. (1998). Hippocampal pyramidal neutrons “space-clamped” in a running wheel task: Place cells or path integrators? European Journal of Neuroscience. Wiley-Blackwell.
View
 

1998 | Book Chapter | IST-REx-ID: 3570
Axen, U., & Edelsbrunner, H. (1998). Auditory Morse analysis of triangulated manifolds. In Mathematical Visualization (pp. 223–236). Springer. https://doi.org/10.1007/978-3-662-03567-2_17
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3487
Jonas, P. M., Bischofberger, J., & Sandkühler, J. (1998). Corelease of two fast neurotransmitters at a central synapse. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.281.5375.419
View | DOI
 

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

1998 | Conference Paper | IST-REx-ID: 4639
De Alfaro, L., Henzinger, T. A., & Kupferman, O. (1998). Concurrent reachability games (pp. 564–575). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/10.1109/SFCS.1998.743507 
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4603
Alur, R., Henzinger, T. A., Kupferman, O., & Vardi, M. (1998). Alternating refinement relations (Vol. 1466, pp. 163–178). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/BFb0055611
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4604
Alur, R., Henzinger, T. A., Mang, F., Qadeer, S., Rajamani, S., & Tasiran, S. (1998). Mocha: Modularity in model checking (Vol. 1427, pp. 521–525). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/BFb0028774
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4606
Alur, R., Henzinger, T. A., & Rajamani, S. (1998). Symbolic exploration of transition hierarchies (Vol. 1384, pp. 330–344). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/ 10.1007/BFb0054181
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3627
Barton, N. H. (1998). The effect of hitch-hiking on neutral genealogies. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672398003462
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3628
West, S., Peters, A., & Barton, N. H. (1998). Testing for epistasis between deleterious mutations. Genetics. Genetics Society of America.
View
 

1998 | Journal Article | IST-REx-ID: 3629
Maccallum, C., Nürnberger, B., Barton, N. H., & Szymura, J. (1998). Habitat preference in the Bombina hybrid zone in Croatia. Evolution. Wiley-Blackwell.
View | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 3926
Cremer, S., & Greenfield, M. (1998). Partitioning the components of sexual selection: attractiveness and agonistic behaviour in male wax moths, Achroia grisella (Lepidoptera, Pyralidae). Ethology. Wiley-Blackwell. https://doi.org/10.1111/j.1439-0310.1998.tb00025.x
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4011
Liang, J., Edelsbrunner, H., Fu, P., Sudhakar, P., & Subramaniam, S. (1998). Analytical shape computation of macromolecules: I. molecular area and volume through alpha shape. Proteins: Structure, Function and Bioinformatics. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1097-0134(19981001)33:1<1::AID-PROT1>3.0.CO;2-O
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4012
Liang, J., Edelsbrunner, H., Fu, P., Sudhakar, P., & Subramaniam, S. (1998). Analytical shape computation of macromolecules: II. Inaccessible cavities in proteins. Proteins: Structure, Function and Bioinformatics. Wiley-Blackwell. 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, H., Facello, M., & Liang, J. (1998). On the definition and the construction of pockets in macromolecules. Discrete Applied Mathematics. Elsevier. https://doi.org/10.1016/S0166-218X(98)00067-5
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4015
Edelsbrunner, H. (1998). Shape reconstruction with Delaunay complex (Vol. 1380, pp. 119–132). Presented at the LATIN: Latin American Symposium on Theoretical Informatics , Springer. https://doi.org/10.1007/BFb0054315
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4016
Edelsbrunner, H., Facello, M., Fu, P., Qian, J., & Nekhayev, D. (1998). Wrapping 3D scanning data (Vol. 3313, pp. 148–158). Presented at the Three-Dimensional Image Capture and Applications, SPIE. https://doi.org/10.1117/12.302448
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4017 | OA
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. Wiley-Blackwell. https://doi.org/10.1002/pro.5560070905
View | DOI | Download (ext.)
 

1998 | Conference Paper | IST-REx-ID: 4019
Cheng, H., Edelsbrunner, H., & Fu, P. (1998). Shape space from deformation (pp. 104–113). Presented at the CGA: Conference on Computer Graphics and Applications , IEEE. https://doi.org/10.1109/PCCGA.1998.732056
View | DOI
 

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

1998 | Journal Article | IST-REx-ID: 4280
Ritchie, M., & Barton, N. H. (1998). Hybrids and hybrid zones: Reply from M.G. Ritchie and N.H. Barton. Trends in Ecology and Evolution. Cell Press. https://doi.org/10.1016/S0169-5347(98)01396-2
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4281
Barton, N. H., & Charlesworth, B. (1998). Why sex and recombination? Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.281.5385.1986
View | DOI
 

1998 | Book Review | IST-REx-ID: 4282
Barton, N. H. (1998). Genetics and analysis of quantitative traits. Genetical Research. Cambridge University Press.
View
 

1998 | Book Review | IST-REx-ID: 4283
Barton, N. H. (1998). The geometry of adaptation. Nature. Nature Publishing Group.
View
 

1998 | Conference Paper | IST-REx-ID: 4408
Raskin, J., Schobbens, P., & Henzinger, T. A. (1998). Axioms for real-time logics (Vol. 1466, pp. 219–236). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/BFb0055625
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4410
Preußig, J., Kowalewski, S., Wong Toi, H., & Henzinger, T. A. (1998). An algorithm for the approximative analysis of rectangular automata (Vol. 1486, pp. 228–240). Presented at the FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer. https://doi.org/10.1007/BFb0055350
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4429
Henzinger, T. A., & Rusu, V. (1998). Reachability verification for hybrid automata (Vol. 1386, pp. 190–204). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/3-540-64358-3_40
View | DOI
 

1998 | Conference (Editor) | IST-REx-ID: 4430
Henzinger, T. A., & Sastry, S. (1998). HSCC: Hybrid Systems—Computation and Control. HSCC: Hybrid Systems - Computation and Control (Vol. 1386). Springer. https://doi.org/1260
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4486
Henzinger, T. A., Qadeer, S., Rajamani, S., & Tasiran, S. (1998). An assume-guarantee rule for checking simulation (Vol. 1522, pp. 421–432). Presented at the FMCAD: Formal Methods in Computer-Aided Design, Springer. https://doi.org/10.1007/3-540-49519-3_27
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4488
Henzinger, T. A., Qadeer, S., & Rajamani, S. (1998). You assume, we guarantee: Methodology and case studies (Vol. 1427, pp. 440–451). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/ 10.1007/BFb0028765
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4489
Henzinger, T. A., Kupferman, O., & Qadeer, S. (1998). From pre-historic to post-modern symbolic model checking (Vol. 1427, pp. 195–206). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/BFb0028745
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4515
Henzinger, T. A. (1998). It’s about time: Real-time logics reviewed (Vol. 1466, pp. 439–454). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/BFb0055640
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4490
Henzinger, T. A., Raskin, J., & Schobbens, P. (1998). The regular real-time languages (Vol. 1443, pp. 580–591). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/BFb0055086
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4491
Henzinger, T. A., Ho, P., & Wong Toi, H. (1998). Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control. IEEE. https://doi.org/10.1109/9.664156
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4492
Henzinger, T. A., Kopke, P., Puri, A., & Varaiya, P. (1998). What’s decidable about hybrid automata? Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1006/jcss.1998.1581
View | DOI
 

1998 | Journal Article | IST-REx-ID: 6160
de Bono, M., & Bargmann, C. I. (1998). Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans. Cell. Elsevier. https://doi.org/10.1016/s0092-8674(00)81609-8
View | DOI | PubMed | Europe PMC
 

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. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19970217)378:3<320::AID-CNE2>3.0.CO;2-5
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2575
Li, H., Ohishi, H., Kinoshita, A., Shigemoto, R., Nomura, S., & Mizuno, N. (1997). 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. https://doi.org/10.1016/S0304-3940(97)13429-2
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2576
Li, J., Kaneko, T., Shigemoto, R., & Mizuno, N. (1997). Distribution of trigeminohypothalamic and spinohypothalamic tract neurons displaying substance P receptor-like immunoreactivity in the rat. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19970224)378:4<508::AID-CNE6>3.0.CO;2-6
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2577
Tone, Y., Inoue, H., Hara, S., Yokoyama, C., Hatae, T., Oida, H., … Tanabe, T. (1997). The regional distribution and cellular localization of mRNA encoding rat prostacyclin synthase. European Journal of Cell Biology. Elsevier.
View
 

1997 | Journal Article | IST-REx-ID: 2578
Seybold, V., Grković, I., Portbury, A., Ding, Y., Shigemoto, R., Mizuno, N., … Southwell, B. (1997). Relationship of NK3 receptor-immunoreactivity to subpopulations of neurons in rat spinal cord. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19970519)381:4<439::AID-CNE4>3.0.CO;2-3
View | DOI
 

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. Springer. https://doi.org/10.1007/s004410050846
View | DOI
 

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. Elsevier. https://doi.org/10.1016/S0891-0618(97)00051-3
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2581
Lee, T., Kaneko, T., Shigemoto, R., Nomura, S., & Mizuno, N. (1997). Collateral projections from striatonigral neurons to substance P receptor-expressing intrinsic neurons in the striatum of the rat. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19971117)388:2<250::AID-CNE5>3.0.CO;2-0
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2582
Shigemoto, R., Kinoshita, A., Wada, E., Nomura, S., Ohishi, H., Takada, M., … Mizuno, N. (1997). Differential presynaptic localization of metabotropic glutamate receptor subtypes in the rat hippocampus. Journal of Neuroscience. Society for Neuroscience.
View
 

1997 | Journal Article | IST-REx-ID: 2727
Erdös, L. (1997). Dia- and paramagnetism for nonhomogeneous magnetic fields. Journal of Mathematical Physics. American Institute of Physics. https://doi.org/10.1063/1.531909
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2729
Erdös, L., & Solovej, J. (1997). Semiclassical eigenvalue estimates for the Pauli operator with strong non-homogeneous magnetic fields, II. Leading order asymptotic estimates. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s002200050181
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3541
Bragin, A., Csicsvari, J. L., Penttonen, M., & Buzsáki, G. (1997). Epileptic afterdischarge in the hippocampal-entorhinal system: Current source density and unit studies. Neuroscience. Elsevier. https://doi.org/10.1016/S0306-4522(96)00446-0
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3482
Götz, T., Kraushaar, U., Geiger, J., Lubke, J., Berger, T., & Jonas, P. M. (1997). Functional properties of AMPA and NMDA receptors expressed in identified types of basal ganglia neurons. Journal of Neuroscience. Society for Neuroscience.
View | Download (ext.)
 

1997 | Journal Article | IST-REx-ID: 3483
Ceranik, K., Bender, R., Geiger, J., Monyer, H., Jonas, P. M., Frotscher, M., & Lubke, J. (1997). A novel type of GABAergic interneuron connecting the input and the output regions of the hippocampus. Journal of Neuroscience. Society for Neuroscience.
View | Download (ext.)
 

1997 | Journal Article | IST-REx-ID: 3484
Geiger, J., Lubke, J., Roth, A., Frotscher, M., & Jonas, P. M. (1997). Submillisecond AMPA receptor-mediated signaling at a principal neuron-interneuron synapse. Neuron. Elsevier. https://doi.org/10.1016/S0896-6273(00)80339-6
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3485
Martina, M., & Jonas, P. M. (1997). Functional differences in Na+ channel gating between fast-spiking interneurones and principal neurones in rat hippocampus. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1111/j.1469-7793.1997.593ba.x
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3486
Bischofberger, J., & Jonas, P. M. (1997). Action potential propagation into the presynaptic dendrites of rat mitral cells. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1111/j.1469-7793.1997.359be.x
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4583
Alur, R., & Henzinger, T. A. (1997). Modularity for timed and hybrid systems (Vol. 1243, pp. 74–88). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-63141-0_6
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4584
Alur, R., & Henzinger, T. A. (1997). Real-time system = discrete system + clock variables. Software Tools For Technology Transfer. Springer. https://doi.org/10.1007/s100090050007
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4605
Alur, R., Henzinger, T. A., & Wong Toi, H. (1997). Symbolic analysis of hybrid systems (pp. 702–707). Presented at the CDC: Decision and Control, IEEE. https://doi.org/10.1109/CDC.1997.650717 
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4607
Alur, R., Courcoubetis, C., & Henzinger, T. A. (1997). Computing accumulated delays in real-time systems. Formal Methods in System Design. Springer. https://doi.org/10.1023/A:1008626013578
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4608
Alur, R., Brayton, R., Henzinger, T. A., Qadeer, S., & Rajamani, S. (1997). Partial-order reduction in symbolic state-space exploration (Vol. 1254, pp. 340–351). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-63166-6_34
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4609
Alur, R., Henzinger, T. A., & Kupferman, O. (1997). Alternating-time temporal logic (pp. 100–109). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/ 10.1109/SFCS.1997.646098
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3630
Whitlock, M., & Barton, N. H. (1997). The effective size of a subdivided population. Genetics. Genetics Society of America.
View
 

1997 | Journal Article | IST-REx-ID: 3631
Kawecki, T., Barton, N. H., & Fry, J. (1997). Mutational collapse of fitness in marginal habitats and the evolution of ecological specialisation. Journal of Evolutionary Biology. Wiley-Blackwell. https://doi.org/10.1046/j.1420-9101.1997.10030407.x
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3632
Kirkpatrick, M., & Barton, N. H. (1997). The strength of indirect selection on female mating preferences. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.94.4.1282
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3633
Kirkpatrick, M., & Barton, N. H. (1997). Evolution of a species’ range. American Naturalist. University of Chicago Press. https://doi.org/10.1086/286054
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4018
Edelsbrunner, H., & Shah, N. (1997). Triangulating topological spaces. International Journal of Computational Geometry and Applications. World Scientific Publishing. https://doi.org/10.1142/S0218195997000223
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4021
Edelsbrunner, H., & Waupotitsch, R. (1997). A combinatorial approach to cartograms. Computational Geometry: Theory and Applications. Elsevier. https://doi.org/387910.1016/S0925-7721(96)00006-5
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4022
Edelsbrunner, H., Valtr, P., & Welzl, E. (1997). Cutting dense point sets in half. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/PL00009291
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4023
Edelsbrunner, H., & Ramos, E. (1997). Inclusion-exclusion complexes for pseudodisk collections. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/PL00009295
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4174
Masai, I., Heisenberg, C.-P. J., Barth, K. A., Macdonald, R., Adamek, S., & Wilson, S. (1997). Floating head and masterblind regulate neuronal patterning in the roof of the forebrain. Neuron. Elsevier. https://doi.org/10.1016/S0896-6273(01)80045-3
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4201
Heisenberg, C.-P. J., & Nüsslein Volhard, C. (1997). The function of silberblick in the positioning of the eye anlage in the zebrafish embryo. Developmental Biology. Elsevier. https://doi.org/10.1006/dbio.1997.8511
View | DOI
 

1997 | Book Chapter | IST-REx-ID: 4284
Barton, N. H. (1997). Natural selection and random genetic drift as causes of evolution on islands. In Evolution on islands (pp. 102–123). Oxford University Press.
View
 

1997 | Journal Article | IST-REx-ID: 4285
Otto, S., & Barton, N. H. (1997). The evolution of recombination: Removing the limits to natural selection. Genetics. Genetics Society of America.
View
 

1997 | Journal Article | IST-REx-ID: 4286
Piálek, J., & Barton, N. H. (1997). The spread of an advantageous allele across a barrier: the effects of random drift and selection against heterozygotes. Genetics. Genetics Society of America.
View
 

1997 | Book Review | IST-REx-ID: 4287
Coyne, J., Barton, N. H., & Turelli, M. (1997). 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.
View | Download (ext.)
 

1997 | Journal Article | IST-REx-ID: 4288 | OA
Fowler, K., Semple, C., Barton, N. H., & Partridge, L. (1997). Genetic variation for total fitness in Drosophila melanogaster. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The. https://doi.org/10.1098/rspb.1997.0027
View | DOI | Download (ext.)
 

1997 | Book Review | IST-REx-ID: 4289
Barton, N. H. (1997). Population genetics: A new apportionment of human diversity. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(06)00397-6
View | DOI
 

1997 | Book Review | IST-REx-ID: 4290
Barton, N. H. (1997). Natural hybridization and evolution. Genetical Research. Cambridge University Press.
View
 

1997 | Book Review | IST-REx-ID: 4291
Barton, N. H. (1997). The ccological detective: Confronting models with data. Genetical Research. Cambridge University Press.
View
 

1997 | Book Chapter | IST-REx-ID: 4293
Barton, N. H., & Whitlock, M. (1997). The evolution of metapopulations. In Metapopulation Biology (pp. 183–210). Academic Press. https://doi.org/10.1016/B978-012323445-2/50012-2
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4438
Henzinger, T. A., & Kupferman, O. (1997). From quantity to quality (Vol. 1201, pp. 48–62). Presented at the HART: Hybrid and Real-Time Systems, Springer. https://doi.org/ 10.1007/BFb0014712
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4441
Henzinger, T. A., & Kopke, P. (1997). Discrete-time control for rectangular hybrid automata (Vol. 1256, pp. 582–593). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/3-540-63165-8_213
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4520
Gupta, V., Henzinger, T. A., & Jagadeesan, R. (1997). Robust timed automata (Vol. 1201, pp. 331–345). Presented at the HART: Hybrid and Real-Time Systems, Springer. https://doi.org/10.1007/BFb0014736
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4493
Henzinger, T. A., Ho, P., & Wong Toi, H. (1997). HyTech: A model checker for hybrid systems. Software Tools For Technology Transfer. Springer. https://doi.org/10.1007/s100090050008
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4494
Henzinger, T. A., Ho, P., & Wong Toi, H. (1997). HyTech: A model checker for hybrid systems (Vol. 1254, pp. 460–463). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-63166-6_48
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4496
Henzinger, T. A., Kupferman, O., & Rajamani, S. (1997). Fair simulation (Vol. 1243, pp. 273–287). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-63141-0_19
View | DOI
 

1997 | Journal Article | IST-REx-ID: 8527
Hunt, B. R., & Kaloshin, V. (1997). How projections affect the dimension spectrum of fractal measures. Nonlinearity. IOP Publishing. https://doi.org/10.1088/0951-7715/10/5/002
View | DOI
 

Search

Filter Publications