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.
7272 Publications
1997 | Book Review | IST-REx-ID: 4290
Natural hybridization and evolution
N.H. Barton, Genetical Research 70 (1997) 178–180.
View
N.H. Barton, Genetical Research 70 (1997) 178–180.
1997 | Book Review | IST-REx-ID: 4291
The ccological detective: Confronting models with data
N.H. Barton, Genetical Research 70 (1997) 180–181.
View
N.H. Barton, Genetical Research 70 (1997) 180–181.
1997 | Book Chapter | IST-REx-ID: 4293
The evolution of metapopulations
N.H. Barton, M. Whitlock, in:, Metapopulation Biology, Academic Press, 1997, pp. 183–210.
View
| DOI
N.H. Barton, M. Whitlock, in:, Metapopulation Biology, Academic Press, 1997, pp. 183–210.
1996 | Thesis | IST-REx-ID: 4419
The Theory of Rectangular Hybrid Automata
P. Kopke, The Theory of Rectangular Hybrid Automata, Cornell University, 1996.
View
P. Kopke, The Theory of Rectangular Hybrid Automata, Cornell University, 1996.
1996 | Book Chapter | IST-REx-ID: 4426
Linear phase-portrait approximations for nonlinear hybrid systems
T.A. Henzinger, H. Wong Toi, in:, R. Alur, T.A. Henzinger, E. Sontag (Eds.), Hybrid Systems III: Verification and Control, Springer, 1996, pp. 377–388.
View
| DOI
T.A. Henzinger, H. Wong Toi, in:, R. Alur, T.A. Henzinger, E. Sontag (Eds.), Hybrid Systems III: Verification and Control, Springer, 1996, pp. 377–388.
1996 | Book Chapter | IST-REx-ID: 4427
Using HyTech to synthesize control parameters for a steam boiler
T.A. Henzinger, H. Wong Toi, in:, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, Springer, 1996, pp. 265–282.
View
| DOI
T.A. Henzinger, H. Wong Toi, in:, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, Springer, 1996, pp. 265–282.
1996 | Conference Paper | IST-REx-ID: 4443
State equivalences for rectangular hybrid automata
T.A. Henzinger, P. Kopke, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 530–545.
View
| DOI
T.A. Henzinger, P. Kopke, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 530–545.
1996 | Conference Paper | IST-REx-ID: 4495
A space-efficient on-the-fly algorithm for real-time model checking
T.A. Henzinger, O. Kupferman, M. Vardi, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 514–529.
View
| DOI
T.A. Henzinger, O. Kupferman, M. Vardi, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 514–529.
1996 | Conference Paper | IST-REx-ID: 4519
The theory of hybrid automata
T.A. Henzinger, in:, IEEE, 1996, pp. 278–292.
View
| DOI
T.A. Henzinger, in:, IEEE, 1996, pp. 278–292.
1996 | Conference (Editor) | IST-REx-ID: 4585
CAV: Computer Aided Verification
R. Alur, T.A. Henzinger, CAV: Computer Aided Verification, Springer, 1996.
View
| DOI
R. Alur, T.A. Henzinger, CAV: Computer Aided Verification, Springer, 1996.