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.
1849 Publications
1999 |Published| 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 |Published| Conference Paper | IST-REx-ID: 4484
Henzinger, Thomas A., et al. “Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems.” Proceedings of the 11th International Conference on Computer Aided Verification, vol. 1633, Springer, 1999, pp. 301–15, doi:10.1007/3-540-48683-6_27.
View
| DOI
1999 |Published| Conference Paper | IST-REx-ID: 4485
Henzinger, Thomas A., et al. “Rectangular Hybrid Games.” Proceedings of the 10th International Conference on Concurrency Theory, vol. 1664, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 320–35, doi:10.1007/3-540-48320-9_23.
View
| DOI
1999 |Published| Conference Paper | IST-REx-ID: 4487
Henzinger, Thomas A., et al. “Assume-Guarantee Refinement between Different Time Scales.” Proceedings of the 11th International Conference on Computer Aided Verification, vol. 1633, Springer, 1999, pp. 208–21, doi:10.1007/3-540-48683-6_20.
View
| DOI
1999 |Published| Conference Paper | IST-REx-ID: 4601
Alur, Rajeev, et al. “Alternating-Time Temporal Logic.” Proceedings of the International Symposium on Compositionality, vol. 1536, Springer, 1999, pp. 23–60, doi:10.1007/3-540-49213-5_2.
View
| DOI
1999 |Published| Conference Paper | IST-REx-ID: 4602
Alur, Rajeev, et al. “Automating Modular Verification.” Proceedings of the 10th International Conference on Concurrency Theory, vol. 1664, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 82–97, doi:10.1007/3-540-48320-9_8.
View
| DOI
1999 |Published| 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, doi:10.1523/JNEUROSCI.19-09-03545.1999.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1998 |Published| Conference Paper | IST-REx-ID: 11682
Agarwal, P. K., et al. “Parametric and Kinetic Minimum Spanning Trees.” Proceedings of the 39th Annual Symposium on Foundations of Computer Science, 1998, pp. 596–605, doi:10.1109/SFCS.1998.743510.
View
| DOI
1998 |Published| 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
| PubMed | Europe PMC
1998 |Published| 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
| PubMed | Europe PMC
1998 |Published| 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
| PubMed | Europe PMC
1998 |Published| 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
| PubMed | Europe PMC
1998 |Published| 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
| PubMed | Europe PMC
1998 |Published| 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 |Published| 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, doi:10.1111/j.1558-5646.1998.tb05156.x.
View
| DOI
| PubMed | Europe PMC
1998 |Published| Journal Article | IST-REx-ID: 4017 |
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1998 |Published| Conference Paper | IST-REx-ID: 4410
Preußig, Jörg, et al. “An Algorithm for the Approximative Analysis of Rectangular Automata.” Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, vol. 1486, Springer, 1998, pp. 228–40, doi:10.1007/BFb0055350.
View
| DOI
1998 |Published| Conference Paper | IST-REx-ID: 4429
Henzinger, Thomas A., and Vlad Rusu. “Reachability Verification for Hybrid Automata.” Proceedings of the 1st International Workshop on Hybrid Systems: Computation and Control, vol. 1386, Springer, 1998, pp. 190–204, doi:10.1007/3-540-64358-3_40.
View
| DOI
1998 |Published| Conference (Editor) | IST-REx-ID: 4430
Henzinger, Thomas A., editor. HSCC: Hybrid Systems—Computation and Control. Vol. 1386, Springer, 1998, doi:10.1007/3-540-64358-3.
View
| DOI
1998 |Published| Conference Paper | IST-REx-ID: 4486
Henzinger, Thomas A., et al. “An Assume-Guarantee Rule for Checking Simulation.” Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design, vol. 1522, Springer, 1998, pp. 421–32, doi:10.1007/3-540-49519-3_27.
View
| DOI