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.

5484 Publications


2000 | Journal Article | IST-REx-ID: 4269
Coyne, Jerry, et al. “Is Wright’s Shifting Balance Process Important in Evolution?” Evolution; International Journal of Organic Evolution, vol. 54, no. 1, Wiley-Blackwell, 2000, pp. 306–17, doi:310.1111/j.0014-3820.2000.tb00033.x.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4271
Barton, Nicholas H., and Max Shpak. “The Effects of Epistasis on the Structure of Hybrid Zones.” Genetical Research, vol. 75, no. 2, Cambridge University Press, 2000, pp. 179–98, doi:10.1017/S0016672399004334.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4435
Henzinger, Thomas A., and Ritankar Majumdar. Symbolic Model Checking for Rectangular Hybrid Systems. Vol. 1785, Springer, 2000, pp. 142–56, doi:10.1007/3-540-46419-0_11.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4512
Henzinger, Thomas A. Masaccio: A Formal Model for Embedded Components. Vol. 1872, Springer, 2000, pp. 549–63, doi:10.1007/3-540-44929-9_38.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4637
De Alfaro, Luca, et al. The Control of Synchronous Systems. Vol. 1877, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000, pp. 458–73, doi:10.1007/3-540-44618-4_33.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4598
Alur, Rajeev, et al. “Discrete Abstractions of Hybrid Systems.” Proceedings of the IEEE, vol. 88, no. 7, IEEE, 2000, pp. 971–84, doi:10.1109/5.871304 .
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2601
Ichise, Taeko, et al. “MGluR1 in Cerebellar Purkinje Cells Essential for Long-Term Depression, Synapse Elimination, and Motor Coordination.” Science, vol. 288, no. 5472, American Association for the Advancement of Science, 2000, pp. 1832–35, doi:10.1126/science.288.5472.1832.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2598
Sillevis Smitt, Peter, et al. “Paraneoplastic Cerebellar Ataxia Due to Autoantibodies against a Glutamate Receptor.” New England Journal of Medicine, vol. 342, no. 1, Massachussetts Medical Society, 2000, pp. 21–27, doi:10.1056/NEJM200001063420104.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2733
Erdös, László, et al. “Diamagnetic Behavior of Sums Dirichlet Eigenvalues.” Annales de l’Institut Fourier, vol. 50, no. 3, Association des Annales de l’Institut Fourier, 2000, pp. 891–907, doi:10.5802/aif.1777.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3798
Jonas, Peter M. “The Time Course of Signaling at Central Glutamatergic Synapses.” Physiology, vol. 15, no. 2, American Physiological Society, 2000, pp. 83–89.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3623
Barton, Nicholas H., and Linda Patridge. “Measuring Fitness by Means of Balancer Chromosomes.” Genetical Research, vol. 75, no. 3, Cambridge University Press, 2000, pp. 297–314, doi:10.1017/S0016672399004346.
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 3572
Edelsbrunner, Herbert. “Spielereien Mit Kreisen Und Kugeln. Zum Thema Form Und Verformung.” Zur Kunst Des Formalen Denkens, Passagen Verlag, 2000, pp. 153–71.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3490
Normann, Claus, et al. “Associative Long-Term Depression in the Hippocampus Is Dependent on Postsynaptic N-Type Ca(2+) Channels.” Journal of Neuroscience, vol. 20, no. 22, Society for Neuroscience, 2000, pp. 8290–97.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 4272
Barton, Nicholas H., and Max Shpak. “The Stability of Symmetrical Solutions to Polygenic Models.” Theoretical Population Biology, vol. 57, no. 3, Academic Press, 2000, pp. 249–63, doi:10.1006/tpbi.2000.1455.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4481
Henzinger, Thomas A., et al. Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods. Vol. 1790, Springer, 2000, pp. 130–44, doi:10.1007/3-540-46430-1_14.
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 4513
Henzinger, Thomas A. “The Theory of Hybrid Automata.” Verification of Digital and Hybrid Systems, edited by M. Inan and Robert Kurshan, vol. 170, Springer, 2000, pp. 265–92.
View
 

2000 | Conference Paper | IST-REx-ID: 4638
De Alfaro, Luca, et al. Detecting Errors before Reaching Them. Vol. 1855, Springer, 2000, pp. 186–201, doi:10.1007/10722167_17.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2594
Ding, Yu, et al. “The Distribution of Substance P Receptor (NK1)-like Immunoreactive Neurons in the Newborn and Adult Human Spinal Cord.” Neuroscience Letters, vol. 266, no. 2, Elsevier, 1999, pp. 133–36, doi:10.1016/S0304-3940(99)00283-9.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3148
Siekhaus, Daria E., and Robert 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, 1999, pp. 6942–54.
View
 

1999 | Conference Paper | IST-REx-ID: 3554
Jiao, Xiangmin, et al. Mesh Association: Formulation and Algorithms. Elsevier, 1999, pp. 75–82.
View | Download (ext.)
 

1999 | Journal Article | IST-REx-ID: 4014
Edelsbrunner, Herbert. “Deformable Smooth Surface Design.” Discrete & Computational Geometry, vol. 21, no. 1, Springer, 1999, pp. 87–115, doi:10.1007/PL00009412.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 4204
Heisenberg, Carl, et al. “Zebrafish Aussicht Mutant Embryos Exhibit Widespread Overexpression of Ace (Fgf8) and Coincident Defects in CNS Development.” Development, vol. 126, no. 10, Company of Biologists, 1999, pp. 2129–40.
View
 

1999 | Conference Paper | IST-REx-ID: 4487
Henzinger, Thomas A., et al. Assume-Guarantee Refinement between Different Time Scales. Vol. 1633, Springer, 1999, pp. 208–21, doi:10.1007/3-540-48683-6_20.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 883
Kondrashov, Alexey, and Fyodor Kondrashov. “Interactions among Quantitative Traits in the Course of Sympatric Speciation.” Nature, vol. 400, no. 6742, Nature Publishing Group, 1999, pp. 351–54, doi:10.1038/22514.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2595
Lafon Cazal, Mireille, et al. “MGluR7-like Receptor and GABA(B) Receptor Activation Enhance Neurotoxic Effects of N-Methyl-D-Aspartate in Cultured Mouse Striatal GABAergic Neurones.” Neuropharmacology, vol. 38, no. 10, Elsevier, 1999, pp. 1631–40, doi:10.1016/S0028-3908(99)00124-0.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2730
Erdös, László, and Jan 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, 1999, pp. 127–73, doi:10.1215/S0012-7094-99-09604-7.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 2711
Erdös, László. Linear Boltzmann Equation as the Weak Coupling Limit of the Random Schrödinger Equation. Vol. 108, World Scientific Publishing, 1999, pp. 233–42, doi:10.1007/978-3-0348-8745-8_20.
View | DOI
 

1999 | Book | IST-REx-ID: 3137
Jonas, Peter M., and Hannah Monyer, editors. Ionotropic Glutamate Receptors in the CNS. Vol. 141, Springer, 1999.
View | Download (ext.)
 

1999 | Journal Article | IST-REx-ID: 3625
Barton, Nicholas H. “Clines in Polygenic Traits.” Genetical Research, vol. 74, no. 3, Cambridge University Press, 1999, pp. 223–36, doi:10.1017/S001667239900422X.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3524
Csicsvari, Jozsef L., et al. “Oscillatory Coupling of Hippocampal Pyramidal Cells and Interneurons in the Behaving Rat.” Journal of Neuroscience, vol. 19, no. 1, Society for Neuroscience, 1999, pp. 274–87.
View | Download (ext.)
 

1999 | Journal Article | IST-REx-ID: 3531
Dragoi, George, et al. “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, 1999, pp. 6191–99.
View
 

1999 | Journal Article | IST-REx-ID: 4279
Goodman, Simon, et al. “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, 1999, pp. 355–71.
View
 

1999 | Journal Article | IST-REx-ID: 2591
Kummer, Wolfgang, et al. “Smooth Muscle Cells Are the Site of Neurokinin-1 Receptor Localization in the Arterial Supply of the Rat Sciatic Nerve.” Neuroscience Letters, vol. 259, no. 2, Elsevier, 1999, pp. 119–22, doi:10.1016/S0304-3940(98)00926-4.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2596
Bischoff, Serge, et al. “Spatial Distribution of GABA(B)R1 Receptor MRNA and Binding Sites in the Rat Brain^.” Journal of Comparative Neurology, vol. 412, no. 1, Wiley-Blackwell, 1999, pp. 1–16, doi:10.1002/(SICI)1096-9861(19990913)412:1<1::AID-CNE1>3.0.CO;2-D.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3626
Kruuk, Loeske, et al. “A Comparison of Multilocus Clines Maintained by Environmental Adaptation or by Selection against Hybrids.” Genetics, vol. 153, no. 4, Genetics Society of America, 1999, pp. 1959–71.
View
 

1999 | Journal Article | IST-REx-ID: 3518
Nádasdy, Zoltán, et al. “Replay and Time Compression of Recurring Spike Sequences in the Hippocampus.” Journal of Neuroscience, vol. 19, no. 21, Society for Neuroscience, 1999, pp. 9497–507.
View
 

1999 | Journal Article | IST-REx-ID: 3582
Dey, Tamal, et al. “Topology Preserving Edge Contraction.” Publications de l’Institut Mathématique, vol. 66, Jugostampa, 1999, pp. 23–45.
View | Download (ext.)
 

1999 | Conference Paper | IST-REx-ID: 4484
Henzinger, Thomas A., et al. Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems. Vol. 1633, Springer, 1999, pp. 301–15, doi:10.1007/3-540-48683-6_27.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2592
Masugi, Miwako, et al. “Metabotropic Glutamate Receptor Subtype 7 Ablation Causes Deficit in Fear Response and Conditioned Taste Aversion.” Journal of Neuroscience, vol. 19, no. 3, Society for Neuroscience, 1999, pp. 955–63.
View
 

1999 | Journal Article | IST-REx-ID: 2597
Bushell, Trevor, et al. “Modulation of Synaptic Transmission and Differential Localisation of MGlus in Cultured Hippocampal Autapses.” Neuropharmacology, vol. 38, no. 10, Elsevier, 1999, pp. 1553–67, doi:10.1016/S0028-3908(99)00103-3.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2864
Witters, Erwin, 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, 1999, pp. 143–51, doi:10.1002/(SICI)1099-1565(199905/06)10:3<143::AID-PCA441>3.0.CO;2-G.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3444
Csicsvari, Jozsef L., et al. “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 | Book Chapter | IST-REx-ID: 3456
Monyer, Hannah, et al. “Molecular Determinants Controlling Functional Properties of AMPARs and NMDARs in the Mammalian CNS.” Ionotropic Glutamate Receptors in the CNS, edited by Peter M Jonas and Hannah Monyer, vol. 141, Springer, 1999, pp. 309–39, doi:10.1007/978-3-662-08022-1_9.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3519
Czurkó, András, et al. “Sustained Activation of Hippocampal Pyramidal Cells by ‘space Clamping’’ in a Running Wheel.’” European Journal of Neuroscience, vol. 11, no. 1, Wiley-Blackwell, 1999, pp. 344–52, doi:10.1046/j.1460-9568.1999.00446.x.
View | DOI
 

1999 | Book Chapter | IST-REx-ID: 3571
Dey, Tamal, et al. “Computational Topology.” Advances in Discrete and Computational Geometry, vol. 223, American Mathematical Society, 1999, pp. 109–43.
View | Download (ext.)
 

1999 | Thesis | IST-REx-ID: 4411
Qadeer, Shaz. 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
Henzinger, Thomas A., and Peter Kopke. “Discrete-Time Control for Rectangular Hybrid Automata.” Theoretical Computer Science, vol. 221, no. 1–2, Elsevier, 1999, pp. 369–92, doi:10.1016/S0304-3975(99)00038-9.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4480
Henzinger, Thomas A., et al. Formal Specification and Verification of a Dataflow Processor Array. IEEE, 1999, pp. 494–99.
View
 

1999 | Conference Paper | IST-REx-ID: 4485
Henzinger, Thomas A., et al. Rectangular Hybrid Games. Vol. 1664, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 320–35, doi:10.1007/3-540-48320-9_23.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4601
Alur, Rajeev, et al. Alternating-Time Temporal Logic. Vol. 1536, Springer, 1999, pp. 23–60, doi:10.1007/3-540-49213-5_2.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2593
Yu, Xiao, et al. “NK-1 Receptor Immunoreactivity in Distinct Morphological Types of Lamina I Neurons of the Primate Spinal Cord.” Journal of Neuroscience, vol. 19, no. 9, Society for Neuroscience, 1999, pp. 3545–55.
View
 

1999 | Journal Article | IST-REx-ID: 2783
Hof, Björn, et al. “Flow State Multiplicity in Convection.” Physics of Fluids, vol. 11, no. 10, American Institute of Physics, 1999, pp. 2815–17, doi:10.1063/1.870178 .
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2865
Benková, Eva, 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, 1999, pp. 245–51, doi:10.​1104/​pp.​121.​1.​245.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3445
Dragoi, George, et al. “Hippocampomedial Septal Interactions during Sharp Waves and Theta Oscillation in the Behaving Rat.” Journal of Neuroscience, vol. 19, no. 14, Society for Neuroscience, 1999, pp. 6191–99.
View
 

1999 | Book Chapter | IST-REx-ID: 3457
Geiger, Jörg, et al. “Glutamate-Mediated Synaptic Excitation of Cortical Interneurons.” Ionotropic Glutamate Receptors in the CNS, edited by Hannah Monyer and Peter M Jonas, vol. 141, Springer, 1999, pp. 363–98, doi:10.1007/978-3-662-08022-1_11.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3515
Penttonen, Markku, et al. “Ultra-Slow Oscillation (0.025 Hz) Triggers Hippocampal Afterdischarges in Wistar Rats.” Neuroscience, vol. 94, no. 3, Elsevier, 1999, pp. 735–43, doi:10.1016/S0306-4522(99)00367-X.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3539
Hirase, Hajima, et al. “Firing Rate and Theta-Phase Coding by Hippocampal Pyramidal Neurons during ‘Space Clamping.’” European Journal of Neuroscience, vol. 11, no. 12, Wiley-Blackwell, 1999, pp. 4373–80, doi:10.1046/j.1460-9568.1999.00853.x.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 4277
Kruuk, Loeske, et al. “Hybrid Dysfunction in Fire-Bellied Toads (Bombina).” Evolution; International Journal of Organic Evolution, vol. 53, no. 5, Wiley-Blackwell, 1999, pp. 1611–16, doi:10.2307/2640907.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 4582
Alur, Rajeev, and Thomas A. Henzinger. “Reactive Modules.” Formal Methods in System Design, vol. 15, no. 1, Springer, 1999, pp. 7–48, doi:10.1023/A:1008739929481.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4602
Alur, Rajeev, et al. Automating Modular Verification. Vol. 1664, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 82–97, doi:10.1007/3-540-48320-9_8.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2587
Jaarsma, Dick, et al. “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, 1998, pp. 303–27, doi:10.1023/A:1006982023657.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 2695
Erdös, László, and Horng Yau. Linear Boltzmann Equation as Scaling Limit of Quantum Lorentz Gas. Vol. 217, American Mathematical Society, 1998, pp. 137–55, doi:10.1090/conm/217.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3535
Hirase, Hajima, et al. “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, 1998, pp. 9932–9932.
View
 

1998 | Journal Article | IST-REx-ID: 3629
Maccallum, Catriona, et al. “Habitat Preference in the Bombina Hybrid Zone in Croatia.” Evolution, vol. 52, no. 1, Wiley-Blackwell, 1998, pp. 227–39.
View | Download (ext.)
 

1998 | Conference Paper | IST-REx-ID: 4019
Cheng, Ho, et al. Shape Space from Deformation. IEEE, 1998, pp. 104–13, doi:10.1109/PCCGA.1998.732056.
View | DOI
 

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, vol. 13, no. 7, Cell Press, 1998, pp. 282–83, doi:10.1016/S0169-5347(98)01396-2.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4603
Alur, Rajeev, et al. Alternating Refinement Relations. Vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 163–78, doi:10.1007/BFb0055611.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4639
De Alfaro, Luca, et al. Concurrent Reachability Games. IEEE, 1998, pp. 564–75, doi:10.1109/SFCS.1998.743507  .
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2583
Li, Jin, et al. “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, 1998, pp. 219–25, doi:10.1016/S0168-0102(97)00132-6.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2588
Kaupmann, Klemens, et al. “ GABA(B)-Receptor Subtypes Assemble into Functional Heteromeric Complexes.” Nature, vol. 396, no. 6712, Nature Publishing Group, 1998, pp. 683–87, doi:10.1038/25360.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2590
Jaarsma, Dick, et al. “ 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, 1998, pp. 303–27, doi:10.1023/A:1006982023657.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2728
Erdös, László. “Lifschitz Tail in a Magnetic Field: The Nonclassical Regime.” Probability Theory and Related Fields, vol. 112, no. 3, Springer, 1998, pp. 321–71, doi:10.1007/s004400050193.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4015
Edelsbrunner, Herbert. Shape Reconstruction with Delaunay Complex. Vol. 1380, Springer, 1998, pp. 119–32, doi:10.1007/BFb0054315.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4281
Barton, Nicholas H., and Brian Charlesworth. “Why Sex and Recombination?” Science, vol. 281, no. 5385, American Association for the Advancement of Science, 1998, pp. 1986–90, doi:10.1126/science.281.5385.1986.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4488
Henzinger, Thomas A., et al. You Assume, We Guarantee: Methodology and Case Studies. Vol. 1427, Springer, 1998, pp. 440–51, doi: 10.1007/BFb0028765.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4490
Henzinger, Thomas A., et al. The Regular Real-Time Languages. Vol. 1443, Springer, 1998, pp. 580–91, doi:10.1007/BFb0055086.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4515
Henzinger, Thomas A. It’s about Time: Real-Time Logics Reviewed. Vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 439–54, doi:10.1007/BFb0055640.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4604
Alur, Rajeev, et al. Mocha: Modularity in Model Checking. Vol. 1427, Springer, 1998, pp. 521–25, doi:10.1007/BFb0028774.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 1954
Sazanov, Leonid A., et al. “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, 1998, pp. 115–18, doi:10.1016/S0014-5793(98)00573-0.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2584
Kinoshita, Ayae, et al. “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, 1998, pp. 332–52, doi:10.1002/(SICI)1096-9861(19980413)393:3<332::AID-CNE6>3.0.CO;2-2.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2589
Baude, Agnès, and Ryuichi 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, 1998, pp. 181–96, doi:10.1002/(SICI)1096-9861(19981214)402:2<181::AID-CNE4>3.0.CO;2-B.
View | DOI
 

1998 | Patent | IST-REx-ID: 3506
Edelsbrunner, Herbert, and Ping Fu. Apparatus and Method for Geometric Morphing. Elsevier, 1998, doi:US 5,850,229.
View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 3525
Nádasdy, Zoltán, et al. “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, 1998, pp. 9409–9409.
View
 

1998 | Book Chapter | IST-REx-ID: 3570
Axen, Ulrike, and Herbert Edelsbrunner. “Auditory Morse Analysis of Triangulated Manifolds.” Mathematical Visualization, Springer, 1998, pp. 223–36, doi:10.1007/978-3-662-03567-2_17.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4011
Liang, Jie, et al. “Analytical Shape Computation of Macromolecules: I. Molecular Area and Volume through Alpha Shape.” Proteins: Structure, Function and Bioinformatics, vol. 33, no. 1, Wiley-Blackwell, 1998, pp. 1–17, doi:10.1002/(SICI)1097-0134(19981001)33:1<1::AID-PROT1>3.0.CO;2-O.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4016
Edelsbrunner, Herbert, et al. Wrapping 3D Scanning Data. Vol. 3313, SPIE, 1998, pp. 148–58, doi:10.1117/12.302448.
View | DOI
 

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

1998 | Conference Paper | IST-REx-ID: 4408
Raskin, Jean, et al. Axioms for Real-Time Logics. Vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 219–36, doi:10.1007/BFb0055625.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4410
Preußig, Jörg, et al. An Algorithm for the Approximative Analysis of Rectangular Automata. Vol. 1486, Springer, 1998, pp. 228–40, doi:10.1007/BFb0055350.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4489
Henzinger, Thomas A., et al. From Pre-Historic to Post-Modern Symbolic Model Checking. Vol. 1427, Springer, 1998, pp. 195–206, doi:10.1007/BFb0028745.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4491
Henzinger, Thomas A., et al. “Algorithmic Analysis of Nonlinear Hybrid Systems.” IEEE Transactions on Automatic Control, vol. 43, no. 4, IEEE, 1998, pp. 540–54, doi:10.1109/9.664156 .
View | DOI
 

1998 | Journal Article | IST-REx-ID: 1450   OA
Hausel, Tamas. “Vanishing of Intersection Numbers on the Moduli Space of Higgs Bundles.” Advances in Theoretical and Mathematical Physics, vol. 2, no. 5, International Press, 1998, pp. 1011–40, doi:10.4310/ATMP.1998.v2.n5.a3.
View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 1955   OA
Burrows, Paul, et al. “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, 1998, pp. 868–76, doi:10.1093/emboj/17.4.868.
View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 2585
Wada, Eiki, et al. “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, 1998, pp. 493–504, doi:10.1002/(SICI)1096-9861(19980420)393:4<493::AID-CNE8>3.0.CO;2-W.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3627
Barton, Nicholas H. “The Effect of Hitch-Hiking on Neutral Genealogies.” Genetical Research, vol. 72, no. 2, Cambridge University Press, 1998, pp. 123–33, doi:10.1017/S0016672398003462.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3521
Csicsvari, Jozsef L., et al. “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, 1998, pp. 179–89, doi:10.1016/S0896-6273(00)80525-5.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3487
Jonas, Peter M., et al. “Corelease of Two Fast Neurotransmitters at a Central Synapse.” Science, vol. 281, no. 5375, American Association for the Advancement of Science, 1998, pp. 419–24, doi:10.1126/science.281.5375.419.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4012
Liang, Jie, et al. “Analytical Shape Computation of Macromolecules: II. Inaccessible Cavities in Proteins.” Proteins: Structure, Function and Bioinformatics, vol. 33, no. 1, Wiley-Blackwell, 1998, pp. 18–29, doi:10.1002/(SICI)1097-0134(19981001)33:1<18::AID-PROT2>3.0.CO;2-H.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4017   OA
Liang, Jie, et al. “Anatomy of Protein Pockets and Cavities: Measurement of Binding Site Geometry and Implications for Ligand Design.” Protein Science, vol. 7, no. 9, Wiley-Blackwell, 1998, pp. 1884–97, doi:10.1002/pro.5560070905.
View | DOI | Download (ext.)
 

1998 | Book Review | IST-REx-ID: 4283
Barton, Nicholas H. “The Geometry of Adaptation.” Nature, vol. 395, no. 6704, Nature Publishing Group, 1998, pp. 751–52.
View
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed