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.

6292 Publications


2000 | Conference Paper | IST-REx-ID: 4434
Henzinger, Thomas A., and Jean Raskin. Robust Undecidability of Timed and Hybrid Systems. Vol. 1790, Springer, 2000, pp. 145–59, doi:10.1007/3-540-46430-1_15.
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: 4439
Henzinger, Thomas A., and Ritankar Majumdar. A Classification of Symbolic Transition Systems. Vol. 1770, Springer, 2000, pp. 13–34, doi:10.1007/3-540-46541-3_2.
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 | Conference Paper | IST-REx-ID: 4482
Henzinger, Thomas A., et al. Abstract Interpretation of Game Properties. Vol. 1824, Springer, 2000, pp. 220–39, doi:10.1007/978-3-540-45099-3_12.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4483
Henzinger, Thomas A., et al. Decomposing Refinement Proofs Using Assume-Guarantee Reasoning. IEEE, 2000, pp. 245–52, doi:10.1109/ICCAD.2000.896481.
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 | 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 | 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: 3149
Hwang, Jae, et al. “Interaction of Drosophila Melanogaster Prohormone Convertase 2 and 7B2: Insect Cell Specific Processing and Secretion.” Journal of Biological Chemistry, vol. 275, no. 23, American Society for Biochemistry and Molecular Biology, 2000, pp. 17886–93, doi:10.1074/jbc.M000032200 .
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3489
Kraushaar, Udo, and Peter M. Jonas. “Efficacy and Stability of Quantal GABA Release at a Hippocampal Interneuron-Principal Neuron Synapse.” Journal of Neuroscience, vol. 20, no. 15, Society for Neuroscience, 2000, pp. 5594–607.
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: 3491
Martina, Marco, et al. “Distal Initiation and Active Propagation of Action Potentials in Interneuron Dendrites.” Science, vol. 287, no. 5451, American Association for the Advancement of Science, 2000, pp. 295–300, doi:10.1126/science.287.5451.295.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3492
Geiger, Jörg, and Peter M. Jonas. “Dynamic Control of Presynaptic Ca(2+) Inflow by Fast-Inactivating K+ Channels in Hippocampal Mossy Fiber Boutons.” Neuron, vol. 28, no. 3, Elsevier, 2000, pp. 927–39, doi:10.1016/S0896-6273(00)00164-1.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3532
Henze, Darrell, et al. “Intracellular Features Predicted by Extracellular Recordings in the Hippocampus in Vivo.” Journal of Neurophysiology, vol. 84, no. 1, American Physiological Society, 2000, pp. 390–400.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3542
Csicsvari, Jozsef L., et al. “Ensemble Patterns of Hippocampal CA3-CA1 Neurons during Sharp Wave-Associated Population Events.” Neuron, vol. 28, no. 2, Elsevier, 2000, pp. 585–94, doi:10.1016/S0896-6273(00)00135-5.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3548
Harris, Kenneth, et al. “Accuracy of Tetrode Spike Separation as Determined by Simultaneous Intracellular and Extracellular Measurements.” Journal of Neurophysiology, vol. 84, no. 1, American Physiological Society, 2000, pp. 401–14.
View
 

2000 | Conference Paper | IST-REx-ID: 3555
Edelsbrunner, Herbert, et al. Smoothing and Cleaning up Slivers. ACM, 2000, pp. 273–77, doi:10.1145/335305.335338.
View | DOI | Download (ext.)
 

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: 3583
Edelsbrunner, Herbert. “Triangulations and Meshes in Computational Geometry.” Acta Numerica, vol. 9, Cambridge University Press, 2000, pp. 133–213.
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 | Journal Article | IST-REx-ID: 3624
Barton, Nicholas H. “Estimating Multilocus Linkage Disequilibria.” Heredity, vol. 84, no. 3, Nature Publishing Group, 2000, pp. 373–89, doi:10.1046/j.1365-2540.2000.00683.x.
View | DOI
 

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: 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: 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: 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: 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: 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: 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 | 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 | 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 | 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: 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: 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: 8526
Kaloshin, Vadim. “An Extension of the Artin-Mazur Theorem.” The Annals of Mathematics, vol. 150, no. 2, JSTOR, 1999, pp. 729–41, doi:10.2307/121093.
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 | 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 | 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
 

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-Philipp J., 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 | 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: 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 | Thesis | IST-REx-ID: 4411
Qadeer, Shaz. Algorithms and Methodology for Scalable Model Checking. University of California, Berkeley, 1999, pp. 1–150.
View | Download None (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: 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 | 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: 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: 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 | 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.)
 

Search

Filter Publications