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.
9145 Publications
1997 | Journal Article | IST-REx-ID: 4285 | 
The evolution of recombination: Removing the limits to natural selection
S. Otto, N.H. Barton, Genetics 147 (1997) 879–906.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
S. Otto, N.H. Barton, Genetics 147 (1997) 879–906.
1997 | Book Chapter | IST-REx-ID: 4284
Natural selection and random genetic drift as causes of evolution on islands
N.H. Barton, in:, Evolution on Islands, Oxford University Press, 1997, pp. 102–123.
View
| DOI
| PubMed | Europe PMC
N.H. Barton, in:, Evolution on Islands, Oxford University Press, 1997, pp. 102–123.
1997 | Conference Paper | IST-REx-ID: 4438
From quantity to quality
T.A. Henzinger, O. Kupferman, in:, Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, Springer, 1997, pp. 48–62.
View
| DOI
T.A. Henzinger, O. Kupferman, in:, Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, Springer, 1997, pp. 48–62.
1997 | Conference Paper | IST-REx-ID: 4441
Discrete-time control for rectangular hybrid automata
T.A. Henzinger, P. Kopke, in:, Proceedings of the 24th International Colloquium on Automata, Languages and Programming, Springer, 1997, pp. 582–593.
View
| DOI
T.A. Henzinger, P. Kopke, in:, Proceedings of the 24th International Colloquium on Automata, Languages and Programming, Springer, 1997, pp. 582–593.
1997 | Conference Paper | IST-REx-ID: 4496
Fair simulation
T.A. Henzinger, O. Kupferman, S. Rajamani, in:, Proceedings of the 8th International Conference on Concurrency Theory, Springer, 1997, pp. 273–287.
View
| DOI
T.A. Henzinger, O. Kupferman, S. Rajamani, in:, Proceedings of the 8th International Conference on Concurrency Theory, Springer, 1997, pp. 273–287.
1997 | Conference Paper | IST-REx-ID: 4494
HyTech: A model checker for hybrid systems
T.A. Henzinger, P. Ho, H. Wong Toi, in:, Springer, 1997, pp. 460–463.
View
| DOI
T.A. Henzinger, P. Ho, H. Wong Toi, in:, Springer, 1997, pp. 460–463.
1997 | Journal Article | IST-REx-ID: 4493
HyTech: A model checker for hybrid systems
T.A. Henzinger, P. Ho, H. Wong Toi, Software Tools For Technology Transfer 1 (1997) 110–122.
View
| DOI
T.A. Henzinger, P. Ho, H. Wong Toi, Software Tools For Technology Transfer 1 (1997) 110–122.
1997 | 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
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.
1997 | 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
R. Alur, T.A. Henzinger, in:, 8th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 74–88.
1997 | 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
R. Alur, T.A. Henzinger, Software Tools For Technology Transfer 1 (1997) 86–109.
1997 | Conference Paper | IST-REx-ID: 4608
Partial-order reduction in symbolic state-space exploration
R. Alur, R. Brayton, T.A. Henzinger, S. Qadeer, S. Rajamani, in:, 9th International Conference on Computer Aided Verification, Springer, 1997, pp. 340–351.
View
| DOI
R. Alur, R. Brayton, T.A. Henzinger, S. Qadeer, S. Rajamani, in:, 9th International Conference on Computer Aided Verification, Springer, 1997, pp. 340–351.
1997 | Conference Paper | IST-REx-ID: 4609
Alternating-time temporal logic
R. Alur, T.A. Henzinger, O. Kupferman, in:, Proceedings of the 38th Annual Symposium on Foundations of Computer Science, Association for Computing Machinery (ACM), 1997, pp. 100–109.
View
| DOI
R. Alur, T.A. Henzinger, O. Kupferman, in:, Proceedings of the 38th Annual Symposium on Foundations of Computer Science, Association for Computing Machinery (ACM), 1997, pp. 100–109.
1997 | Journal Article | IST-REx-ID: 4607
Computing accumulated delays in real-time systems
R. Alur, C. Courcoubetis, T.A. Henzinger, Formal Methods in System Design 11 (1997) 137–156.
View
| DOI
R. Alur, C. Courcoubetis, T.A. Henzinger, Formal Methods in System Design 11 (1997) 137–156.
1997 | Conference Paper | IST-REx-ID: 4605
Symbolic analysis of hybrid systems
R. Alur, T.A. Henzinger, H. Wong Toi, in:, Proceedings of the 36th IEEE Conference on Decision and Control, IEEE, 1997, pp. 702–707.
View
| DOI
R. Alur, T.A. Henzinger, H. Wong Toi, in:, Proceedings of the 36th IEEE Conference on Decision and Control, IEEE, 1997, pp. 702–707.
1997 | Journal Article | IST-REx-ID: 8528
Prevalence in the space of finitely smooth maps
V. Kaloshin, Functional Analysis and Its Applications 31 (1997) 95–99.
View
| DOI
V. Kaloshin, Functional Analysis and Its Applications 31 (1997) 95–99.
1997 | Journal Article | IST-REx-ID: 8527
How projections affect the dimension spectrum of fractal measures
B.R. Hunt, V. Kaloshin, Nonlinearity 10 (1997) 1031–1046.
View
| DOI
B.R. Hunt, V. Kaloshin, Nonlinearity 10 (1997) 1031–1046.
1996 | Journal Article | IST-REx-ID: 11761
On the number of small cuts in a graph
M.H. Henzinger, D.P. Williamson, Information Processing Letters 59 (1996) 41–44.
View
| DOI
M.H. Henzinger, D.P. Williamson, Information Processing Letters 59 (1996) 41–44.
1996 | Conference Paper | IST-REx-ID: 11804
Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning
M.H. Henzinger, J.A. Telle, in:, 5th Scandinavian Workshop on Algorithm Theory, Springer Nature, 1996, pp. 16–27.
View
| DOI
M.H. Henzinger, J.A. Telle, in:, 5th Scandinavian Workshop on Algorithm Theory, Springer Nature, 1996, pp. 16–27.
1996 | Conference Paper | IST-REx-ID: 11910
Improved sampling with applications to dynamic graph algorithms
M.H. Henzinger, M. Thorup, in:, 23rd International Colloquium on Automata, Languages, and Programming, Springer Nature, 1996, pp. 290–299.
View
| DOI
M.H. Henzinger, M. Thorup, in:, 23rd International Colloquium on Automata, Languages, and Programming, Springer Nature, 1996, pp. 290–299.
1996 | Conference Paper | IST-REx-ID: 11927 |
Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology
M.H. 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.)
M.H. Henzinger, V. King, T. Warnow, in:, 7th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 1996, pp. 333–340.