Please note that IST 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.

5484 Publications


1997 | Journal Article | IST-REx-ID: 3484
Geiger, J., Lubke, J., Roth, A., Frotscher, M., & Jonas, P. M. (1997). Submillisecond AMPA receptor-mediated signaling at a principal neuron-interneuron synapse. Neuron, 18(6), 1009–1023. https://doi.org/10.1016/S0896-6273(00)80339-6
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4021
Edelsbrunner, H., & Waupotitsch, R. (1997). A combinatorial approach to cartograms. Computational Geometry: Theory and Applications, 7(5–6), 343–360. https://doi.org/387910.1016/S0925-7721(96)00006-5
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4285
Otto, S., & Barton, N. H. (1997). The evolution of recombination: Removing the limits to natural selection. Genetics, 147(2), 879–906.
View
 

1997 | Conference Paper | IST-REx-ID: 4494
Henzinger, T. A., Ho, P., & Wong Toi, H. (1997). HyTech: A model checker for hybrid systems (Vol. 1254, pp. 460–463). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-63166-6_48
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4583
Alur, R., & Henzinger, T. A. (1997). Modularity for timed and hybrid systems (Vol. 1243, pp. 74–88). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-63141-0_6
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4608
Alur, R., Brayton, R., Henzinger, T. A., Qadeer, S., & Rajamani, S. (1997). Partial-order reduction in symbolic state-space exploration (Vol. 1254, pp. 340–351). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-63166-6_34
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2576
Li, J., Kaneko, T., Shigemoto, R., & Mizuno, N. (1997). Distribution of trigeminohypothalamic and spinohypothalamic tract neurons displaying substance P receptor-like immunoreactivity in the rat. Journal of Comparative Neurology, 378(4), 508–521. https://doi.org/10.1002/(SICI)1096-9861(19970224)378:4<508::AID-CNE6>3.0.CO;2-6
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3632
Kirkpatrick, M., & Barton, N. H. (1997). The strength of indirect selection on female mating preferences. PNAS, 94(4), 1282–1286. https://doi.org/10.1073/pnas.94.4.1282
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3485
Martina, M., & Jonas, P. M. (1997). Functional differences in Na+ channel gating between fast-spiking interneurones and principal neurones in rat hippocampus. Journal of Physiology, 505(3), 593–603. https://doi.org/10.1111/j.1469-7793.1997.593ba.x
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4022
Edelsbrunner, H., Valtr, P., & Welzl, E. (1997). Cutting dense point sets in half. Discrete & Computational Geometry, 17(3), 243–255. https://doi.org/10.1007/PL00009291
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4286
Piálek, J., & Barton, N. H. (1997). The spread of an advantageous allele across a barrier: the effects of random drift and selection against heterozygotes. Genetics, 145(2), 493–504.
View
 

1997 | Book Chapter | IST-REx-ID: 4293
Barton, N. H., & Whitlock, M. (1997). The evolution of metapopulations. In Metapopulation Biology (pp. 183–210). Academic Press. https://doi.org/10.1016/B978-012323445-2/50012-2
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4438
Henzinger, T. A., & Kupferman, O. (1997). From quantity to quality (Vol. 1201, pp. 48–62). Presented at the HART: Hybrid and Real-Time Systems, Springer. https://doi.org/ 10.1007/BFb0014712
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4584
Alur, R., & Henzinger, T. A. (1997). Real-time system = discrete system + clock variables. Software Tools For Technology Transfer, 1(1–2), 86–109. https://doi.org/10.1007/s100090050007
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4609
Alur, R., Henzinger, T. A., & Kupferman, O. (1997). Alternating-time temporal logic (pp. 100–109). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/ 10.1109/SFCS.1997.646098
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2577
Tone, Y., Inoue, H., Hara, S., Yokoyama, C., Hatae, T., Oida, H., … Tanabe, T. (1997). The regional distribution and cellular localization of mRNA encoding rat prostacyclin synthase. European Journal of Cell Biology, 72(3), 268–277.
View
 

1997 | Journal Article | IST-REx-ID: 2729
Erdös, L., & Solovej, J. (1997). Semiclassical eigenvalue estimates for the Pauli operator with strong non-homogeneous magnetic fields, II. Leading order asymptotic estimates. Communications in Mathematical Physics, 188(3), 599–656. https://doi.org/10.1007/s002200050181
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3633
Kirkpatrick, M., & Barton, N. H. (1997). Evolution of a species’ range. American Naturalist, 150(1), 1–23. https://doi.org/10.1086/286054
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3486
Bischofberger, J., & Jonas, P. M. (1997). Action potential propagation into the presynaptic dendrites of rat mitral cells. Journal of Physiology, 504(Pt 2), 359–365. https://doi.org/10.1111/j.1469-7793.1997.359be.x
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4023
Edelsbrunner, H., & Ramos, E. (1997). Inclusion-exclusion complexes for pseudodisk collections. Discrete & Computational Geometry, 17(3), 287–306. https://doi.org/10.1007/PL00009295
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed