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