A Giotto-based helicopter control system
C. Kirsch, M. Sanvido, T.A. Henzinger, W. Pree, in:, Proceedings of the 2nd International Conference on Embedded Software, ACM, 2002, pp. 46–60.
LibreCat: https://research-explorer.ista.ac.at/record/4421
DOI: 10.1007/3-540-45828-X_5

Trading probability for fairness
M. Jurdziski, O. Kupferman, T.A. Henzinger, in:, Proceedings of the 16th International Workshop on Computer Science Logic, Springer, 2002, pp. 292–305.
LibreCat: https://research-explorer.ista.ac.at/record/4422
DOI: 10.1007/3-540-45793-3_20

Convertibility verification and converter synthesis: Two faces of the same coin
R. Passerone, L. De Alfaro, T.A. Henzinger, A. Sangiovanni Vincentelli, in:, Proceedings of the 11th IEEE/ACM International Conference on Computer-Aided Design, IEEE, 2002, pp. 132–139.
LibreCat: https://research-explorer.ista.ac.at/record/4413
DOI: 10.1145/774572.774592

Extending the coalescent to multilocus systems: the case of balancing selection
N.H. Barton, A. Navarro, Genetical Research 79 (2002) 129–139.
LibreCat: https://research-explorer.ista.ac.at/record/4262
DOI: 10.1017/S0016672301005493
PMID: 12073551

The effect of deleterious alleles on adaptation in asexual populations
T. Johnson, N.H. Barton, Genetics 162 (2002) 395–411.
LibreCat: https://research-explorer.ista.ac.at/record/4260
DOI: 10.1093/genetics/162.1.395
PMID: 12242249

Bayesian model adequacy and choice in phylogenetics
J.P. Bollback, Molecular Biology and Evolution 19 (2002) 1171–80.
LibreCat: https://research-explorer.ista.ac.at/record/4349
DOI: 10.1093/oxfordjournals.molbev.a004175
PMID: 12082136 

Neutral evolution in spatially continuous populations
N.H. Barton, F. Depaulis, A. Etheridge, Theoretical Population Biology 61 (2002) 31–48.
LibreCat: https://research-explorer.ista.ac.at/record/4263
DOI: 10.1006/tpbi.2001.1557
PMID: 11895381

Understanding quantitative genetic variation
N.H. Barton, P. Keightley, Nature Reviews Genetics 3 (2002) 11–21.
LibreCat: https://research-explorer.ista.ac.at/record/4261
DOI: 10.1038/nrg700
PMID: 11823787

Inferring the root of a phylogenetic tree
J. Huelsenbeck, J.P. Bollback, A. Levine, Systematic Biology 51 (2002) 32–43.
LibreCat: https://research-explorer.ista.ac.at/record/4347
DOI: 10.1080/106351502753475862
PMID: 11943091

Axioms for real-time logics
J. Raskin, P. Schobbens, T.A. Henzinger, Theoretical Computer Science 274 (2002) 151–182.
LibreCat: https://research-explorer.ista.ac.at/record/4407
DOI: 10.1016/S0304-3975(00)00308-X

The effects of multilocus balancing selection on neutral variability
A. Navarro, N.H. Barton, Genetics 161 (2002) 849–863.
LibreCat: https://research-explorer.ista.ac.at/record/4258
DOI: 10.1093/genetics/161.2.849
PMID: 12072479

Associations between cytoplasmic and nuclear loci in hybridizing populations
M. Orive, N.H. Barton, Genetics 162 (2002) 1469–1485.
LibreCat: https://research-explorer.ista.ac.at/record/4259
DOI: 10.1093/genetics/162.3.1469
PMID: 12454089

Planar cell polarization requires Widerborst, a B regulatory subunit of protein phosphatase 2A
M. Hannus, F. Feiguin, C.-P.J. Heisenberg, S. Eaton, Development 129 (2002) 3493–3503.
LibreCat: https://research-explorer.ista.ac.at/record/4209
DOI: 10.1242/dev.129.14.3493
PMID: 12091318

Wnt signalling: Refocusing on Strabismus
C.-P.J. Heisenberg, Current Biology 12 (2002) 7–9.
LibreCat: https://research-explorer.ista.ac.at/record/4207
DOI: 10.1016/S0960-9822(02)01160-0
PMID: 12361585

Establishment of the telencephalon during gastrulation by local antagonism of Wnt signaling
C. Houart, L. Caneparo, C.-P.J. Heisenberg, K.A. Barth, M. Take Uchi, S. Wilson, Neuron 35 (2002) 255–265.
LibreCat: https://research-explorer.ista.ac.at/record/4194
DOI: 10.1016/S0896-6273(02)00751-1
PMID: 12160744

Non-canonical Wnt signalling and regulation of gastrulation movements
M. Tada, M. Concha, C.-P.J. Heisenberg, Seminars in Cell &; Developmental Biology 13 (2002) 251–260.
LibreCat: https://research-explorer.ista.ac.at/record/4148
DOI: 10.1016/S1084-9521(02)00052-6
PMID: 12137734

Zebrafish gastrulation movements: bridging cell and developmental biology
C.-P.J. Heisenberg, M. Tada, Seminars in Cell &; Developmental Biology 13 (2002) 471–479.
LibreCat: https://research-explorer.ista.ac.at/record/4196
DOI: 10.1016/S1084952102001003
PMID: 12468250

Wnt signalling: A moving picture emerges from van gogh
C.-P.J. Heisenberg, M. Tada, Current Biology 12 (2002) 6–8.
LibreCat: https://research-explorer.ista.ac.at/record/4199
DOI: 10.1016/S0960-9822(02)00704-2
PMID: 11864583

Geometry of social relationships in the Old World wood mouse, Apodemus sylvaticus
J. Polechova, P. Stopka, Canadian Journal of Zoology 80 (2002) 1383–1388.
LibreCat: https://research-explorer.ista.ac.at/record/4139
DOI: 10.1139/z02-128

Computing the writhing number of a polygonal knot
P. Agarwal, H. Edelsbrunner, Y. Wang, in:, Proceedings of the 13th Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2002, pp. 791–799.
LibreCat: https://research-explorer.ista.ac.at/record/4003