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.

1621 Publications


1999 | Conference Paper | IST-REx-ID: 2711
Erdös, L. (1999). Linear Boltzmann equation as the weak coupling limit of the random Schrödinger equation. In Proceedings of the 7th QMath Conference (Vol. 108, pp. 233–242). Prague, Czech Republik: World Scientific Publishing. https://doi.org/10.1007/978-3-0348-8745-8_20
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2864
Witters, E., Vanhoutte, K., Dewitte, W., Macháčková, I., Benková, E., Van Dongen, W., … Van Onckelen, H. (1999). Analysis of cyclic nucleotides and cytokinins in minute plant samples using phase system switching capillary electrospray liquid chromatography tandem mass spectrometry. Phytochemical Analysis. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1099-1565(199905/06)10:3<143::AID-PCA441>3.0.CO;2-G
View | DOI
 

1999 | Book (Editor) | IST-REx-ID: 3137
Jonas, P. M., & Monyer, H. (Eds.). (1999). Ionotropic Glutamate Receptors in the CNS (1st ed., Vol. 141). Berlin ; Heidelberg: Springer. https://doi.org/10.1007/978-3-662-08022-1
View | DOI | Download None (ext.)
 

1999 | Book Chapter | IST-REx-ID: 3456
Monyer, H., Jonas, P. M., & Rossier, J. (1999). Molecular determinants controlling functional properties of AMPARs and NMDARs in the mammalian CNS. In P. M. Jonas & H. Monyer (Eds.), Ionotropic Glutamate Receptors in the CNS (Vol. 141, pp. 309–339). Springer. https://doi.org/10.1007/978-3-662-08022-1_9
View | DOI
 

1999 | Book Chapter | IST-REx-ID: 3457
Geiger, J., Roth, A., Taskin, B., & Jonas, P. M. (1999). Glutamate-mediated synaptic excitation of cortical interneurons. In H. Monyer & P. M. Jonas (Eds.), Ionotropic Glutamate Receptors in the CNS (Vol. 141, pp. 363–398). Springer. https://doi.org/10.1007/978-3-662-08022-1_11
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4484
Henzinger, T. A., Qadeer, S., & Rajamani, S. (1999). Verifying sequential consistency on shared-memory multiprocessor systems. In Proceedings of the 11th International Conference on Computer Aided Verification (Vol. 1633, pp. 301–315). Trento, Italy: Springer. https://doi.org/10.1007/3-540-48683-6_27
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4485
Henzinger, T. A., Horowitz, B., & Majumdar, R. (1999). Rectangular hybrid games. In Proceedings of the 10th International Conference on Concurrency Theory (Vol. 1664, pp. 320–335). Eindhoven, The Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-48320-9_23
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4487
Henzinger, T. A., Qadeer, S., & Rajamani, S. (1999). Assume-guarantee refinement between different time scales. In Proceedings of the 11th International Conference on Computer Aided Verification (Vol. 1633, pp. 208–221). Trento, Italy: Springer. https://doi.org/10.1007/3-540-48683-6_20
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4601
Alur, R., Henzinger, T. A., & Kupferman, O. (1999). Alternating-time temporal logic. In Proceedings of the International Symposium on Compositionality (Vol. 1536, pp. 23–60). Bad Malente, Germany: Springer. https://doi.org/10.1007/3-540-49213-5_2
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4602
Alur, R., De Alfaro, L., Henzinger, T. A., & Mang, F. (1999). Automating modular verification. In Proceedings of the 10th International Conference on Concurrency Theory (Vol. 1664, pp. 82–97). Eindhoven, The Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-48320-9_8
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 11682
Agarwal, P. K., EppsteinL. J. Guibas, D., & Henzinger, M. H. (1998). Parametric and kinetic minimum spanning trees. In Proceedings of the 39th Annual Symposium on Foundations of Computer Science (pp. 596–605). Palo Alto, CA, United States. https://doi.org/10.1109/SFCS.1998.743510
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 | PubMed | Europe PMC
 

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 | PubMed | Europe PMC
 

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 | PubMed | Europe PMC
 

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 | PubMed | Europe PMC
 

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: 3629
Maccallum, C., Nürnberger, B., Barton, N. H., & Szymura, J. (1998). Habitat preference in the Bombina hybrid zone in Croatia. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.1998.tb05156.x
View | DOI | PubMed | Europe PMC
 

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
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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. In Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (Vol. 1486, pp. 228–240). Lyngby, Denmark: 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. In Proceedings of the 1st International Workshop on Hybrid Systems: Computation and Control (Vol. 1386, pp. 190–204). Berkely, CA, United States of America: Springer. https://doi.org/10.1007/3-540-64358-3_40
View | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications