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
 

1997 | Book Review | IST-REx-ID: 4291
The ccological detective: Confronting models with data
N.H. Barton, Genetical Research 70 (1997) 180–181.
View
 

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
 

1996 | Thesis | IST-REx-ID: 4419
The Theory of Rectangular Hybrid Automata
P. Kopke, The Theory of Rectangular Hybrid Automata, Cornell University, 1996.
View
 

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
 

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
 

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
 

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
 

1996 | Conference Paper | IST-REx-ID: 4519
The theory of hybrid automata
T.A. Henzinger, in:, IEEE, 1996, pp. 278–292.
View | DOI
 

1996 | Conference (Editor) | IST-REx-ID: 4585
CAV: Computer Aided Verification
R. Alur, T.A. Henzinger, CAV: Computer Aided Verification, Springer, 1996.
View | DOI
 

Search

Filter Publications