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.
8915 Publications
2003 | Published | Book Chapter | IST-REx-ID: 4465
Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Embedded Control Systems Development with Giotto.” In Software-Enabled Control: Information Technology for Dynamical Systems, 123–46. Wiley-Blackwell, 2003. https://doi.org/10.1002/047172288X.ch8.
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 4466
Henzinger, Thomas A, Orna Kupferman, and Ritankar Majumdar. “On the Universal and Existential Fragments of the Mu-Calculus.” In Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , 2619:49–64. Springer, 2003. https://doi.org/10.1007/3-540-36577-X_5.
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 4467
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Grégoire Sutre. “Software Verification with BLAST.” In Proceedings of the 10th International SPIN Workshop , 2648:235–39. Springer, 2003. https://doi.org/10.1007/3-540-44829-2_17.
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 4468
Henzinger, Thomas A, Christoph Kirsch, Marco Sanvido, and Wolfgang Pree. “From Control Models to Real-Time Code Using Giotto.” IEEE Control Systems Magazine. IEEE, 2003. https://doi.org/10.1109/MCS.2003.1172829.
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 4469
Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Giotto: A Time-Triggered Language for Embedded Programming.” Proceedings of the IEEE. IEEE, 2003. https://doi.org/10.1109/JPROC.2002.805825.
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 4561
Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, and Mariëlle Stoelinga. “Resource Interfaces.” In Third International Conference on Embedded Software, 2855:117–33. ACM, 2003. https://doi.org/10.1007/978-3-540-45212-6_9.
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 4628
De Alfaro, Luca, Thomas A Henzinger, and Ritankar Majumdar. “Discounting the Future in Systems Theory.” In Proceedings of the 30th International Colloquium on Automata, Languages and Programming, 2719:1022–37. Springer, 2003. https://doi.org/10.1007/3-540-45061-0_79.
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 4630
De Alfaro, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “The Element of Surprise in Timed Games.” In Proceedings of the 14th International Conference on Concurrency Theory, 2761:144–58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2003. https://doi.org/10.1007/978-3-540-45187-7_9.
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 576
Hosten, Onur, Patrizia Vignolo, Anna Minguzzi, Bilal Tanatar, and Mario Tosi. “Free Expansion of Two-Dimensional Condensates with a Vortex.” Journal of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing Ltd., 2003. https://doi.org/10.1088/0953-4075/36/12/306.
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 847
Sunyaev, Shamil, Fyodor Kondrashov, Peer Bork, and Vasily Ramensky. “Impact of Selection, Mutation Rate and Genetic Drift on Human Genetic Variation.” Human Molecular Genetics. Oxford University Press, 2003. https://doi.org/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. Springer Nature, 2003. https://doi.org/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. Elsevier, 2003. https://doi.org/10.1016/S0168-9525(02)00029-X.
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 13436
Michrowska, Anna, Michał Bieniek, Mikhail Kim, Rafal Klajn, and Karol Grela. “Cross-Metathesis Reaction of Vinyl Sulfones and Sulfoxides.” Tetrahedron. Elsevier, 2003. https://doi.org/10.1016/s0040-4020(03)00682-3.
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 11121
Walther, Tobias C., Peter Askjaer, Marc Gentzel, Anja Habermann, Gareth Griffiths, Matthias Wilm, Iain W. Mattaj, and Martin Hetzer. “RanGTP Mediates Nuclear Pore Complex Assembly.” Nature. Springer Nature, 2003. https://doi.org/10.1038/nature01898.
View
| DOI
| PubMed | Europe PMC
2003 | Published | Journal Article | IST-REx-ID: 11122
Walther, Tobias C., Annabelle Alves, Helen Pickersgill, Isabelle Loı̈odice, Martin Hetzer, Vincent Galy, Bastian B. Hülsmann, et al. “The Conserved Nup107-160 Complex Is Critical for Nuclear Pore Complex Assembly.” Cell. Elsevier, 2003. 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, Ashish, Monika H Henzinger, Serge Plotkin, and Eva Tardos. “Scheduling Data Transfers in a Network and the Set Scheduling Problem.” Journal of Algorithms. Elsevier, 2003. https://doi.org/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. Elsevier, 2003. 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, Monika H, Bay-Wei Chang, Brian Milch, and Sergey Brin. “Query-Free News Search.” In Proceedings of the 12th International Conference on World Wide Web. Association for Computing Machinery, 2003. https://doi.org/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.” In 21st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 104–111. Association for Computing Machinery, 2003. https://doi.org/10.1145/290941.290972.
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 11909 |
Henzinger, Monika H, Rajeev Motwani, and Craig Silverstein. “Challenges in Web Search Engines.” In 18th International Joint Conference on Artificial Intelligence, 1573–79. Association for Computing Machinery, 2003.
[Published Version]
View
| Download Published Version (ext.)