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.

11357 Publications

1997 | Published | Conference Paper | IST-REx-ID: 4520

Robust timed automata
V. Gupta, T.A. Henzinger, R. Jagadeesan, in:, Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, Springer, 1997, pp. 331–345.

View | DOI

1997 | Published | Conference Paper | IST-REx-ID: 4583

Modularity for timed and hybrid systems
R. Alur, T.A. Henzinger, in:, 8th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 74–88.

View | DOI

1997 | Published | Journal Article | IST-REx-ID: 4584

Real-time system = discrete system + clock variables
R. Alur, T.A. Henzinger, Software Tools For Technology Transfer 1 (1997) 86–109.

View | DOI

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

On the number of small cuts in a graph
M. Henzinger, D.P. Williamson, Information Processing Letters 59 (1996) 41–44.

View | DOI

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

Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning
M. Henzinger, J.A. Telle, in:, 5th Scandinavian Workshop on Algorithm Theory, Springer Nature, 1996, pp. 16–27.

View | DOI

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

Improved sampling with applications to dynamic graph algorithms
M. Henzinger, M. Thorup, in:, 23rd International Colloquium on Automata, Languages, and Programming, Springer Nature, 1996, pp. 290–299.

View | DOI

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

Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology
M. Henzinger, V. King, T. Warnow, in:, 7th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 1996, pp. 333–340.

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

1996 | Published | Journal Article | IST-REx-ID: 2725

Rayleigh-type isoperimetric inequality with a homogeneous magnetic field
L. Erdös, Calculus of Variations and Partial Differential Equations 4 (1996) 283–292.

View | DOI

1996 | Published | Journal Article | IST-REx-ID: 2726

Gaussian decay of the magnetic eigenfunctions
L. Erdös, Geometric and Functional Analysis 6 (1996) 231–248.

View | DOI

1996 | Published | Journal Article | IST-REx-ID: 17822 |

H 2 cooling of primordial gas triggered by UV irradiation
Z. Haiman, M.J. Rees, A. Loeb, The Astrophysical Journal 467 (1996).

[Preprint] View | DOI | Download Preprint (ext.)

1996 | Published | Journal Article | IST-REx-ID: 17834 |

Cosmological formation of low-mass objects
Z. Haiman, A.A. Thoul, A. Loeb, The Astrophysical Journal 464 (1996).

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

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

Presence of a large protein complex containing the ndhK gene product and possessing NADH-specific dehydrogenase activity in thylakoid membranes of higher plant chloroplasts
L.A. Sazanov, P. Burrows, P.J. Nixon, in:, Kluwer, 1996, pp. 705–708.

View

1996 | Published | Journal Article | IST-REx-ID: 1951

Detection and characterization of a complex I-like NADH-specific dehydrogenase from pea thylakoids
L.A. Sazanov, P. Burrows, P. Nixon, Biochemical Society Transactions 24 (1996) 739–743.