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 | 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
1999 | Published | Journal Article | IST-REx-ID: 3515
Penttonen, M., Nurminen, N., Miettinen, R., Sirviö, J., Henze, D., Csicsvari, J. L., & Buzsáki, G. (1999). Ultra-slow oscillation (0.025 Hz) triggers hippocampal afterdischarges in Wistar rats. Neuroscience. Elsevier. https://doi.org/10.1016/S0306-4522(99)00367-X
View
| DOI
| PubMed | Europe PMC
1999 | Published | Journal Article | IST-REx-ID: 3518 |
Nádasdy, Z., Hirase, H., Czurkó, A., Csicsvari, J. L., & Buzsáki, G. (1999). Replay and time compression of recurring spike sequences in the hippocampus. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.19-21-09497.1999
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1999 | Published | Journal Article | IST-REx-ID: 3519
Czurkó, A., Hirase, H., Csicsvari, J. L., & Buzsáki, G. (1999). Sustained activation of hippocampal pyramidal cells by ‘space clamping’’ in a running wheel.’ European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1046/j.1460-9568.1999.00446.x
View
| DOI
| PubMed | Europe PMC
1999 | Published | Journal Article | IST-REx-ID: 3524 |
Csicsvari, J. L., Hirase, H., Czurkó, A., Mamiya, A., & Buzsáki, G. (1999). Oscillatory coupling of hippocampal pyramidal cells and interneurons in the behaving rat. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.19-01-00274.1999
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1999 | Published | Journal Article | IST-REx-ID: 3539
Hirase, H., Czurkó, A., Csicsvari, J. L., & Buzsáki, G. (1999). Firing rate and theta-phase coding by hippocampal pyramidal neurons during ‘space clamping.’ European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1046/j.1460-9568.1999.00853.x
View
| DOI
| PubMed | Europe PMC
1999 | Published | Conference Paper | IST-REx-ID: 3554
Jiao, X., Edelsbrunner, H., & Heath, M. (1999). Mesh association: formulation and algorithms. In Proceedings of the 8th International Meshing Roundtable (pp. 75–82). South Lake Tahoe, CA, United States of America: Elsevier.
View
| Download None (ext.)
1999 | Published | Book Chapter | IST-REx-ID: 3571
Dey, T., Edelsbrunner, H., & Guha, S. (1999). Computational topology. In Advances in Discrete and Computational Geometry (Vol. 223, pp. 109–143). American Mathematical Society.
View
1999 | Published | Journal Article | IST-REx-ID: 3582 |
Dey, T., Edelsbrunner, H., Guha, S., & Nekhayev, D. (1999). Topology preserving edge contraction. Publications de l’Institut Mathématique. Mathematical Institute, Serbian Academy of Sciences and Arts.
View
| Download None (ext.)
1999 | Published | Journal Article | IST-REx-ID: 3625
Barton, N. H. (1999). Clines in polygenic traits. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S001667239900422X
View
| DOI
| PubMed | Europe PMC
1999 | Published | Journal Article | IST-REx-ID: 3626
Kruuk, L., Baird, S., Gale, K., & Barton, N. H. (1999). A comparison of multilocus clines maintained by environmental adaptation or by selection against hybrids. Genetics. Genetics Society of America. https://doi.org/10.1093/genetics/153.4.1959
View
| DOI
| PubMed | Europe PMC