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
Kirsch, Christoph, Marco Sanvido, Thomas A Henzinger, and Wolfgang Pree. “A Giotto-Based Helicopter Control System.” In Proceedings of the 2nd International Conference on Embedded Software, 2491:46–60. ACM, 2002. https://doi.org/10.1007/3-540-45828-X_5.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4422
Jurdziński, Marcin, Orna Kupferman, and Thomas A Henzinger. “Trading Probability for Fairness.” In Proceedings of the 16th International Workshop on Computer Science Logic, 2471:292–305. Springer, 2002. https://doi.org/10.1007/3-540-45793-3_20.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4413
Passerone, Roberto, Luca De Alfaro, Thomas A Henzinger, and Alberto Sangiovanni Vincentelli. “Convertibility Verification and Converter Synthesis: Two Faces of the Same Coin.” In Proceedings of the 11th IEEE/ACM International Conference on Computer-Aided Design, 132–39. IEEE, 2002. https://doi.org/10.1145/774572.774592.
View
| DOI
2002 | Journal Article | IST-REx-ID: 4262
Barton, Nicholas H, and Arcadio Navarro. “Extending the Coalescent to Multilocus Systems: The Case of Balancing Selection.” Genetical Research. Cambridge University Press, 2002. https://doi.org/10.1017/S0016672301005493.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4260 | 
Johnson, Toby, and Nicholas H Barton. “The Effect of Deleterious Alleles on Adaptation in Asexual Populations.” Genetics. Genetics Society of America, 2002. https://doi.org/10.1093/genetics/162.1.395.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC