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.
9198 Publications
1999 |Published| Thesis | IST-REx-ID: 4411
Qadeer, Shaz. Algorithms and Methodology for Scalable Model Checking. University of California, Berkeley, 1999, pp. 1–150.
View
| Download None (ext.)
1999 |Published| Journal Article | IST-REx-ID: 4442
Henzinger, Thomas A., and Peter Kopke. “Discrete-Time Control for Rectangular Hybrid Automata.” Theoretical Computer Science, vol. 221, no. 1–2, Elsevier, 1999, pp. 369–92, doi:10.1016/S0304-3975(99)00038-9.
View
| DOI
1999 |Published| Conference Paper | IST-REx-ID: 4484
Henzinger, Thomas A., et al. “Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems.” Proceedings of the 11th International Conference on Computer Aided Verification, vol. 1633, Springer, 1999, pp. 301–15, doi:10.1007/3-540-48683-6_27.
View
| DOI
1999 |Published| Conference Paper | IST-REx-ID: 4485
Henzinger, Thomas A., et al. “Rectangular Hybrid Games.” Proceedings of the 10th International Conference on Concurrency Theory, vol. 1664, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 320–35, doi:10.1007/3-540-48320-9_23.
View
| DOI
1999 |Published| Conference Paper | IST-REx-ID: 4480
Henzinger, Thomas A., et al. Formal Specification and Verification of a Dataflow Processor Array. IEEE, 1999, pp. 494–99, doi:10.1109/ICCAD.1999.810700.
View
| DOI
1999 |Published| Conference Paper | IST-REx-ID: 4487
Henzinger, Thomas A., et al. “Assume-Guarantee Refinement between Different Time Scales.” Proceedings of the 11th International Conference on Computer Aided Verification, vol. 1633, Springer, 1999, pp. 208–21, doi:10.1007/3-540-48683-6_20.
View
| DOI
1999 |Published| Journal Article | IST-REx-ID: 4582
Alur, Rajeev, and Thomas A. Henzinger. “Reactive Modules.” Formal Methods in System Design, vol. 15, no. 1, Springer, 1999, pp. 7–48, doi:10.1023/A:1008739929481.
View
| DOI
1999 |Published| Conference Paper | IST-REx-ID: 4601
Alur, Rajeev, et al. “Alternating-Time Temporal Logic.” Proceedings of the International Symposium on Compositionality, vol. 1536, Springer, 1999, pp. 23–60, doi:10.1007/3-540-49213-5_2.
View
| DOI
1999 |Published| Conference Paper | IST-REx-ID: 4602
Alur, Rajeev, et al. “Automating Modular Verification.” Proceedings of the 10th International Conference on Concurrency Theory, vol. 1664, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 82–97, doi:10.1007/3-540-48320-9_8.
View
| DOI
1999 |Published| Journal Article | IST-REx-ID: 8526
Kaloshin, Vadim. “An Extension of the Artin-Mazur Theorem.” The Annals of Mathematics, vol. 150, no. 2, JSTOR, 1999, pp. 729–41, doi:10.2307/121093.
View
| DOI
1999 |Published| Journal Article | IST-REx-ID: 3582 | 
Dey, Tamal, et al. “Topology Preserving Edge Contraction.” Publications de l’Institut Mathématique, vol. 66, Mathematical Institute, Serbian Academy of Sciences and Arts, 1999, pp. 23–45.
View
| Download None (ext.)
1999 |Published| Journal Article | IST-REx-ID: 2592 |
Masugi, Miwako, et al. “Metabotropic Glutamate Receptor Subtype 7 Ablation Causes Deficit in Fear Response and Conditioned Taste Aversion.” Journal of Neuroscience, vol. 19, no. 3, Society for Neuroscience, 1999, pp. 955–63, doi:10.1523/JNEUROSCI.19-03-00955.1999.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1999 |Published| Journal Article | IST-REx-ID: 2593 |
Yu, Xiao, et al. “NK-1 Receptor Immunoreactivity in Distinct Morphological Types of Lamina I Neurons of the Primate Spinal Cord.” Journal of Neuroscience, vol. 19, no. 9, Society for Neuroscience, 1999, pp. 3545–55, doi:10.1523/JNEUROSCI.19-09-03545.1999.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1999 |Published| Journal Article | IST-REx-ID: 2591
Kummer, Wolfgang, et al. “Smooth Muscle Cells Are the Site of Neurokinin-1 Receptor Localization in the Arterial Supply of the Rat Sciatic Nerve.” Neuroscience Letters, vol. 259, no. 2, Elsevier, 1999, pp. 119–22, doi:10.1016/S0304-3940(98)00926-4.
View
| DOI
| PubMed | Europe PMC
1999 |Published| Journal Article | IST-REx-ID: 883
Kondrashov, Alexey, and Fyodor Kondrashov. “Interactions among Quantitative Traits in the Course of Sympatric Speciation.” Nature, vol. 400, no. 6742, Nature Publishing Group, 1999, pp. 351–54, doi:10.1038/22514.
View
| DOI
| PubMed | Europe PMC
1998 |Published| Conference Paper | IST-REx-ID: 11682
Agarwal, P. K., et al. “Parametric and Kinetic Minimum Spanning Trees.” Proceedings of the 39th Annual Symposium on Foundations of Computer Science, 1998, pp. 596–605, doi:10.1109/SFCS.1998.743510.
View
| DOI
1998 |Published| Journal Article | IST-REx-ID: 11681
Henzinger, Monika H., and M. L. Fredman. “Lower Bounds for Fully Dynamic Connectivity Problems in Graphs.” Algorithmica, vol. 22, no. 3, Springer Nature, 1998, pp. 351–62, doi:10.1007/pl00009228.
View
| DOI
1998 |Published| Conference Paper | IST-REx-ID: 11926
Goel, Ashish, et al. “An Online Throughput-Competitive Algorithm for Multicast Routing and Admission Control.” 9th Annual ACM SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 1998, pp. 97–106.
View
| Files available
1998 |Published| Journal Article | IST-REx-ID: 11680
Alberts, D., and Monika H. Henzinger. “Average-Case Analysis of Dynamic Graph Algorithms.” Algorithmica, vol. 20, Springer Nature, 1998, pp. 31–60, doi:10.1007/pl00009186.
View
| Files available
| DOI
1998 |Published| Journal Article | IST-REx-ID: 1450 |
Hausel, Tamás. “Vanishing of Intersection Numbers on the Moduli Space of Higgs Bundles.” Advances in Theoretical and Mathematical Physics, vol. 2, no. 5, International Press, 1998, pp. 1011–40, doi:10.4310/ATMP.1998.v2.n5.a3.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv