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.

56 Publications


1997 | Published | Journal Article | IST-REx-ID: 4289 | OA
N. H. Barton, “Population genetics: A new apportionment of human diversity,” Current Biology, vol. 7, no. 12. Cell Press, pp. 757–758, 1997.
[Published Version] View | DOI | Download Published Version (ext.)
 

1997 | Published | Book Review | IST-REx-ID: 4290
N. H. Barton, “Natural hybridization and evolution,” Genetical Research, vol. 70, no. 2. Cambridge University Press, pp. 178–180, 1997.
View
 

1997 | Published | Book Review | IST-REx-ID: 4291
N. H. Barton, “The ecological detective: Confronting models with data,” Genetical Research, vol. 70, no. 2. Cambridge University Press, pp. 180–181, 1997.
View | Download None (ext.)
 

1997 | Published | Book Chapter | IST-REx-ID: 4293
N. H. Barton and M. Whitlock, “The evolution of metapopulations,” in Metapopulation Biology, I. Hanski and M. E. Gilpin, Eds. Academic Press, 1997, pp. 183–210.
View | DOI
 

1997 | Published | Conference Paper | IST-REx-ID: 4438
T. A. Henzinger and O. Kupferman, “From quantity to quality,” in Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, Grenoble, France, 1997, vol. 1201, pp. 48–62.
View | DOI
 

1997 | Published | Conference Paper | IST-REx-ID: 4441
T. A. Henzinger and P. Kopke, “Discrete-time control for rectangular hybrid automata,” in Proceedings of the 24th International Colloquium on Automata, Languages and Programming, Bologna, Italy, 1997, vol. 1256, pp. 582–593.
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 4493
T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: A model checker for hybrid systems,” Software Tools For Technology Transfer, vol. 1, no. 1–2. Springer, pp. 110–122, 1997.
View | DOI
 

1997 | Published | Conference Paper | IST-REx-ID: 4494
T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: A model checker for hybrid systems,” presented at the CAV: Computer Aided Verification, Haifa, Israel, 1997, vol. 1254, pp. 460–463.
View | DOI
 

1997 | Published | Conference Paper | IST-REx-ID: 4496
T. A. Henzinger, O. Kupferman, and S. Rajamani, “Fair simulation,” in Proceedings of the 8th International Conference on Concurrency Theory, Warsaw, Poland, 1997, vol. 1243, pp. 273–287.
View | DOI
 

1997 | Published | Conference Paper | IST-REx-ID: 4520
V. Gupta, T. A. Henzinger, and R. Jagadeesan, “Robust timed automata,” in Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, Grenoble, France, 1997, vol. 1201, pp. 331–345.
View | DOI
 

1997 | Published | Conference Paper | IST-REx-ID: 4583
R. Alur and T. A. Henzinger, “Modularity for timed and hybrid systems,” in 8th International Conference on Concurrency Theory, Warsaw, Poland, 1997, vol. 1243, pp. 74–88.
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 4584
R. Alur and T. A. Henzinger, “Real-time system = discrete system + clock variables,” Software Tools For Technology Transfer, vol. 1, no. 1–2. Springer, pp. 86–109, 1997.
View | DOI
 

1997 | Published | Conference Paper | IST-REx-ID: 4605
R. Alur, T. A. Henzinger, and H. Wong Toi, “Symbolic analysis of hybrid systems,” in Proceedings of the 36th IEEE Conference on Decision and Control, San Diego, CA, USA, 1997, pp. 702–707.
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 4607
R. Alur, C. Courcoubetis, and T. A. Henzinger, “Computing accumulated delays in real-time systems,” Formal Methods in System Design, vol. 11, no. 2. Springer, pp. 137–156, 1997.
View | DOI
 

1997 | Published | Conference Paper | IST-REx-ID: 4608
R. Alur, R. Brayton, T. A. Henzinger, S. Qadeer, and S. Rajamani, “Partial-order reduction in symbolic state-space exploration,” in 9th International Conference on Computer Aided Verification, Haifa, Israel, 1997, vol. 1254, pp. 340–351.
View | DOI
 

1997 | Published | Conference Paper | IST-REx-ID: 4609
R. Alur, T. A. Henzinger, and O. Kupferman, “Alternating-time temporal logic,” in Proceedings of the 38th Annual Symposium on Foundations of Computer Science, Washington, DC, United States, 1997, pp. 100–109.
View | DOI
 

Filters and Search Terms

year=1997

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed