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, Thomas A., et al. “From Control Models to Real-Time Code Using Giotto.” IEEE Control Systems Magazine, vol. 23, no. 1, IEEE, 2003, pp. 50–64, doi:10.1109/MCS.2003.1172829.
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 4469
Henzinger, Thomas A., et al. “Giotto: A Time-Triggered Language for Embedded Programming.” Proceedings of the IEEE, vol. 91, no. 1, IEEE, 2003, pp. 84–99, doi:10.1109/JPROC.2002.805825.
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 4561
Chakrabarti, Arindam, et al. “Resource Interfaces.” Third International Conference on Embedded Software, vol. 2855, ACM, 2003, pp. 117–33, doi:10.1007/978-3-540-45212-6_9.
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 4628
De Alfaro, Luca, et al. “Discounting the Future in Systems Theory.” Proceedings of the 30th International Colloquium on Automata, Languages and Programming, vol. 2719, Springer, 2003, pp. 1022–37, doi:10.1007/3-540-45061-0_79.
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 4630
De Alfaro, Luca, et al. “The Element of Surprise in Timed Games.” Proceedings of the 14th International Conference on Concurrency Theory, vol. 2761, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2003, pp. 144–58, doi:10.1007/978-3-540-45187-7_9.
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 576
Hosten, Onur, et al. “Free Expansion of Two-Dimensional Condensates with a Vortex.” Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 36, no. 12, IOP Publishing Ltd., 2003, pp. 2455–63, doi:10.1088/0953-4075/36/12/306.
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 847
Sunyaev, Shamil, et al. “Impact of Selection, Mutation Rate and Genetic Drift on Human Genetic Variation.” Human Molecular Genetics, vol. 12, no. 24, Oxford University Press, 2003, pp. 3325–30, doi:10.1093/hmg/ddg359.
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 8519
Kaloshin, Vadim. “The Existential Hilbert 16-Th Problem and an Estimate for Cyclicity of Elementary Polycycles.” Inventiones Mathematicae, vol. 151, no. 3, Springer Nature, 2003, pp. 451–512, doi:10.1007/s00222-002-0244-9.
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 876
Kondrashov, Fyodor, and Eugene Koonin. “Evolution of Alternative Splicing: Deletions, Insertions and Origin of Functional Parts of Proteins from Intron Sequences.” Trends in Genetics, vol. 19, no. 3, Elsevier, 2003, pp. 115–19, doi:10.1016/S0168-9525(02)00029-X.
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 13436
Michrowska, Anna, et al. “Cross-Metathesis Reaction of Vinyl Sulfones and Sulfoxides.” Tetrahedron, vol. 59, no. 25, Elsevier, 2003, pp. 4525–31, doi:10.1016/s0040-4020(03)00682-3.
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 11121
Walther, Tobias C., et al. “RanGTP Mediates Nuclear Pore Complex Assembly.” Nature, vol. 424, no. 6949, Springer Nature, 2003, pp. 689–94, doi:10.1038/nature01898.
View
| DOI
| PubMed | Europe PMC
2003 | Published | Journal Article | IST-REx-ID: 11122
Walther, Tobias C., et al. “The Conserved Nup107-160 Complex Is Critical for Nuclear Pore Complex Assembly.” Cell, vol. 113, no. 2, Elsevier, 2003, pp. 195–206, doi:10.1016/s0092-8674(03)00235-6.
[Published Version]
View
| DOI
| PubMed | Europe PMC
2003 | Published | Journal Article | IST-REx-ID: 11764
Goel, Ashish, et al. “Scheduling Data Transfers in a Network and the Set Scheduling Problem.” Journal of Algorithms, vol. 48, no. 2, Elsevier, 2003, pp. 314–32, doi:10.1016/s0196-6774(03)00054-3.
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 11766 | 
Henzinger, Monika H., and Stefano Leonardi. “Scheduling Multicasts on Unit-Capacity Trees and Meshes.” Journal of Computer and System Sciences, vol. 66, no. 3, Elsevier, 2003, pp. 567–611, doi:10.1016/s0022-0000(03)00043-6.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2003 | Published | Conference Paper | IST-REx-ID: 11860
Henzinger, Monika H., et al. “Query-Free News Search.” Proceedings of the 12th International Conference on World Wide Web, 1–10, Association for Computing Machinery, 2003, doi:10.1145/775152.775154.
View
| Files available
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 11897
Bharat, Krishna, and Monika H. Henzinger. “Improved Algorithms for Topic Distillation in a Hyperlinked Environment.” 21st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Association for Computing Machinery, 2003, pp. 104–111, doi:10.1145/290941.290972.
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 11909 |
Henzinger, Monika H., et al. “Challenges in Web Search Engines.” 18th International Joint Conference on Artificial Intelligence, Association for Computing Machinery, 2003, pp. 1573–79.
[Published Version]
View
| Download Published Version (ext.)
2003 | Published | Journal Article | IST-REx-ID: 6156
Rogers, Candida, et al. “Inhibition of Caenorhabditis Elegans Social Feeding by FMRFamide-Related Peptide Activation of NPR-1.” Nature Neuroscience, vol. 6, no. 11, Springer Nature, 2003, pp. 1178–85, doi:10.1038/nn1140.
View
| DOI
| PubMed | Europe PMC
2003 | Published | Journal Article | IST-REx-ID: 6157
de Bono, Mario. “Molecular Approaches to Aggregation Behavior and Social Attachment.” Journal of Neurobiology, vol. 54, no. 1, Wiley, 2003, pp. 78–92, doi:10.1002/neu.10162.
View
| DOI
| PubMed | Europe PMC
2003 | Published | Journal Article | IST-REx-ID: 1457 |
Hausel, Tamás, and Michael Thaddeus. “Mirror Symmetry, Langlands Duality, and the Hitchin System.” Inventiones Mathematicae, vol. 153, no. 1, Springer, 2003, pp. 197–229, doi:10.1007/s00222-003-0286-7.
View
| DOI
| Download (ext.)