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.
9198 Publications
1997 |Published| Conference Paper | IST-REx-ID: 4520
Gupta, V., Henzinger, T. A., & Jagadeesan, R. (1997). Robust timed automata. In Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems (Vol. 1201, pp. 331–345). Grenoble, France: Springer. https://doi.org/10.1007/BFb0014736
View
| DOI
1997 |Published| Conference Paper | IST-REx-ID: 4583
Alur, R., & Henzinger, T. A. (1997). Modularity for timed and hybrid systems. In 8th International Conference on Concurrency Theory (Vol. 1243, pp. 74–88). Warsaw, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-63141-0_6
View
| DOI
1997 |Published| Journal Article | IST-REx-ID: 4584
Alur, R., & Henzinger, T. A. (1997). Real-time system = discrete system + clock variables. Software Tools For Technology Transfer. Springer. https://doi.org/10.1007/s100090050007
View
| DOI
1997 |Published| 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. In 9th International Conference on Computer Aided Verification (Vol. 1254, pp. 340–351). Haifa, Israel: Springer. https://doi.org/10.1007/3-540-63166-6_34
View
| DOI
1997 |Published| Conference Paper | IST-REx-ID: 4609
Alur, R., Henzinger, T. A., & Kupferman, O. (1997). Alternating-time temporal logic. In Proceedings of the 38th Annual Symposium on Foundations of Computer Science (pp. 100–109). Washington, DC, United States: Association for Computing Machinery (ACM). https://doi.org/10.1145/585265.585270
View
| DOI
1997 |Published| Journal Article | IST-REx-ID: 4607
Alur, R., Courcoubetis, C., & Henzinger, T. A. (1997). Computing accumulated delays in real-time systems. Formal Methods in System Design. Springer. https://doi.org/10.1023/A:1008626013578
View
| DOI
1997 |Published| Conference Paper | IST-REx-ID: 4605
Alur, R., Henzinger, T. A., & Wong Toi, H. (1997). Symbolic analysis of hybrid systems. In Proceedings of the 36th IEEE Conference on Decision and Control (pp. 702–707). San Diego, CA, USA: IEEE. https://doi.org/10.1109/CDC.1997.650717
View
| DOI
1997 |Published| Journal Article | IST-REx-ID: 8528
Kaloshin, V. (1997). Prevalence in the space of finitely smooth maps. Functional Analysis and Its Applications. Springer Nature. https://doi.org/10.1007/bf02466014
View
| DOI
1997 |Published| Journal Article | IST-REx-ID: 8527
Hunt, B. R., & Kaloshin, V. (1997). How projections affect the dimension spectrum of fractal measures. Nonlinearity. IOP Publishing. https://doi.org/10.1088/0951-7715/10/5/002
View
| DOI
1996 |Published| Journal Article | IST-REx-ID: 11761
Henzinger, M. H., & Williamson, D. P. (1996). On the number of small cuts in a graph. Information Processing Letters. Elsevier. https://doi.org/10.1016/0020-0190(96)00079-8
View
| DOI
1996 |Published| Conference Paper | IST-REx-ID: 11804
Henzinger, M. H., & Telle, J. A. (1996). Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning. In 5th Scandinavian Workshop on Algorithm Theory (Vol. 1097, pp. 16–27). Reykjavik, Iceland: Springer Nature. https://doi.org/10.1007/3-540-61422-2_117
View
| DOI
1996 |Published| Conference Paper | IST-REx-ID: 11910
Henzinger, M. H., & Thorup, M. (1996). Improved sampling with applications to dynamic graph algorithms. In 23rd International Colloquium on Automata, Languages, and Programming (Vol. 1099, pp. 290–299). Paderborn, Germany: Springer Nature. https://doi.org/10.1007/3-540-61440-0_136
View
| DOI
1996 |Published| Conference Paper | IST-REx-ID: 11927 | 
Henzinger, M. H., King, V., & Warnow, T. (1996). Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology. In 7th Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 333–340). Atlanta, GA, United States: Society for Industrial and Applied Mathematics.
[Published Version]
View
| Files available
| Download Published Version (ext.)
1996 |Published| Conference Paper | IST-REx-ID: 1942
Sazanov, L. A., Burrows, P., & Nixon, P. J. (1996). Presence of a large protein complex containing the ndhK gene product and possessing NADH-specific dehydrogenase activity in thylakoid membranes of higher plant chloroplasts (Vol. 2, pp. 705–708). Presented at the IPC: International Photosynthesis Congress, Kluwer.
View
1996 |Published| Journal Article | IST-REx-ID: 1952
Bizouarn, T., Sazanov, L. A., Aubourg, S., & Jackson, J. (1996). Estimation of the H+/H- ratio of the reaction catalysed by the nicotinamide nucleotide transhydrogenase in chromatophores from over-expressing strains of Rhodospirillum rubrum and in liposomes inlaid with the purified bovine enzyme. Biochimica et Biophysica Acta - Bioenergetics. Elsevier. https://doi.org/10.1016/0005-2728(95)00125-5
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 1951
Sazanov, L. A., Burrows, P., & Nixon, P. (1996). Detection and characterization of a complex I-like NADH-specific dehydrogenase from pea thylakoids. Biochemical Society Transactions. Portland Press. https://doi.org/10.1042/bst0240739
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 2492
Neki, A., Ohishi, H., Kaneko, T., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1996). Metabotropic glutamate receptors mGluR2 and mGluR5 are expressed in two non-overlapping populations of Golgi cells in the rat cerebellum. Neuroscience. Elsevier. https://doi.org/10.1016/0306-4522(96)00316-8
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 2564
Ding, Y., Shigemoto, R., Takada, M., Ohishi, H., Nakanishi, S., & Mizuno, N. (1996). Localization of the neuromedin K receptor (NK3) in the central nervous system of the rat. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19960108)364:2<290::AID-CNE8>3.0.CO;2-0
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 2566
Kinoshita, A., Ohishi, H., Neki, A., Nomura, S., Shigemoto, R., Takada, M., … Mizuno, N. (1996). Presynaptic localization of a metabotropic glutamate receptor, mGluR8, in the rhinencephalic areas: A light and electron microscope study in the rat. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(96)12489-7
View
| DOI
| PubMed | Europe PMC
1996 |Published| Journal Article | IST-REx-ID: 2565
Li, J., Ohishi, H., Kaneko, T., Shigemoto, R., Neki, A., Nakanishi, S., & Mizuno, N. (1996). Immunohistochemical localization of a metabotropic glutamate receptor, mGluR7, in ganglion neurons of the rat; with special reference to the presence in glutamatergic ganglion neurons. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(95)12299-0
View
| DOI
| PubMed | Europe PMC