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.

7712 Publications


1997 | Journal Article | IST-REx-ID: 8528
Kaloshin V. Prevalence in the space of finitely smooth maps. Functional Analysis and Its Applications. 1997;31(2):95-99. doi:10.1007/bf02466014
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4608
Alur R, Brayton R, Henzinger TA, Qadeer S, Rajamani S. Partial-order reduction in symbolic state-space exploration. In: 9th International Conference on Computer Aided Verification. Vol 1254. Springer; 1997:340-351. doi:10.1007/3-540-63166-6_34
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4607
Alur R, Courcoubetis C, Henzinger TA. Computing accumulated delays in real-time systems. Formal Methods in System Design. 1997;11(2):137-156. doi:10.1023/A:1008626013578
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4584
Alur R, Henzinger TA. Real-time system = discrete system + clock variables. Software Tools For Technology Transfer. 1997;1(1-2):86-109. doi:10.1007/s100090050007
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4605
Alur R, Henzinger TA, Wong Toi H. Symbolic analysis of hybrid systems. In: Proceedings of the 36th IEEE Conference on Decision and Control. IEEE; 1997:702-707. doi:10.1109/CDC.1997.650717 
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4583
Alur R, Henzinger TA. Modularity for timed and hybrid systems. In: 8th International Conference on Concurrency Theory. Vol 1243. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1997:74-88. doi:10.1007/3-540-63141-0_6
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4496
Henzinger TA, Kupferman O, Rajamani S. Fair simulation. In: Proceedings of the 8th International Conference on Concurrency Theory. Vol 1243. Springer; 1997:273-287. doi:10.1007/3-540-63141-0_19
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4520
Gupta V, Henzinger TA, Jagadeesan R. Robust timed automata. In: Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems. Vol 1201. Springer; 1997:331-345. doi:10.1007/BFb0014736
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4494
Henzinger TA, Ho P, Wong Toi H. HyTech: A model checker for hybrid systems. In: Vol 1254. Springer; 1997:460-463. doi:10.1007/3-540-63166-6_48
View | DOI
 

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

1997 | Conference Paper | IST-REx-ID: 4438
Henzinger TA, Kupferman O. From quantity to quality. In: Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems. Vol 1201. Springer; 1997:48-62. doi:10.1007/BFb0014712
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4441
Henzinger TA, Kopke P. Discrete-time control for rectangular hybrid automata. In: Proceedings of the 24th International Colloquium on Automata, Languages and Programming. Vol 1256. Springer; 1997:582-593. doi:10.1007/3-540-63165-8_213
View | DOI
 

1997 | Book Chapter | IST-REx-ID: 4293
Barton NH, Whitlock M. The evolution of metapopulations. In: Hanski I, Gilpin ME, eds. Metapopulation Biology. Academic Press; 1997:183-210. doi:10.1016/B978-012323445-2/50012-2
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4289 | OA
Barton NH. Population genetics: A new apportionment of human diversity. Current Biology. 1997;7(12):757-758. doi:10.1016/S0960-9822(06)00397-6
View | DOI | Download Published Version (ext.)
 

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

1997 | Journal Article | IST-REx-ID: 4287 | OA
Coyne J, Barton NH, Turelli M. Perspective: A critique of Sewall Wright’s shifting balance theory of evolutionight’s shifting balance theory of evolution. Evolution; International Journal of Organic Evolution. 1997;51(3):643-671. doi:10.1111/j.1558-5646.1997.tb03650.x
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Book Review | IST-REx-ID: 4291
Barton NH. The ecological detective: Confronting models with data. Genetical Research. 1997;70(2):180-181.
View | Download None (ext.)
 

1997 | Journal Article | IST-REx-ID: 4288 | OA
Fowler K, Semple C, Barton NH, Partridge L. Genetic variation for total fitness in Drosophila melanogaster. Proceedings of the Royal Society of London Series B Biological Sciences. 1997;264(1379):191-199. doi:10.1098/rspb.1997.0027
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Journal Article | IST-REx-ID: 4285 | OA
Otto S, Barton NH. The evolution of recombination: Removing the limits to natural selection. Genetics. 1997;147(2):879-906. doi:10.1093/genetics/147.2.879
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Journal Article | IST-REx-ID: 4201 | OA
Heisenberg C-PJ, Nüsslein Volhard C. The function of silberblick in the positioning of the eye anlage in the zebrafish embryo. Developmental Biology. 1997;184(1):85-94. doi:10.1006/dbio.1997.8511
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications