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.
59 Publications
1999 | Published | Journal Article | IST-REx-ID: 2730
Erdös, L., & Solovej, J. (1999). Semiclassical eigenvalue estimates for the Pauli operator with strong nonhomogeneous magnetic fields, I: Nonasymptotic Lieb-Thirring-type estimate. Duke Mathematical Journal. Duke University Press. https://doi.org/10.1215/S0012-7094-99-09604-7
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 2783
Hof, B., Lucas, P., & Mullin, T. (1999). Flow state multiplicity in convection. Physics of Fluids. American Institute of Physics. https://doi.org/10.1063/1.870178
View
| DOI
1999 | Published | 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 | Published | 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 | Published | Journal Article | IST-REx-ID: 4277
Kruuk, L., Gilchrist, J., & Barton, N. H. (1999). Hybrid dysfunction in fire-bellied toads (Bombina). Evolution; International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/10.2307/2640907
View
| DOI
| PubMed | Europe PMC
1999 | Published | Journal Article | IST-REx-ID: 4279
Goodman, S., Barton, N. H., Swanson, G., Abernethy, K., & Pemberton, J. (1999). Introgression through rare hybridisation: A genetic study of a hybrid zone between red and sika deer (genus Cervus), in Argyll, Scotland. Genetics. Genetics Society of America. https://doi.org/10.1093/genetics/152.1.355
View
| DOI
| PubMed | Europe PMC
1999 | Published | Thesis | IST-REx-ID: 4411
Qadeer, S. (1999). Algorithms and Methodology for Scalable Model Checking. University of California, Berkeley.
View
| Download None (ext.)
1999 | Published | Journal Article | IST-REx-ID: 4442
Henzinger, T. A., & Kopke, P. (1999). Discrete-time control for rectangular hybrid automata. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/S0304-3975(99)00038-9
View
| DOI
1999 | Published | Conference Paper | IST-REx-ID: 4480
Henzinger, T. A., Liu, X., Qadeer, S., & Rajamani, S. (1999). Formal specification and verification of a dataflow processor array (pp. 494–499). Presented at the ICCAD: Computer-Aided Design, San Jose, CA, United States of America: IEEE. https://doi.org/10.1109/ICCAD.1999.810700
View
| DOI
1999 | Published | 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 | Published | 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 | Published | 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 | Published | Journal Article | IST-REx-ID: 4582
Alur, R., & Henzinger, T. A. (1999). Reactive modules. Formal Methods in System Design. Springer. https://doi.org/10.1023/A:1008739929481
View
| DOI
1999 | Published | 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 | Published | 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
1999 | Published | Journal Article | IST-REx-ID: 3148 | 
Siekhaus, D. E., & Fuller, R. (1999). A role for amontillado the Drosophila homolog of the neuropeptide precursor processing protease PC2 in triggering hatching behavior. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/jneurosci.19-16-06942.1999
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1999 | Published | Journal Article | IST-REx-ID: 3444 |
Csicsvari, J. L., Hirase, H., Czurkó, A., Mamiya, A., & Buzsáki, G. (1999). Fast network oscillations in the hippocampal CA1 region of the behaving rat. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.19-16-j0001.1999
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1999 | Published | Journal Article | IST-REx-ID: 3445 |
Dragoi, G., Carpi, D., Recce, M., Csicsvari, J. L., & Buzsáki, G. (1999). Interactions between hippocampus and medial septum during sharp waves and theta oscillation in the behaving rat. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.19-14-06191.1999
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1999 | Published | 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 | Published | 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