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.

6702 Publications


1997 | Book Review | IST-REx-ID: 4290
Barton NH. 1997. Natural hybridization and evolution. Genetical Research. 70(2), 178–180.
View
 

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

1997 | Book Chapter | IST-REx-ID: 4293
Barton NH, Whitlock M. 1997.The evolution of metapopulations. In: Metapopulation Biology. , 183–210.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4438
Henzinger TA, Kupferman O. 1997. From quantity to quality. HART: Hybrid and Real-Time Systems, LNCS, vol. 1201, 48–62.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4441
Henzinger TA, Kopke P. 1997. Discrete-time control for rectangular hybrid automata. ICALP: Automata, Languages and Programming, LNCS, vol. 1256, 582–593.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4493
Henzinger TA, Ho P, Wong Toi H. 1997. HyTech: A model checker for hybrid systems. Software Tools For Technology Transfer. 1(1–2), 110–122.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4494
Henzinger TA, Ho P, Wong Toi H. 1997. HyTech: A model checker for hybrid systems. CAV: Computer Aided Verification, LNCS, vol. 1254, 460–463.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4496
Henzinger TA, Kupferman O, Rajamani S. 1997. Fair simulation. CONCUR: Concurrency Theory, LNCS, vol. 1243, 273–287.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4520
Gupta V, Henzinger TA, Jagadeesan R. 1997. Robust timed automata. HART: Hybrid and Real-Time Systems, LNCS, vol. 1201, 331–345.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4583
Alur R, Henzinger TA. 1997. Modularity for timed and hybrid systems. CONCUR: Concurrency Theory, LNCS, vol. 1243, 74–88.
View | DOI
 

Search

Filter Publications