ISTA Research Explorer

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.

9133 Publications

1997 | Journal Article | IST-REx-ID: 4607

Alur, Rajeev, et al. “Computing Accumulated Delays in Real-Time Systems.” Formal Methods in System Design, vol. 11, no. 2, Springer, 1997, pp. 137–56, doi:10.1023/A:1008626013578.

View | DOI

1997 | Conference Paper | IST-REx-ID: 4605

Alur, Rajeev, et al. “Symbolic Analysis of Hybrid Systems.” Proceedings of the 36th IEEE Conference on Decision and Control, IEEE, 1997, pp. 702–07, doi:10.1109/CDC.1997.650717 .

View | DOI

1997 | Journal Article | IST-REx-ID: 8528

Kaloshin, Vadim. “Prevalence in the Space of Finitely Smooth Maps.” Functional Analysis and Its Applications, vol. 31, no. 2, Springer Nature, 1997, pp. 95–99, doi:10.1007/bf02466014.

View | DOI

1997 | Journal Article | IST-REx-ID: 8527

Hunt, Brian R., and Vadim Kaloshin. “How Projections Affect the Dimension Spectrum of Fractal Measures.” Nonlinearity, vol. 10, no. 5, IOP Publishing, 1997, pp. 1031–46, doi:10.1088/0951-7715/10/5/002.

View | DOI

1996 | Journal Article | IST-REx-ID: 11761

Henzinger, Monika H., and David P. Williamson. “On the Number of Small Cuts in a Graph.” Information Processing Letters, vol. 59, no. 1, Elsevier, 1996, pp. 41–44, doi:10.1016/0020-0190(96)00079-8.

View | DOI

1996 | Conference Paper | IST-REx-ID: 11804

Henzinger, Monika H., and Jan Arne Telle. “Faster Algorithms for the Nonemptiness of Streett Automata and for Communication Protocol Pruning.” 5th Scandinavian Workshop on Algorithm Theory, vol. 1097, Springer Nature, 1996, pp. 16–27, doi:10.1007/3-540-61422-2_117.

View | DOI

1996 | Conference Paper | IST-REx-ID: 11910

Henzinger, Monika H., and Mikkel Thorup. “Improved Sampling with Applications to Dynamic Graph Algorithms.” 23rd International Colloquium on Automata, Languages, and Programming, vol. 1099, Springer Nature, 1996, pp. 290–99, doi:10.1007/3-540-61440-0_136.

View | DOI

1996 | Conference Paper | IST-REx-ID: 11927 |

Henzinger, Monika H., et al. “Constructing a Tree from Homeomorphic Subtrees, with Applications to Computational Evolutionary Biology.” 7th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 1996, pp. 333–40.

[Published Version] View | Files available | Download Published Version (ext.)

1996 | Conference Paper | IST-REx-ID: 1942

Sazanov, Leonid A., et al. 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, Kluwer, 1996, pp. 705–08.

View

1996 | Journal Article | IST-REx-ID: 1952

Bizouarn, Tania, et al. “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, vol. 1273, no. 1, Elsevier, 1996, pp. 4–12, doi:10.1016/0005-2728(95)00125-5.