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.

5761 Publications


2002 | Journal Article | IST-REx-ID: 4209
Hannus M, Feiguin F, Heisenberg C, Eaton S. Planar cell polarization requires Widerborst, a B ’ regulatory subunit of protein phosphatase 2A. Development. 2002;129(14):3493-3503.
View
 

2002 | Journal Article | IST-REx-ID: 4258
Navarro A, Barton NH. The effects of multilocus balancing selection on neutral variability. Genetics. 2002;161(2):849-863.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4259
Orive M, Barton NH. Associations between cytoplasmic and nuclear loci in hybridizing populations. Genetics. 2002;162(3):1469-1485.
View | Download (ext.)
 

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

2002 | Journal Article | IST-REx-ID: 4261
Barton NH, Keightley P. Understanding quantitative genetic variation. Nature Reviews Genetics. 2002;3:11-21. doi:10.1038/nrg700
View | DOI
 

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

2002 | Journal Article | IST-REx-ID: 4263
Barton NH, Depaulis F, Etheridge A. Neutral evolution in spatially continuous populations. Theoretical Population Biology. 2002;61(1):31-48. doi:10.1006/tpbi.2001.1557
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4347
Huelsenbeck J, Bollback JP, Levine A. Inferring the root of a phylogenetic tree. Systematic Biology. 2002;51(1):32-43. doi:10.1080/106351502753475862
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4349
Bollback JP. Bayesian model adequacy and choice in phylogenetics. Molecular Biology and Evolution. 2002;19(7):1171-1180.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4407
Raskin J, Schobbens P, Henzinger TA. Axioms for real-time logics. Theoretical Computer Science. 2002;274(1-2):151-182. doi:10.1016/S0304-3975(00)00308-X
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4413
Passerone R, De Alfaro L, Henzinger TA, Sangiovanni Vincentelli A. Convertibility verification and converter synthesis: Two faces of the same coin. In: IEEE; 2002:132-139. doi:10.1145/774572.774592
View | DOI
 

2002 | Thesis | IST-REx-ID: 4414
Mang F. Games in Open Systems Verification and Synthesis. University of California, Berkeley; 2002:1-116.
View
 

2002 | Conference Paper | IST-REx-ID: 4421
Kirsch C, Sanvido M, Henzinger TA, Pree W. A Giotto-based helicopter control system. In: Vol 2491. ACM; 2002:46-60. doi:10.1007/3-540-45828-X_5
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4422
Jurdziński M, Kupferman O, Henzinger TA. Trading probability for fairness. In: Vol 2471. Springer; 2002:292-305. doi:10.1007/3-540-45793-3_20
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4423
Horowitz B, Liebman J, Ma C, et al. Embedded software design and system integration for rotorcraft UAV using platforms. In: Vol 15. Elsevier; 2002. doi:10.3182/20020721-6-ES-1901.01628
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4444
Henzinger TA, Kirsch C. The embedded machine: predictable, portable real-time code. In: ACM; 2002:315-326. doi:10.1145/512529.512567
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4470
Henzinger TA, Kirsch C, Majumdar R, Matic S. Time-safety checking for embedded programs. In: Vol 2491. ACM; 2002:76-92. doi:10.1007/3-540-45828-X_7
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4471
Henzinger TA, Krishnan S, Kupferman O, Mang F. Synthesis of uninitialized systems. In: Vol 2380. Springer; 2002:644-656. doi:10.1007/3-540-45465-9_55
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4472
Henzinger TA, Necula G, Jhala R, Sutre G, Majumdar R, Weimer W. Temporal safety proofs for systems code. In: Vol 2404. Springer; 2002:526-538. doi:10.1007/3-540-45657-0_45
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4473
Henzinger TA, Qadeer S, Rajamani S, Tasiran S. An assume-guarantee rule for checking simulation. ACM Transactions on Programming Languages and Systems (TOPLAS). 2002;24(1):51-64. doi:10.1145/509705.509707
View | DOI
 

Search

Filter Publications