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.
7036 Publications
1990 |Published| Conference Paper | IST-REx-ID: 4510
An interleaving model for real time
T.A. Henzinger, Z. Manna, A. Pnueli, in:, Proceedings of the 5th Jerusalem Conference on Information Technology, IEEE, 1990, pp. 717–730.
View
| DOI
| Download None (ext.)
T.A. Henzinger, Z. Manna, A. Pnueli, in:, Proceedings of the 5th Jerusalem Conference on Information Technology, IEEE, 1990, pp. 717–730.
1990 |Published| Conference Paper | IST-REx-ID: 4522
Half-order modal logic: How to prove real-time properties
T.A. Henzinger, in:, Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing, ACM, 1990, pp. 281–296.
View
| DOI
| Download None (ext.)
T.A. Henzinger, in:, Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing, ACM, 1990, pp. 281–296.
1990 |Published| Conference Paper | IST-REx-ID: 4597
Real-time logics: Complexity and expressiveness
R. Alur, T.A. Henzinger, in:, 5th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1990, pp. 390–401.
View
| DOI
| Download None (ext.)
R. Alur, T.A. Henzinger, in:, 5th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1990, pp. 390–401.
1989 |Published| Journal Article | IST-REx-ID: 2479
Glutaminase-like immunoreactivity in the lower brainstem and cerebellum of the adult rat
T. Kaneko, K. Itoh, R. Shigemoto, N. Mizuno, Neuroscience 32 (1989) 79–98.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
T. Kaneko, K. Itoh, R. Shigemoto, N. Mizuno, Neuroscience 32 (1989) 79–98.
1989 |Published| Journal Article | IST-REx-ID: 2525 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Molecular characterization of a functional cDNA for rat substance P receptor
Y. Yokota, Y. Sasai, K. Tanaka, T. Fujiwara, K. Tsuchida, R. Shigemoto, A. Kakizuka, H. Ohkubo, S. Nakanishi, Journal of Biological Chemistry 264 (1989) 17649–17652.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
Y. Yokota, Y. Sasai, K. Tanaka, T. Fujiwara, K. Tsuchida, R. Shigemoto, A. Kakizuka, H. Ohkubo, S. Nakanishi, Journal of Biological Chemistry 264 (1989) 17649–17652.
1989 |Published| Journal Article | IST-REx-ID: 2526
Direct projections from Ammon's horn to the rostral raphe regions in the brainstem of the cat
T. Ino, K. Itoh, H. Kamiya, T. Kaneko, R. Shigemoto, I. Akiguchi, N. Mizuno, Brain Research 479 (1989) 157–161.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
T. Ino, K. Itoh, H. Kamiya, T. Kaneko, R. Shigemoto, I. Akiguchi, N. Mizuno, Brain Research 479 (1989) 157–161.
1989 |Published| Journal Article | IST-REx-ID: 2527
Effect of endothelin on gastric mucosal blood flow in rat
Akimoto M., Shigemoto R., Kawamura M., Yamagata H., Kurihara T., Takata S., Miwa Y., Akagami N., Katsu K., Yamauchi D., Japanese Journal of Gastroenterology 86 (1989) 2627.
View
| DOI
| Download None (ext.)
Akimoto M., Shigemoto R., Kawamura M., Yamagata H., Kurihara T., Takata S., Miwa Y., Akagami N., Katsu K., Yamauchi D., Japanese Journal of Gastroenterology 86 (1989) 2627.
1989 |Published| Journal Article | IST-REx-ID: 3652 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Inference from clines stabilized by frequency-dependent selection
J. Mallet, N.H. Barton, Genetics 122 (1989) 967–976.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
J. Mallet, N.H. Barton, Genetics 122 (1989) 967–976.
1989 |Published| Journal Article | IST-REx-ID: 3653
Strong natural selection in a warning color hybrid zone
J. Mallet, N.H. Barton, Evolution 43 (1989) 421–431.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
J. Mallet, N.H. Barton, Evolution 43 (1989) 421–431.
1989 |Published| Journal Article | IST-REx-ID: 3654
Adaptation, speciation and hybrid zones
N.H. Barton, G. Hewitt, Nature 341 (1989) 497–503.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
N.H. Barton, G. Hewitt, Nature 341 (1989) 497–503.
1989 |Published| Journal Article | IST-REx-ID: 4088 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Implicitly representing arrangements of lines or segments
H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, M. Sharir, J. Snoeyink, E. Welzl, Discrete & Computational Geometry 4 (1989) 433–466.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, M. Sharir, J. Snoeyink, E. Welzl, Discrete & Computational Geometry 4 (1989) 433–466.
1989 |Published| Journal Article | IST-REx-ID: 4082 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Topologically sweeping an arrangement
H. Edelsbrunner, L. Guibas, Journal of Computer and System Sciences 38 (1989) 165–194.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Edelsbrunner, L. Guibas, Journal of Computer and System Sciences 38 (1989) 165–194.
1989 |Published| Journal Article | IST-REx-ID: 4089 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
On arrangements of Jordan arcs with three intersections per pair
H. Edelsbrunner, L. Guibas, J. Hershberger, J. Pach, R. Pollack, R. Seidel, M. Sharir, J. Snoeyink, Discrete & Computational Geometry 4 (1989) 523–539.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Edelsbrunner, L. Guibas, J. Hershberger, J. Pach, R. Pollack, R. Seidel, M. Sharir, J. Snoeyink, Discrete & Computational Geometry 4 (1989) 523–539.
1989 |Published| Journal Article | IST-REx-ID: 4083 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Partitioning space for range queries
F. Yao, D. Dobkin, H. Edelsbrunner, M. Paterson, SIAM Journal on Computing 18 (1989) 371–384.
[Published Version]
View
| DOI
| Download Published Version (ext.)
F. Yao, D. Dobkin, H. Edelsbrunner, M. Paterson, SIAM Journal on Computing 18 (1989) 371–384.
1989 |Published| Journal Article | IST-REx-ID: 4084 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Testing the necklace condition for shortest tours and optimal factors in the plane
H. Edelsbrunner, G. Rote, E. Welzl, Theoretical Computer Science 66 (1989) 157–180.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Edelsbrunner, G. Rote, E. Welzl, Theoretical Computer Science 66 (1989) 157–180.
1989 |Published| Conference Paper | IST-REx-ID: 4087
Tetrahedrizing point sets in three dimensions
H. Edelsbrunner, F. Preparata, D. West, in:, International Symposium on Symbolic and Algebraic Computation, Springer, 1989, pp. 315–331.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, F. Preparata, D. West, in:, International Symposium on Symbolic and Algebraic Computation, Springer, 1989, pp. 315–331.
1989 |Published| Conference Paper | IST-REx-ID: 4085
An acyclicity theorem for cell complexes in d dimension
H. Edelsbrunner, in:, Proceedings of the 5th Annual Symposium on Computational Geometry, ACM, 1989, pp. 145–151.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, in:, Proceedings of the 5th Annual Symposium on Computational Geometry, ACM, 1989, pp. 145–151.
1989 |Published| Journal Article | IST-REx-ID: 4086 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The upper envelope of piecewise linear functions: Tight bounds on the number of faces
H. Edelsbrunner, Discrete & Computational Geometry 4 (1989) 337–343.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Edelsbrunner, Discrete & Computational Geometry 4 (1989) 337–343.
1989 |Published| Journal Article | IST-REx-ID: 4309
A comparison of three methods for estimating average levels of gene flow
M. Slatkin, N.H. Barton, Evolution; International Journal of Organic Evolution 43 (1989) 1349–1368.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
M. Slatkin, N.H. Barton, Evolution; International Journal of Organic Evolution 43 (1989) 1349–1368.
1989 |Published| Journal Article | IST-REx-ID: 3466 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Single-channel recording in myelinated nerve fibers reveals one type of Na channel but different K channels
P.M. Jonas, M. Bräu, M. Hermsteiner, W. Vogel, PNAS 86 (1989) 7238–7242.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
P.M. Jonas, M. Bräu, M. Hermsteiner, W. Vogel, PNAS 86 (1989) 7238–7242.