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.

5703 Publications


1995 | Book Chapter | IST-REx-ID: 2465
Morris, D., Friml, J., & Zažímalová, E. (1995). Auxin transport. In P. Davies (Ed.), Plant Hormones: Biosynthesis, Signal Transduction, Action! (pp. 451–484). Kluwer. https://doi.org/10.1007/978-1-4020-2686-7_21
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2491
Ohishi, H., Akazawa, C., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1995). Distributions of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate receptors, mGluR4 and mGluR7, in the rat brain. Journal of Comparative Neurology, 360(4), 555–570. https://doi.org/10.1002/cne.903600402
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3639
Barton, N. H. (1995). A general model for the evolution of recombination. Genetical Research, 65(2), 123–144. https://doi.org/10.1017/S0016672300033140
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 3552
Akkiraju, N., Edelsbrunner, H., Facello, M., Fu, P., Mücke, E., & Varela, C. (1995). Alpha shapes: definition and software (pp. 63–66). Presented at the GCG: International Computational Geometry Software Workshop, Elsevier.
View | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 4029
Delfinado, C., & Edelsbrunner, H. (1995). An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere. Computer Aided Geometric Design, 12(7), 771–784. https://doi.org/10.1016/0167-8396(95)00016-Y
View | DOI
 

1995 | Thesis | IST-REx-ID: 4428
Ho, P. (1995). Automatic Analysis of Hybrid Systems (pp. 1–188). Cornell University. https://doi.org/CSD-TR95-1536
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 4447
Henzinger, T. A., & Ho, P. (1995). HyTech: The Cornell Hybrid Technology Tool. In A. Panos, W. Kohn, A. Nerode, & S. Sastry (Eds.), Hybrid Systems II (Vol. 999, pp. 265–293). Springer. https://doi.org/10.1007/3-540-60472-3_14
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4497
Henzinger, T. A., Ho, P., & Wong Toi, H. (1995). A user guide to HyTech (Vol. 1019, pp. 41–71). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/3-540-60630-0_3
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4500
Henzinger, T. A., Kopke, P., & Wong Toi, H. (1995). The expressive power of clocks (Vol. 944, pp. 417–428). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/3-540-60084-1_93
View | DOI
 

1995 | Journal Article | IST-REx-ID: 4613
Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T. A., Ho, P., Nicollin, X., … Yovine, S. (1995). The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(1), 3–34. https://doi.org/10.1016/0304-3975(94)00202-T
View | DOI
 

1995 | Journal Article | IST-REx-ID: 4296
Partridge, L., Barrie, B., Barton, N. H., Fowler, K., & French, V. (1995). Rapid laboratory evolution of adult life history traits in Drosophila melanogaster in response to temperature. Evolution; International Journal of Organic Evolution, 49(3), 538–544.
View | Download (ext.)
 

1995 | Book Chapter | IST-REx-ID: 4448
Henzinger, T. A., & Ho, P. (1995). A note on abstract-interpretation strategies for hybrid automata. In A. Panos, W. Kohn, A. Nerode, & S. Sastry (Eds.), Hybrid Systems II (Vol. 999, pp. 252–264). Springer. https://doi.org/10.1007/3-540-60472-3_13
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4450
Henzinger, T. A., & Ho, P. (1995). Algorithmic analysis of nonlinear hybrid systems (Vol. 939, pp. 225–238). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-60045-0_53
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4587
Alur, R., & Henzinger, T. A. (1995). Local liveness for compositional modeling of fair reactive systems (Vol. 939, pp. 166–179). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-60045-0_49
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4498
Henzinger, M., Henzinger, T. A., & Kopke, P. (1995). Computing simulations on finite and infinite graphs (pp. 453–462). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/10.1109/SFCS.1995.492576
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4518
Henzinger, T. A. (1995). Hybrid automata with finite bisimulations (Vol. 944, pp. 324–335). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/0.1007/3-540-60084-1_85
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2549
Nakaya, Y., Kaneko, T., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1994). Immunohistochemical localization of substance P receptor in the central nervous system of the adult rat. Journal of Comparative Neurology, 347(2), 249–274. https://doi.org/10.1002/cne.903470208
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2551
Akazawa, C., Ohishi, H., Nakajima, Y., Okamoto, N., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1994). Expression of mRNAs of l-AP4-sensitive metabotropic glutamate receptors (mGluR4, mGluR6, mGluR7) in the rat retina. Neuroscience Letters, 171(1–2), 52–54. https://doi.org/10.1016/0304-3940(94)90602-5
View | DOI
 

1994 | Book Chapter | IST-REx-ID: 3453
Von Kitzing, E., Jonas, P. M., & Sakmann, B. (1994). Quantal analysis of excitatory postsynaptic currents at the hippocampal mossy fiber-CA3 pyramidal cell synapse. In L. Stjärne, P. Greengard, S. Grillner, T. Hökfelt, & D. Ottoson (Eds.), Molecular and cellular mechanisms of neurotransmitter release (Vol. 29, pp. 235–260). Raven Press. https://doi.org/10.1016/0166-2236(95)90088-8
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3460
Jonas, P. M., & Spruston, N. (1994). Mechanisms shaping glutamate-mediated excitatory postsynaptic currents in the CNS. Current Opinion in Neurobiology, 4(3), 366–372. https://doi.org/10.1016/0959-4388(94)90098-1
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed