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: 18748 |
Models for high-redshift Lyα emitters
Z. Haiman, M. Spaans, AIP Conference Proceedings 470 (1999) 63–67.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Z. Haiman, M. Spaans, AIP Conference Proceedings 470 (1999) 63–67.
1999 |
Published |
Journal Article |
IST-REx-ID: 18750 |
Empirical constraints on the first stars and quasars
Z. Haiman, A. Loeb, AIP Conference Proceedings 470 (1999) 34–47.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Z. Haiman, A. Loeb, AIP Conference Proceedings 470 (1999) 34–47.
1999 |
Published |
Thesis | PhD |
IST-REx-ID: 4411
Algorithms and Methodology for Scalable Model Checking
S. Qadeer, Algorithms and Methodology for Scalable Model Checking, University of California, Berkeley, 1999.
View
| Download None (ext.)
S. Qadeer, Algorithms and Methodology for Scalable Model Checking, University of California, Berkeley, 1999.
1999 |
Published |
Journal Article |
IST-REx-ID: 4442
Discrete-time control for rectangular hybrid automata
T.A. Henzinger, P. Kopke, Theoretical Computer Science 221 (1999) 369–392.
View
| DOI
T.A. Henzinger, P. Kopke, Theoretical Computer Science 221 (1999) 369–392.
1999 |
Published |
Conference Paper |
IST-REx-ID: 4480
Formal specification and verification of a dataflow processor array
T.A. Henzinger, X. Liu, S. Qadeer, S. Rajamani, in:, IEEE, 1999, pp. 494–499.
View
| DOI
T.A. Henzinger, X. Liu, S. Qadeer, S. Rajamani, in:, IEEE, 1999, pp. 494–499.
1999 |
Published |
Conference Paper |
IST-REx-ID: 4484
Verifying sequential consistency on shared-memory multiprocessor systems
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Proceedings of the 11th International Conference on Computer Aided Verification, Springer, 1999, pp. 301–315.
View
| DOI
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Proceedings of the 11th International Conference on Computer Aided Verification, Springer, 1999, pp. 301–315.
1999 |
Published |
Conference Paper |
IST-REx-ID: 4485
Rectangular hybrid games
T.A. Henzinger, B. Horowitz, R. Majumdar, in:, Proceedings of the 10th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 320–335.
View
| DOI
T.A. Henzinger, B. Horowitz, R. Majumdar, in:, Proceedings of the 10th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 320–335.
1999 |
Published |
Conference Paper |
IST-REx-ID: 4487
Assume-guarantee refinement between different time scales
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Proceedings of the 11th International Conference on Computer Aided Verification, Springer, 1999, pp. 208–221.
View
| DOI
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Proceedings of the 11th International Conference on Computer Aided Verification, Springer, 1999, pp. 208–221.
1999 |
Published |
Journal Article |
IST-REx-ID: 4582
Reactive modules
R. Alur, T.A. Henzinger, Formal Methods in System Design 15 (1999) 7–48.
View
| DOI
R. Alur, T.A. Henzinger, Formal Methods in System Design 15 (1999) 7–48.
1999 |
Published |
Conference Paper |
IST-REx-ID: 4601
Alternating-time temporal logic
R. Alur, T.A. Henzinger, O. Kupferman, in:, Proceedings of the International Symposium on Compositionality, Springer, 1999, pp. 23–60.
View
| DOI
R. Alur, T.A. Henzinger, O. Kupferman, in:, Proceedings of the International Symposium on Compositionality, Springer, 1999, pp. 23–60.
1999 |
Published |
Conference Paper |
IST-REx-ID: 4602
Automating modular verification
R. Alur, L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 10th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 82–97.
View
| DOI
R. Alur, L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 10th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 82–97.
1999 |
Published |
Journal Article |
IST-REx-ID: 8526
An extension of the Artin-Mazur theorem
V. Kaloshin, The Annals of Mathematics 150 (1999) 729–741.
View
| DOI
V. Kaloshin, The Annals of Mathematics 150 (1999) 729–741.
1999 |
Published |
Journal Article |
IST-REx-ID: 883
Interactions among quantitative traits in the course of sympatric speciation
A. Kondrashov, F. Kondrashov, Nature 400 (1999) 351–354.
View
| DOI
| PubMed | Europe PMC
A. Kondrashov, F. Kondrashov, Nature 400 (1999) 351–354.
1999 |
Published |
Book (Editor) |
IST-REx-ID: 3137
Ionotropic Glutamate Receptors in the CNS
P.M. Jonas, H. Monyer, eds., Ionotropic Glutamate Receptors in the CNS, 1st ed., Springer, Berlin ; Heidelberg, 1999.
View
| DOI
| Download None (ext.)
P.M. Jonas, H. Monyer, eds., Ionotropic Glutamate Receptors in the CNS, 1st ed., Springer, Berlin ; Heidelberg, 1999.
1999 |
Published |
Journal Article |
IST-REx-ID: 3148 |
A role for amontillado the Drosophila homolog of the neuropeptide precursor processing protease PC2 in triggering hatching behavior
D.E. Siekhaus, R. Fuller, Journal of Neuroscience 19 (1999) 6942–6954.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D.E. Siekhaus, R. Fuller, Journal of Neuroscience 19 (1999) 6942–6954.
1999 |
Published |
Journal Article |
IST-REx-ID: 3444 |
Fast network oscillations in the hippocampal CA1 region of the behaving rat
J.L. Csicsvari, H. Hirase, A. Czurkó, A. Mamiya, G. Buzsáki, Journal of Neuroscience 19 (1999).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J.L. Csicsvari, H. Hirase, A. Czurkó, A. Mamiya, G. Buzsáki, Journal of Neuroscience 19 (1999).
1999 |
Published |
Journal Article |
IST-REx-ID: 3445 |
Interactions between hippocampus and medial septum during sharp waves and theta oscillation in the behaving rat
G. Dragoi, D. Carpi, M. Recce, J.L. Csicsvari, G. Buzsáki, Journal of Neuroscience 19 (1999) 6191–6199.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
G. Dragoi, D. Carpi, M. Recce, J.L. Csicsvari, G. Buzsáki, Journal of Neuroscience 19 (1999) 6191–6199.
1999 |
Published |
Book Chapter |
IST-REx-ID: 3456
Molecular determinants controlling functional properties of AMPARs and NMDARs in the mammalian CNS
H. Monyer, P.M. Jonas, J. Rossier, in:, P.M. Jonas, H. Monyer (Eds.), Ionotropic Glutamate Receptors in the CNS, Springer, 1999, pp. 309–339.
View
| DOI
H. Monyer, P.M. Jonas, J. Rossier, in:, P.M. Jonas, H. Monyer (Eds.), Ionotropic Glutamate Receptors in the CNS, Springer, 1999, pp. 309–339.
1999 |
Published |
Book Chapter |
IST-REx-ID: 3457
Glutamate-mediated synaptic excitation of cortical interneurons
J. Geiger, A. Roth, B. Taskin, P.M. Jonas, in:, H. Monyer, P.M. Jonas (Eds.), Ionotropic Glutamate Receptors in the CNS, Springer, 1999, pp. 363–398.
View
| DOI
J. Geiger, A. Roth, B. Taskin, P.M. Jonas, in:, H. Monyer, P.M. Jonas (Eds.), Ionotropic Glutamate Receptors in the CNS, Springer, 1999, pp. 363–398.
1999 |
Published |
Journal Article |
IST-REx-ID: 3515
Ultra-slow oscillation (0.025 Hz) triggers hippocampal afterdischarges in Wistar rats
M. Penttonen, N. Nurminen, R. Miettinen, J. Sirviö, D. Henze, J.L. Csicsvari, G. Buzsáki, Neuroscience 94 (1999) 735–743.
View
| DOI
| PubMed | Europe PMC
M. Penttonen, N. Nurminen, R. Miettinen, J. Sirviö, D. Henze, J.L. Csicsvari, G. Buzsáki, Neuroscience 94 (1999) 735–743.