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.

5707 Publications


1998 | Conference Paper | IST-REx-ID: 4604
Alur, R., Henzinger, T. A., Mang, F., Qadeer, S., Rajamani, S., & Tasiran, S. (1998). Mocha: Modularity in model checking (Vol. 1427, pp. 521–525). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/BFb0028774
View | DOI
 

1998 | Journal Article | IST-REx-ID: 1954
Sazanov, L. A., Burrows, P., & Nixon, P. (1998). The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves. FEBS Letters, 429(1), 115–118. https://doi.org/10.1016/S0014-5793(98)00573-0
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2584
Kinoshita, A., Shigemoto, R., Ohishi, H., Van Der Putten, H., & Mizuno, N. (1998). Immunohistochemical localization of metabotropic glutamate receptors, mGluR7a and mGluR7b, in the central nervous system of the adult rat and mouse: A light and electron microscopic study. Journal of Comparative Neurology, 393(3), 332–352. https://doi.org/10.1002/(SICI)1096-9861(19980413)393:3<332::AID-CNE6>3.0.CO;2-2
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2589
Baude, A., & Shigemoto, R. (1998). Cellular and subcellular distribution of substance P receptor immunoreactivity in the dorsal vagal complex of the rat and cat: A light and electron microscope study. Journal of Comparative Neurology, 402(2), 181–196. https://doi.org/10.1002/(SICI)1096-9861(19981214)402:2<181::AID-CNE4>3.0.CO;2-B
View | DOI
 

1998 | Patent | IST-REx-ID: 3506
Edelsbrunner, H., & Fu, P. (1998). Apparatus and method for geometric morphing. Elsevier. https://doi.org/US 5,850,229
View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 3525
Nádasdy, Z., Csicsvari, J. L., Hirase, H., Czurkó, A., & Buzsáki, G. (1998). Persistence and temporal compression of spike sequences during fast field oscillation in the hippocampus. European Journal of Neuroscience, 10(Suppl. 10), 9409–9409.
View
 

1998 | Book Chapter | IST-REx-ID: 3570
Axen, U., & Edelsbrunner, H. (1998). Auditory Morse analysis of triangulated manifolds. In Mathematical Visualization (pp. 223–236). Springer. https://doi.org/10.1007/978-3-662-03567-2_17
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4011
Liang, J., Edelsbrunner, H., Fu, P., Sudhakar, P., & Subramaniam, S. (1998). Analytical shape computation of macromolecules: I. molecular area and volume through alpha shape. Proteins: Structure, Function and Bioinformatics, 33(1), 1–17. https://doi.org/10.1002/(SICI)1097-0134(19981001)33:1<1::AID-PROT1>3.0.CO;2-O
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4016
Edelsbrunner, H., Facello, M., Fu, P., Qian, J., & Nekhayev, D. (1998). Wrapping 3D scanning data (Vol. 3313, pp. 148–158). Presented at the Three-Dimensional Image Capture and Applications, SPIE. https://doi.org/10.1117/12.302448
View | DOI
 

1998 | Book Review | IST-REx-ID: 4282
Barton, N. H. (1998). Genetics and analysis of quantitative traits. Genetical Research. Cambridge University Press.
View
 

1998 | Conference Paper | IST-REx-ID: 4408
Raskin, J., Schobbens, P., & Henzinger, T. A. (1998). Axioms for real-time logics (Vol. 1466, pp. 219–236). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/BFb0055625
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4410
Preußig, J., Kowalewski, S., Wong Toi, H., & Henzinger, T. A. (1998). An algorithm for the approximative analysis of rectangular automata (Vol. 1486, pp. 228–240). Presented at the FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer. https://doi.org/10.1007/BFb0055350
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4489
Henzinger, T. A., Kupferman, O., & Qadeer, S. (1998). From pre-historic to post-modern symbolic model checking (Vol. 1427, pp. 195–206). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/BFb0028745
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4491
Henzinger, T. A., Ho, P., & Wong Toi, H. (1998). Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control, 43(4), 540–554. https://doi.org/10.1109/9.664156
View | DOI
 

1998 | Journal Article | IST-REx-ID: 1450   OA
Hausel, T. (1998). Vanishing of intersection numbers on the moduli space of Higgs bundles. Advances in Theoretical and Mathematical Physics, 2(5), 1011–1040. https://doi.org/10.4310/ATMP.1998.v2.n5.a3
View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 1955   OA
Burrows, P., Sazanov, L. A., Sváb, Z., Maliga, P., & Nixon, P. (1998). Identification of a functional respiratory complex in chloroplasts through analysis of tobacco mutants containing disrupted plastid ndh genes. EMBO Journal, 17(4), 868–876. https://doi.org/10.1093/emboj/17.4.868
View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 2585
Wada, E., Shigemoto, R., Kinoshita, A., Ohishi, H., & Mizuno, N. (1998). Metabotropic glutamate receptor subtypes in axon terminals of projection fibers from the main and accessory olfactory bulbs: A light and electron microscopic immunohistochemical study in the rat. Journal of Comparative Neurology, 393(4), 493–504. https://doi.org/10.1002/(SICI)1096-9861(19980420)393:4<493::AID-CNE8>3.0.CO;2-W
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3627
Barton, N. H. (1998). The effect of hitch-hiking on neutral genealogies. Genetical Research, 72(2), 123–133. https://doi.org/10.1017/S0016672398003462
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3521
Csicsvari, J. L., Hirase, H., Czurkó, A., & Buzsáki, G. (1998). Reliability and state dependence of pyramidal cell-interneuron synapses in the hippocampus: an ensemble approach in the behaving rat. Neuron, 21(1), 179–189. https://doi.org/10.1016/S0896-6273(00)80525-5
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3487
Jonas, P. M., Bischofberger, J., & Sandkühler, J. (1998). Corelease of two fast neurotransmitters at a central synapse. Science, 281(5375), 419–424. https://doi.org/10.1126/science.281.5375.419
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed