Please note that IST 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.

6699 Publications


1996 | Journal Article | IST-REx-ID: 4292
L. Partridge and N. H. Barton, “On measuring the rate of ageing,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 263, no. 1375. Royal Society, The, pp. 1365–1371, 1996.
View | DOI
 

1996 | Book Chapter | IST-REx-ID: 4294
N. H. Barton and I. Wilson, “Genealogies and geography,” in New uses for new phylogenies, Oxford University Press, 1996, pp. 23–56.
View
 

1996 | Book Review | IST-REx-ID: 4295
N. H. Barton, “Speciation: more than the sum of its parts,” Current Biology, vol. 6, no. 10. Cell Press, pp. 1244–1246, 1996.
View | DOI
 

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

1996 | Book Chapter | IST-REx-ID: 4426
T. A. Henzinger and H. Wong Toi, “Linear phase-portrait approximations for nonlinear hybrid systems,” in Hybrid Systems III: Verification and Control, vol. 1066, R. Alur, T. A. Henzinger, and E. Sontag, Eds. Springer, 1996, pp. 377–388.
View | DOI
 

1996 | Book Chapter | IST-REx-ID: 4427
T. A. Henzinger and H. Wong Toi, “Using HyTech to synthesize control parameters for a steam boiler,” in Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, vol. 1165, Springer, 1996, pp. 265–282.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4443
T. A. Henzinger and P. Kopke, “State equivalences for rectangular hybrid automata,” presented at the CONCUR: Concurrency Theory, 1996, vol. 1119, pp. 530–545.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4495
T. A. Henzinger, O. Kupferman, and M. Vardi, “A space-efficient on-the-fly algorithm for real-time model checking,” presented at the CONCUR: Concurrency Theory, 1996, vol. 1119, pp. 514–529.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4519
T. A. Henzinger, “The theory of hybrid automata,” presented at the LICS: Logic in Computer Science, 1996, pp. 278–292.
View | DOI
 

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

Search

Filter Publications