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: 4470
Henzinger, Thomas A., et al. “Time-Safety Checking for Embedded Programs.” Proceedings of the 2nd International Conference on Embedded Software, vol. 2491, ACM, 2002, pp. 76–92, doi:10.1007/3-540-45828-X_7.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4444
Henzinger, Thomas A., and Christoph Kirsch. “The Embedded Machine: Predictable, Portable Real-Time Code.” Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, ACM, 2002, pp. 315–26, doi:10.1145/512529.512567.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4476
Henzinger, Thomas A., et al. “Lazy Abstraction.” Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, 2002, pp. 58–70, doi:10.1145/503272.503279.
View
| DOI
2002 | Journal Article | IST-REx-ID: 4473
Henzinger, Thomas A., et al. “An Assume-Guarantee Rule for Checking Simulation.” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 24, no. 1, ACM, 2002, pp. 51–64, doi:10.1145/509705.509707.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4423
Horowitz, Benjamin, et al. “Embedded Software Design and System Integration for Rotorcraft UAV Using Platforms.” Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control, vol. 15, no. 1, Elsevier, 2002, doi:10.3182/20020721-6-ES-1901.01628.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4421
Kirsch, Christoph, et al. “A Giotto-Based Helicopter Control System.” Proceedings of the 2nd International Conference on Embedded Software, vol. 2491, ACM, 2002, pp. 46–60, doi:10.1007/3-540-45828-X_5.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4422
Jurdziński, Marcin, et al. “Trading Probability for Fairness.” Proceedings of the 16th International Workshop on Computer Science Logic, vol. 2471, Springer, 2002, pp. 292–305, doi:10.1007/3-540-45793-3_20.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4413
Passerone, Roberto, et al. “Convertibility Verification and Converter Synthesis: Two Faces of the Same Coin.” Proceedings of the 11th IEEE/ACM International Conference on Computer-Aided Design, IEEE, 2002, pp. 132–39, doi: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, vol. 79, no. 2, Cambridge University Press, 2002, pp. 129–39, doi: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, vol. 162, no. 1, Genetics Society of America, 2002, pp. 395–411, doi:10.1093/genetics/162.1.395.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4349
Bollback, Jonathan P. “Bayesian Model Adequacy and Choice in Phylogenetics.” Molecular Biology and Evolution, vol. 19, no. 7, Oxford University Press, 2002, pp. 1171–80, doi:10.1093/oxfordjournals.molbev.a004175.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4263
Barton, Nicholas H., et al. “Neutral Evolution in Spatially Continuous Populations.” Theoretical Population Biology, vol. 61, no. 1, Academic Press, 2002, pp. 31–48, doi:10.1006/tpbi.2001.1557.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4261
Barton, Nicholas H., and Peter Keightley. “Understanding Quantitative Genetic Variation.” Nature Reviews Genetics, vol. 3, Nature Publishing Group, 2002, pp. 11–21, doi:10.1038/nrg700.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4347
Huelsenbeck, John, et al. “Inferring the Root of a Phylogenetic Tree.” Systematic Biology, vol. 51, no. 1, Oxford University Press, 2002, pp. 32–43, doi:10.1080/106351502753475862.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4407
Raskin, Jean, et al. “Axioms for Real-Time Logics.” Theoretical Computer Science, vol. 274, no. 1–2, Elsevier, 2002, pp. 151–82, doi:10.1016/S0304-3975(00)00308-X.
View
| DOI
2002 | Journal Article | IST-REx-ID: 4258 |
Navarro, Arcadio, and Nicholas H. Barton. “The Effects of Multilocus Balancing Selection on Neutral Variability.” Genetics, vol. 161, no. 2, Genetics Society of America, 2002, pp. 849–63, doi:10.1093/genetics/161.2.849.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4259 |
Orive, Maria, and Nicholas H. Barton. “Associations between Cytoplasmic and Nuclear Loci in Hybridizing Populations.” Genetics, vol. 162, no. 3, Genetics Society of America, 2002, pp. 1469–85, doi:10.1093/genetics/162.3.1469.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4209
Hannus, Michael, et al. “Planar Cell Polarization Requires Widerborst, a B′ Regulatory Subunit of Protein Phosphatase 2A.” Development, vol. 129, no. 14, Company of Biologists, 2002, pp. 3493–503, doi:10.1242/dev.129.14.3493.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4207
Heisenberg, Carl-Philipp J. “Wnt Signalling: Refocusing on Strabismus.” Current Biology, vol. 12, no. 19, Cell Press, 2002, pp. R657–59, doi:10.1016/S0960-9822(02)01160-0.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4194
Houart, Corinne, et al. “Establishment of the Telencephalon during Gastrulation by Local Antagonism of Wnt Signaling.” Neuron, vol. 35, no. 2, Elsevier, 2002, pp. 255–65, doi:10.1016/S0896-6273(02)00751-1.
View
| DOI
| PubMed | Europe PMC