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
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.
View
| DOI
C. Kirsch, M. Sanvido, T.A. Henzinger, W. Pree, in:, Proceedings of the 2nd International Conference on Embedded Software, ACM, 2002, pp. 46–60.
2002 | Conference Paper | IST-REx-ID: 4422
Trading probability for fairness
M. Jurdziński, O. Kupferman, T.A. Henzinger, in:, Proceedings of the 16th International Workshop on Computer Science Logic, Springer, 2002, pp. 292–305.
View
| DOI
M. Jurdziński, O. Kupferman, T.A. Henzinger, in:, Proceedings of the 16th International Workshop on Computer Science Logic, Springer, 2002, pp. 292–305.
2002 | Conference Paper | IST-REx-ID: 4413
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.
View
| DOI
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.
2002 | Journal Article | IST-REx-ID: 4262
Extending the coalescent to multilocus systems: the case of balancing selection
N.H. Barton, A. Navarro, Genetical Research 79 (2002) 129–139.
View
| DOI
| PubMed | Europe PMC
N.H. Barton, A. Navarro, Genetical Research 79 (2002) 129–139.
2002 | Journal Article | IST-REx-ID: 4260 | 
The effect of deleterious alleles on adaptation in asexual populations
T. Johnson, N.H. Barton, Genetics 162 (2002) 395–411.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
T. Johnson, N.H. Barton, Genetics 162 (2002) 395–411.
2002 | Journal Article | IST-REx-ID: 4349
Bayesian model adequacy and choice in phylogenetics
J.P. Bollback, Molecular Biology and Evolution 19 (2002) 1171–80.
View
| DOI
| PubMed | Europe PMC
J.P. Bollback, Molecular Biology and Evolution 19 (2002) 1171–80.
2002 | Journal Article | IST-REx-ID: 4263
Neutral evolution in spatially continuous populations
N.H. Barton, F. Depaulis, A. Etheridge, Theoretical Population Biology 61 (2002) 31–48.
View
| DOI
| PubMed | Europe PMC
N.H. Barton, F. Depaulis, A. Etheridge, Theoretical Population Biology 61 (2002) 31–48.
2002 | Journal Article | IST-REx-ID: 4261
Understanding quantitative genetic variation
N.H. Barton, P. Keightley, Nature Reviews Genetics 3 (2002) 11–21.
View
| DOI
| PubMed | Europe PMC
N.H. Barton, P. Keightley, Nature Reviews Genetics 3 (2002) 11–21.
2002 | Journal Article | IST-REx-ID: 4347
Inferring the root of a phylogenetic tree
J. Huelsenbeck, J.P. Bollback, A. Levine, Systematic Biology 51 (2002) 32–43.
View
| DOI
| PubMed | Europe PMC
J. Huelsenbeck, J.P. Bollback, A. Levine, Systematic Biology 51 (2002) 32–43.
2002 | Journal Article | IST-REx-ID: 4407
Axioms for real-time logics
J. Raskin, P. Schobbens, T.A. Henzinger, Theoretical Computer Science 274 (2002) 151–182.
View
| DOI
J. Raskin, P. Schobbens, T.A. Henzinger, Theoretical Computer Science 274 (2002) 151–182.
2002 | Journal Article | IST-REx-ID: 4258 |
The effects of multilocus balancing selection on neutral variability
A. Navarro, N.H. Barton, Genetics 161 (2002) 849–863.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A. Navarro, N.H. Barton, Genetics 161 (2002) 849–863.
2002 | Journal Article | IST-REx-ID: 4259 |
Associations between cytoplasmic and nuclear loci in hybridizing populations
M. Orive, N.H. Barton, Genetics 162 (2002) 1469–1485.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Orive, N.H. Barton, Genetics 162 (2002) 1469–1485.
2002 | Journal Article | IST-REx-ID: 4209
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.
View
| DOI
| PubMed | Europe PMC
M. Hannus, F. Feiguin, C.-P.J. Heisenberg, S. Eaton, Development 129 (2002) 3493–3503.
2002 | Journal Article | IST-REx-ID: 4207
Wnt signalling: Refocusing on Strabismus
C.-P.J. Heisenberg, Current Biology 12 (2002) R657–R659.
View
| DOI
| PubMed | Europe PMC
C.-P.J. Heisenberg, Current Biology 12 (2002) R657–R659.
2002 | Journal Article | IST-REx-ID: 4194
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.
View
| DOI
| PubMed | Europe PMC
C. Houart, L. Caneparo, C.-P.J. Heisenberg, K.A. Barth, M. Take Uchi, S. Wilson, Neuron 35 (2002) 255–265.
2002 | Journal Article | IST-REx-ID: 4148
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.
View
| DOI
| PubMed | Europe PMC
M. Tada, M. Concha, C.-P.J. Heisenberg, Seminars in Cell & Developmental Biology 13 (2002) 251–260.
2002 | Journal Article | IST-REx-ID: 4196
Zebrafish gastrulation movements: bridging cell and developmental biology
C.-P.J. Heisenberg, M. Tada, Seminars in Cell & Developmental Biology 13 (2002) 471–479.
View
| DOI
| PubMed | Europe PMC
C.-P.J. Heisenberg, M. Tada, Seminars in Cell & Developmental Biology 13 (2002) 471–479.
2002 | Journal Article | IST-REx-ID: 4199
Wnt signalling: A moving picture emerges from van gogh
C.-P.J. Heisenberg, M. Tada, Current Biology 12 (2002) R126–R128.
View
| DOI
| PubMed | Europe PMC
C.-P.J. Heisenberg, M. Tada, Current Biology 12 (2002) R126–R128.
2002 | Journal Article | IST-REx-ID: 4139
Geometry of social relationships in the Old World wood mouse, Apodemus sylvaticus
J. Polechova, P. Stopka, Canadian Journal of Zoology 80 (2002) 1383–1388.
View
| DOI
J. Polechova, P. Stopka, Canadian Journal of Zoology 80 (2002) 1383–1388.
2002 | Conference Paper | IST-REx-ID: 4003
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.
View
| Download None (ext.)
P. Agarwal, H. Edelsbrunner, Y. Wang, in:, Proceedings of the 13th Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2002, pp. 791–799.