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.
119 Publications
2003 | Published | Journal Article | IST-REx-ID: 4468
Henzinger, T. A., Kirsch, C., Sanvido, M., & Pree, W. (2003). From control models to real-time code using Giotto. IEEE Control Systems Magazine. IEEE. https://doi.org/10.1109/MCS.2003.1172829
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 4469
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2003). Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE. IEEE. https://doi.org/10.1109/JPROC.2002.805825
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 4561
Chakrabarti, A., De Alfaro, L., Henzinger, T. A., & Stoelinga, M. (2003). Resource interfaces. In Third International Conference on Embedded Software (Vol. 2855, pp. 117–133). Philadelphia, PA, USA: ACM. https://doi.org/10.1007/978-3-540-45212-6_9
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 4628
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2003). Discounting the future in systems theory. In Proceedings of the 30th International Colloquium on Automata, Languages and Programming (Vol. 2719, pp. 1022–1037). Eindhoven, The Netherlands: Springer. https://doi.org/10.1007/3-540-45061-0_79
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 4630
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2003). The element of surprise in timed games. In Proceedings of the 14th International Conference on Concurrency Theory (Vol. 2761, pp. 144–158). Marseille, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-540-45187-7_9
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 576
Hosten, O., Vignolo, P., Minguzzi, A., Tanatar, B., & Tosi, M. (2003). Free expansion of two-dimensional condensates with a vortex. Journal of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing Ltd. https://doi.org/10.1088/0953-4075/36/12/306
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 847
Sunyaev, S., Kondrashov, F., Bork, P., & Ramensky, V. (2003). Impact of selection, mutation rate and genetic drift on human genetic variation. Human Molecular Genetics. Oxford University Press. https://doi.org/10.1093/hmg/ddg359
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 8519
Kaloshin, V. (2003). The existential Hilbert 16-th problem and an estimate for cyclicity of elementary polycycles. Inventiones Mathematicae. Springer Nature. https://doi.org/10.1007/s00222-002-0244-9
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 876
Kondrashov, F., & Koonin, E. (2003). Evolution of alternative splicing: Deletions, insertions and origin of functional parts of proteins from intron sequences. Trends in Genetics. Elsevier. https://doi.org/10.1016/S0168-9525(02)00029-X
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 13436
Michrowska, A., Bieniek, M., Kim, M., Klajn, R., & Grela, K. (2003). Cross-metathesis reaction of vinyl sulfones and sulfoxides. Tetrahedron. Elsevier. https://doi.org/10.1016/s0040-4020(03)00682-3
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 11121
Walther, T. C., Askjaer, P., Gentzel, M., Habermann, A., Griffiths, G., Wilm, M., … Hetzer, M. (2003). RanGTP mediates nuclear pore complex assembly. Nature. Springer Nature. https://doi.org/10.1038/nature01898
View
| DOI
| PubMed | Europe PMC
2003 | Published | Journal Article | IST-REx-ID: 11122
Walther, T. C., Alves, A., Pickersgill, H., Loı̈odice, I., Hetzer, M., Galy, V., … Doye, V. (2003). The conserved Nup107-160 complex is critical for nuclear pore complex assembly. Cell. Elsevier. https://doi.org/10.1016/s0092-8674(03)00235-6
[Published Version]
View
| DOI
| PubMed | Europe PMC
2003 | Published | Journal Article | IST-REx-ID: 11764
Goel, A., Henzinger, M. H., Plotkin, S., & Tardos, E. (2003). Scheduling data transfers in a network and the set scheduling problem. Journal of Algorithms. Elsevier. https://doi.org/10.1016/s0196-6774(03)00054-3
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 11766 | 
Henzinger, M. H., & Leonardi, S. (2003). Scheduling multicasts on unit-capacity trees and meshes. Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1016/s0022-0000(03)00043-6
[Published Version]
View
| DOI
| Download Published Version (ext.)
2003 | Published | Conference Paper | IST-REx-ID: 11860
Henzinger, M. H., Chang, B.-W., Milch, B., & Brin, S. (2003). Query-free news search. In Proceedings of the 12th international conference on World Wide Web. Budapest, Hungary: Association for Computing Machinery. https://doi.org/10.1145/775152.775154
View
| Files available
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 11897
Bharat, K., & Henzinger, M. H. (2003). Improved algorithms for topic distillation in a hyperlinked environment. In 21st annual international ACM SIGIR conference on Research and development in information retrieval (pp. 104–111). Melbourne, Australia: Association for Computing Machinery. https://doi.org/10.1145/290941.290972
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 11909 |
Henzinger, M. H., Motwani, R., & Silverstein, C. (2003). Challenges in web search engines. In 18th International Joint Conference on Artificial Intelligence (pp. 1573–1579). Acapulco, Mexico: Association for Computing Machinery.
[Published Version]
View
| Download Published Version (ext.)
2003 | Published | Journal Article | IST-REx-ID: 6156
Rogers, C., Reale, V., Kim, K., Chatwin, H., Li, C., Evans, P., & de Bono, M. (2003). Inhibition of Caenorhabditis elegans social feeding by FMRFamide-related peptide activation of NPR-1. Nature Neuroscience. Springer Nature. https://doi.org/10.1038/nn1140
View
| DOI
| PubMed | Europe PMC
2003 | Published | Journal Article | IST-REx-ID: 6157
de Bono, M. (2003). Molecular approaches to aggregation behavior and social attachment. Journal of Neurobiology. Wiley. https://doi.org/10.1002/neu.10162
View
| DOI
| PubMed | Europe PMC
2003 | Published | Journal Article | IST-REx-ID: 1457 |
Hausel, T., & Thaddeus, M. (2003). Mirror symmetry, langlands duality, and the Hitchin system. Inventiones Mathematicae. Springer. https://doi.org/10.1007/s00222-003-0286-7
View
| DOI
| Download (ext.)