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.

6016 Publications


2002 | Conference Paper | IST-REx-ID: 4003
Agarwal P, Edelsbrunner H, Wang Y. 2002. Computing the writhing number of a polygonal knot. SODA: Symposium on Discrete Algorithms 791–799.
View
 

2002 | Journal Article | IST-REx-ID: 4139
Polechova J, Stopka P. 2002. Geometry of social relationships in the Old World wood mouse, Apodemus sylvaticus. Canadian Journal of Zoology. 80(8), 1383–1388.
View | DOI
 

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

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

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

2002 | Journal Article | IST-REx-ID: 4261
Barton NH, Keightley P. 2002. Understanding quantitative genetic variation. Nature Reviews Genetics. 3, 11–21.
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
 

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

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

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

2002 | Journal Article | IST-REx-ID: 4407
Raskin J, Schobbens P, Henzinger TA. 2002. Axioms for real-time logics. Theoretical Computer Science. 274(1–2), 151–182.
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. ICCAD: Computer-Aided Design 132–139.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4421
Kirsch C, Sanvido M, Henzinger TA, Pree W. 2002. A Giotto-based helicopter control system. 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. CSL: Computer Science Logic, LNCS, vol. 2471. 292–305.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4423
Horowitz B, Liebman J, Ma C, Koo TJ, Henzinger TA, Sangiovanni Vincentelli A, Sastry S. 2002. Embedded software design and system integration for rotorcraft UAV using platforms. IFAC: World Congress on Automatic Control vol. 15.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4444
Henzinger TA, Kirsch C. 2002. The embedded machine: predictable, portable real-time code. PLDI: Programming Languages Design and Implementation 315–326.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4470
Henzinger TA, Kirsch C, Majumdar R, Matic S. 2002. Time-safety checking for embedded programs. EMSOFT: Embedded Software , LNCS, vol. 2491. 76–92.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4471
Henzinger TA, Krishnan S, Kupferman O, Mang F. 2002. Synthesis of uninitialized systems. ICALP: Automata, Languages and Programming, LNCS, vol. 2380. 644–656.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4472
Henzinger TA, Necula G, Jhala R, Sutre G, Majumdar R, Weimer W. 2002. Temporal safety proofs for systems code. CAV: Computer Aided Verification, LNCS, vol. 2404. 526–538.
View | DOI
 

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

Search

Filter Publications