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. Semiclassical eigenvalue estimates for the Pauli operator with strong nonhomogeneous magnetic fields, I: Nonasymptotic Lieb-Thirring-type estimate. Duke Mathematical Journal. 1999;96(1):127-173. doi:10.1215/S0012-7094-99-09604-7
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 2783
Hof B, Lucas P, Mullin T. Flow state multiplicity in convection. Physics of Fluids. 1999;11(10):2815-2817. doi:10.1063/1.870178
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 2864
Witters E, Vanhoutte K, Dewitte W, et al. Analysis of cyclic nucleotides and cytokinins in minute plant samples using phase system switching capillary electrospray liquid chromatography tandem mass spectrometry. Phytochemical Analysis. 1999;10(3):143-151. doi: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 PM, Monyer H, eds. Ionotropic Glutamate Receptors in the CNS. Vol 141. 1st ed. Berlin ; Heidelberg: Springer; 1999. doi: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 NH. Hybrid dysfunction in fire-bellied toads (Bombina). Evolution; International Journal of Organic Evolution. 1999;53(5):1611-1616. doi:10.2307/2640907
View
| DOI
| PubMed | Europe PMC
1999 | Published | Journal Article | IST-REx-ID: 4279
Goodman S, Barton NH, Swanson G, Abernethy K, Pemberton J. Introgression through rare hybridisation: A genetic study of a hybrid zone between red and sika deer (genus Cervus), in Argyll, Scotland. Genetics. 1999;152(1):355-371. doi:10.1093/genetics/152.1.355
View
| DOI
| PubMed | Europe PMC
1999 | Published | Thesis | IST-REx-ID: 4411
Qadeer S. Algorithms and Methodology for Scalable Model Checking. 1999:1-150.
View
| Download None (ext.)
1999 | Published | Journal Article | IST-REx-ID: 4442
Henzinger TA, Kopke P. Discrete-time control for rectangular hybrid automata. Theoretical Computer Science. 1999;221(1-2):369-392. doi:10.1016/S0304-3975(99)00038-9
View
| DOI
1999 | Published | Conference Paper | IST-REx-ID: 4480
Henzinger TA, Liu X, Qadeer S, Rajamani S. Formal specification and verification of a dataflow processor array. In: IEEE; 1999:494-499. doi:10.1109/ICCAD.1999.810700
View
| DOI
1999 | Published | Conference Paper | IST-REx-ID: 4484
Henzinger TA, Qadeer S, Rajamani S. Verifying sequential consistency on shared-memory multiprocessor systems. In: Proceedings of the 11th International Conference on Computer Aided Verification. Vol 1633. Springer; 1999:301-315. doi:10.1007/3-540-48683-6_27
View
| DOI
1999 | Published | Conference Paper | IST-REx-ID: 4485
Henzinger TA, Horowitz B, Majumdar R. Rectangular hybrid games. In: Proceedings of the 10th International Conference on Concurrency Theory. Vol 1664. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1999:320-335. doi:10.1007/3-540-48320-9_23
View
| DOI
1999 | Published | Conference Paper | IST-REx-ID: 4487
Henzinger TA, Qadeer S, Rajamani S. Assume-guarantee refinement between different time scales. In: Proceedings of the 11th International Conference on Computer Aided Verification. Vol 1633. Springer; 1999:208-221. doi:10.1007/3-540-48683-6_20
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 4582
Alur R, Henzinger TA. Reactive modules. Formal Methods in System Design. 1999;15(1):7-48. doi:10.1023/A:1008739929481
View
| DOI
1999 | Published | Conference Paper | IST-REx-ID: 4601
Alur R, Henzinger TA, Kupferman O. Alternating-time temporal logic. In: Proceedings of the International Symposium on Compositionality. Vol 1536. Springer; 1999:23-60. doi:10.1007/3-540-49213-5_2
View
| DOI
1999 | Published | Conference Paper | IST-REx-ID: 4602
Alur R, De Alfaro L, Henzinger TA, Mang F. Automating modular verification. In: Proceedings of the 10th International Conference on Concurrency Theory. Vol 1664. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1999:82-97. doi:10.1007/3-540-48320-9_8
View
| DOI
1999 | Published | Journal Article | IST-REx-ID: 3148 | 
Siekhaus DE, Fuller R. A role for amontillado the Drosophila homolog of the neuropeptide precursor processing protease PC2 in triggering hatching behavior. Journal of Neuroscience. 1999;19(16):6942-6954. doi: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 JL, Hirase H, Czurkó A, Mamiya A, Buzsáki G. Fast network oscillations in the hippocampal CA1 region of the behaving rat. Journal of Neuroscience. 1999;19(16). doi: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 JL, Buzsáki G. Interactions between hippocampus and medial septum during sharp waves and theta oscillation in the behaving rat. Journal of Neuroscience. 1999;19(14):6191-6199. doi: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 PM, Rossier J. Molecular determinants controlling functional properties of AMPARs and NMDARs in the mammalian CNS. In: Jonas PM, Monyer H, eds. Ionotropic Glutamate Receptors in the CNS. Vol 141. Springer; 1999:309-339. doi: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 PM. Glutamate-mediated synaptic excitation of cortical interneurons. In: Monyer H, Jonas PM, eds. Ionotropic Glutamate Receptors in the CNS. Vol 141. Springer; 1999:363-398. doi:10.1007/978-3-662-08022-1_11
View
| DOI