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.
9176 Publications
1999 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 3582 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Topology preserving edge contraction
T. Dey, H. Edelsbrunner, S. Guha, D. Nekhayev, Publications de l’Institut Mathématique 66 (1999) 23–45.
View
| Download None (ext.)
T. Dey, H. Edelsbrunner, S. Guha, D. Nekhayev, Publications de l’Institut Mathématique 66 (1999) 23–45.
1999 | Journal Article | IST-REx-ID: 2592 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Metabotropic glutamate receptor subtype 7 ablation causes deficit in fear response and conditioned taste aversion
M. Masugi, M. Yokoi, R. Shigemoto, K. Muguruma, Y. Watanabe, G. Sansig, H. Van Der Putten, S. Nakanishi, Journal of Neuroscience 19 (1999) 955–963.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Masugi, M. Yokoi, R. Shigemoto, K. Muguruma, Y. Watanabe, G. Sansig, H. Van Der Putten, S. Nakanishi, Journal of Neuroscience 19 (1999) 955–963.
1999 | Journal Article | IST-REx-ID: 2593 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
NK-1 receptor immunoreactivity in distinct morphological types of lamina I neurons of the primate spinal cord
X. Yu, E. Zhang, A. Craig, R. Shigemoto, A. Ribeiro Da Silva, Y. De Koninck, Journal of Neuroscience 19 (1999) 3545–3555.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
X. Yu, E. Zhang, A. Craig, R. Shigemoto, A. Ribeiro Da Silva, Y. De Koninck, Journal of Neuroscience 19 (1999) 3545–3555.
1999 | Journal Article | IST-REx-ID: 2591
Smooth muscle cells are the site of neurokinin-1 receptor localization in the arterial supply of the rat sciatic nerve
W. Kummer, R. Shigemoto, R. Haberberger, Neuroscience Letters 259 (1999) 119–122.
View
| DOI
| PubMed | Europe PMC
W. Kummer, R. Shigemoto, R. Haberberger, Neuroscience Letters 259 (1999) 119–122.
1999 | 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.
1998 | Conference Paper | IST-REx-ID: 11682
Parametric and kinetic minimum spanning trees
P.K. Agarwal, D. EppsteinL. J. Guibas, M.H. Henzinger, in:, Proceedings of the 39th Annual Symposium on Foundations of Computer Science, 1998, pp. 596–605.
View
| DOI
P.K. Agarwal, D. EppsteinL. J. Guibas, M.H. Henzinger, in:, Proceedings of the 39th Annual Symposium on Foundations of Computer Science, 1998, pp. 596–605.
1998 | Journal Article | IST-REx-ID: 11681
Lower bounds for fully dynamic connectivity problems in graphs
M.H. Henzinger, M.L. Fredman, Algorithmica 22 (1998) 351–362.
View
| DOI
M.H. Henzinger, M.L. Fredman, Algorithmica 22 (1998) 351–362.
1998 | Conference Paper | IST-REx-ID: 11926
An online throughput-competitive algorithm for multicast routing and admission control
A. Goel, M.H. Henzinger, S. Plotkin, in:, 9th Annual ACM SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 1998, pp. 97–106.
View
| Files available
A. Goel, M.H. Henzinger, S. Plotkin, in:, 9th Annual ACM SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 1998, pp. 97–106.
1998 | Journal Article | IST-REx-ID: 11680
Average-case analysis of dynamic graph algorithms
D. Alberts, M.H. Henzinger, Algorithmica 20 (1998) 31–60.
View
| Files available
| DOI
D. Alberts, M.H. Henzinger, Algorithmica 20 (1998) 31–60.
1998 | Journal Article | IST-REx-ID: 1450 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Vanishing of intersection numbers on the moduli space of Higgs bundles
T. Hausel, Advances in Theoretical and Mathematical Physics 2 (1998) 1011–1040.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T. Hausel, Advances in Theoretical and Mathematical Physics 2 (1998) 1011–1040.
1998 | Journal Article | IST-REx-ID: 1449 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Compactification of moduli of Higgs bundles
T. Hausel, Journal Fur Die Reine Und Angewandte Mathematik 1998 (1998) 169–192.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T. Hausel, Journal Fur Die Reine Und Angewandte Mathematik 1998 (1998) 169–192.
1998 | Journal Article | IST-REx-ID: 1956 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The plastid ndh genes code for an NADH-specific dehydrogenase: Isolation of a complex I analogue from pea thylakoid membranes
L.A. Sazanov, P. Burrows, P. Nixon, PNAS 95 (1998) 1319–1324.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
L.A. Sazanov, P. Burrows, P. Nixon, PNAS 95 (1998) 1319–1324.