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.
89 Publications
- 1
- 2
- 3
- 4
- 5 (current)
2001 |
Published |
Journal Article |
IST-REx-ID: 4265
Selection for recombination in small populations
S. Otto, N.H. Barton, Evolution; International Journal of Organic Evolution 55 (2001) 1921–1931.
View
| DOI
| PubMed | Europe PMC
S. Otto, N.H. Barton, Evolution; International Journal of Organic Evolution 55 (2001) 1921–1931.
2001 |
Published |
Journal Article |
IST-REx-ID: 4266
The role of hybridization in evolution
N.H. Barton, Molecular Ecology 10 (2001) 551–568.
View
| DOI
| PubMed | Europe PMC
N.H. Barton, Molecular Ecology 10 (2001) 551–568.
2001 |
Published |
Book Chapter |
IST-REx-ID: 4267
Adaptation at the edge of a species' range
N.H. Barton, in:, Integrating Ecology and Evolution in a Spatial Context, Cambridge University Press, 2001, pp. 365–392.
View
| Download None (ext.)
N.H. Barton, in:, Integrating Ecology and Evolution in a Spatial Context, Cambridge University Press, 2001, pp. 365–392.
2001 |
Published |
Book Chapter |
IST-REx-ID: 4278
The evolutionary consequences of gene flow and local adaptation: Future approaches
N.H. Barton, in:, Dispersal, Oxford University Press, 2001.
View
| Download None (ext.)
N.H. Barton, in:, Dispersal, Oxford University Press, 2001.
2001 |
Published |
Conference (Editor) |
IST-REx-ID: 4449
EMSOFT: Embedded Software
T.A. Henzinger, ed., EMSOFT: Embedded Software, ACM, 2001.
View
| DOI
T.A. Henzinger, ed., EMSOFT: Embedded Software, ACM, 2001.
2001 |
Published |
Conference Paper |
IST-REx-ID: 4475
Some lessons from the HYTECH experience
T.A. Henzinger, J. Preussig, H. Wong Toi, in:, Proceedings of the 40th IEEE Conference on Decision and Control, IEEE, 2001, pp. 2887–2892.
View
| DOI
T.A. Henzinger, J. Preussig, H. Wong Toi, in:, Proceedings of the 40th IEEE Conference on Decision and Control, IEEE, 2001, pp. 2887–2892.
2001 |
Published |
Conference Paper |
IST-REx-ID: 4477
Assume-guarantee reasoning for hierarchical hybrid systems
T.A. Henzinger, M. Minea, V. Prabhu, in:, Proceedings of the 4th International Workshop on Hybrid Systems, Springer, 2001, pp. 275–290.
View
| DOI
T.A. Henzinger, M. Minea, V. Prabhu, in:, Proceedings of the 4th International Workshop on Hybrid Systems, Springer, 2001, pp. 275–290.
2001 |
Published |
Conference Paper |
IST-REx-ID: 4478
Embedded control systems development with Giotto
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Proceedings of the 2nd ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, ACM, 2001, pp. 64–72.
View
| DOI
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Proceedings of the 2nd ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, ACM, 2001, pp. 64–72.
2001 |
Published |
Conference Paper |
IST-REx-ID: 4479
Giotto: A time-triggered language for embedded programming
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Proceedings of the 1st International Workshop on Embedded Software, ACM, 2001, pp. 166–184.
View
| DOI
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Proceedings of the 1st International Workshop on Embedded Software, ACM, 2001, pp. 166–184.
- 1
- 2
- 3
- 4
- 5 (current)