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.

5853 Publications


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 | 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 | 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 | 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: 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 | 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: 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 | 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: 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 | 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: 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
 

Search

Filter Publications