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.

106 Publications


2002 | Conference Paper | IST-REx-ID: 4421
Kirsch C, Sanvido M, Henzinger TA, Pree W. 2002. A Giotto-based helicopter control system. Proceedings of the 2nd International Conference on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2491, 46–60.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4422
Jurdziński M, Kupferman O, Henzinger TA. 2002. Trading probability for fairness. Proceedings of the 16th International Workshop on Computer Science Logic. CSL: Computer Science Logic, LNCS, vol. 2471, 292–305.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4413
Passerone R, De Alfaro L, Henzinger TA, Sangiovanni Vincentelli A. 2002. Convertibility verification and converter synthesis: Two faces of the same coin. Proceedings of the 11th IEEE/ACM international conference on Computer-aided design. ICCAD: Computer-Aided Design, 132–139.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4262
Barton NH, Navarro A. 2002. Extending the coalescent to multilocus systems: the case of balancing selection. Genetical Research. 79(2), 129–139.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 4260 | OA
Johnson T, Barton NH. 2002. The effect of deleterious alleles on adaptation in asexual populations. Genetics. 162(1), 395–411.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

year=2002

Search

Filter Publications