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.
9096 Publications
2003 | 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 | 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 | Journal Article | IST-REx-ID: 9495 | 
Cao, Xiaofeng, Werner Aufsatz, Daniel Zilberman, M.Florian Mette, Michael S. Huang, Marjori Matzke, and Steven E. Jacobsen. “Role of the DRM and CMT3 Methyltransferases in RNA-Directed DNA Methylation.” Current Biology. Elsevier, 2003. https://doi.org/10.1016/j.cub.2003.11.052.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2003 | 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 | Journal Article | IST-REx-ID: 9455
Zilberman, Daniel, Xiaofeng Cao, and Steven E. Jacobsen. “ARGONAUTE4 Control of Locus-Specific SiRNA Accumulation and DNA and Histone Methylation.” Science. American Association for the Advancement of Science, 2003. https://doi.org/10.1126/science.1079695.
View
| DOI
| PubMed | Europe PMC
2003 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | Conference Paper | IST-REx-ID: 4463
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Shaz Qadeer. “Thread-Modular Abstraction Refinement.” In Proceedings of the 15th International Conference on Computer Aided Verification, 2725:262–74. Springer, 2003. https://doi.org/10.1007/978-3-540-45069-6_27.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4462
Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Counterexample-Guided Control.” In Proceedings of the 30th International Colloquium on Automata, Languages and Programming, 2719:886–902. Springer, 2003. https://doi.org/10.1007/3-540-45061-0_69.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4464
Henzinger, Thomas A, Christoph Kirsch, and Slobodan Matic. “Schedule-Carrying Code.” In Proceedings of the 3rd International Conference on Embedded Software, 2855:241–56. ACM, 2003. https://doi.org/10.1007/978-3-540-45212-6_16.
View
| DOI
2003 | Journal Article | IST-REx-ID: 4460
Henzinger, Thomas A, Orna Kupferman, and Shaz Qadeer. “From Pre-Historic to Post-Modern Symbolic Model Checking.” Formal Methods in System Design. Springer, 2003. https://doi.org/10.1023/A:1026228213080.
View
| DOI
2003 | 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 | Journal Article | IST-REx-ID: 4338
Vines, Timothy, S C Kohler, M Thiel, Ioan Ghira, T R Sands, Catriona Maccallum, Nicholas H Barton, and Beate Nürnberger. “On the Maintenance of Reproductive Isolation in a Mosaic Hybrid Zone between the Toads Bombina Bombina and B. Variegata.” Evolution. Wiley-Blackwell, 2003. https://doi.org/10.1111/j.0014-3820.2003.tb00595.x.
View
| DOI
2003 | Journal Article | IST-REx-ID: 4350
Harshman, John, Christopher Huddleston, Jonathan P Bollback, Thomas Parsons, and Michael Braun. “True and False Gharials: A Nuclear Gene Phylogeny of Crocodylia.” Systematic Biology. Oxford University Press, 2003. https://doi.org/10.1080/10635150390197028.
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4348
Huelsenbeck, John, Rasmus Nielsen, and Jonathan P Bollback. “Stochastic Mapping of Morphological Characters.” Systematic Biology. Oxford University Press, 2003. https://doi.org/10.1080/10635150390192780.
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4254
Navarro, Arcadio, and Nicholas H Barton. “Accumulating Postzygotic Isolation Genes in Parapatry: A New Twist on Chromosomal Speciation.” Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 2003. https://doi.org/10.1111/j.0014-3820.2003.tb01537.x.
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4257
Charlesworth, Brian, Deborah Charlesworth, and Nicholas H Barton. “The Effects of Genetic and Geographic Structure on Neutral Variation.” Annual Review of Ecology and Systematics. Annual Reviews, 2003. https://doi.org/10.1146/annurev.ecolsys.34.011802.132359.
View
| DOI
2003 | Journal Article | IST-REx-ID: 4256
Barton, Nicholas H, and Willem Zuidema. “The Erratic Path towards Complexity.” Current Biology. Cell Press, 2003. https://doi.org/10.1016/S0960-9822(03)00573-6.
[Published Version]
View
| DOI
2003 | Journal Article | IST-REx-ID: 4255
Navarro, Arcadio, and Nicholas H Barton. “Chromosomal Speciation and Molecular Divergence -- Accelerated Evolution in Rearranged Chromosomes.” Science. American Association for the Advancement of Science, 2003. https://doi.org/10.1126/science.1080600 .
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4146 |
Ulrich, Florian, Miguel Concha, Paul Heid, Ed Voss, Sabine Witzel, Henry Roehl, Masazumi Tada, et al. “Slb/Wnt11 Controls Hypoblast Cell Migration and Morphogenesis at the Onset of Zebrafish Gastrulation.” Development. Company of Biologists, 2003. https://doi.org/10.1242/dev.00758.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4169
Montero, Juan, Beate Kilian, Joanne Chan, Peter Bayliss, and Carl-Philipp J Heisenberg. “Phosphoinositide 3-Kinase Is Required for Process Outgrowth and Cell Polarization of Gastrulating Mesendodermal Cells.” Current Biology. Cell Press, 2003. https://doi.org/10.1016/S0960-9822(03)00505-0.
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4185
Kilian, Beate, Hannu Mansukoski, Filipa Barbosa, Florian Ulrich, Masazumi Tada, and Carl-Philipp J Heisenberg. “The Role of Ppt/Wnt5 in Regulating Cell Shape and Movement during Zebrafish Gastrulation.” Mechanisms of Development. Elsevier, 2003. https://doi.org/10.1016/S0925-4773(03)00004-2.
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 3992 |
Edelsbrunner, Herbert, and Patrice Koehl. “The Weighted-Volume Derivative of a Space-Filling Diagram.” PNAS. National Academy of Sciences, 2003. https://doi.org/10.1073/pnas.0537830100.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2003 | Conference Paper | IST-REx-ID: 3999
Edelsbrunner, Herbert, and Alper Üngör. “Relaxed Scheduling in Dynamic Skin Triangulation.” In Proceedings of the Japanese Conference on Discrete and Computational Geometry , 2866:135–51. Springer, 2003. https://doi.org/10.1007/978-3-540-44400-8_14.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3997
Bremer, Peer, Herbert Edelsbrunner, Bernd Hamann, and Valerio Pascucci. “A Multi-Resolution Data Structure for Two-Dimensional Morse-Smale Functions.” In Proceedings of the 14th IEEE Conference on Visualization , 139–46. IEEE, 2003. https://doi.org/10.1109/VISUAL.2003.1250365.
View
| DOI
2003 | Journal Article | IST-REx-ID: 4168
Montero, Juan, and Carl-Philipp J Heisenberg. “Adhesive Crosstalk in Gastrulation.” Developmental Cell. Cell Press, 2003. https://doi.org/10.1016/S1534-5807(03)00235-1.
View
| DOI
| PubMed | Europe PMC
2003 | Book Chapter | IST-REx-ID: 3991
Cheng, Ho, and Herbert Edelsbrunner. “Area and Perimeter Derivatives of a Union of Disks.” In Computer Science in Perspective: Essays Dedicated to Thomas Ottmann, 2598:88–97. Springer, 2003. https://doi.org/10.1007/3-540-36477-3_7.
View
| DOI
2002 | Journal Article | IST-REx-ID: 11124 |
Bilbao-Cortés, Daniel, Martin Hetzer, Gernot Längst, Peter B. Becker, and Iain W. Mattaj. “Ran Binds to Chromatin by Two Distinct Mechanisms.” Current Biology. Elsevier BV, 2002. https://doi.org/10.1016/s0960-9822(02)00927-2.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 11123
Hetzer, Martin, Oliver J. Gruss, and Iain W. Mattaj. “The Ran GTPase as a Marker of Chromosome Position in Spindle Formation and Nuclear Envelope Assembly.” Nature Cell Biology. Springer Nature, 2002. https://doi.org/10.1038/ncb0702-e177.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 12659 |
Burlando, Paolo, Francesca Pellicciotti, and Ulrich Strasser. “Modelling Mountainous Water Systems between Learning and Speculating Looking for Challenges.” Hydrology Research. IWA Publishing, 2002. https://doi.org/10.2166/nh.2002.0004.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2002 | Conference Paper | IST-REx-ID: 1738
Falaras, Polycarpos, Katerina Chryssou, Thomas Stergiopoulos, Ioannis Arabatzis, Georgios Katsaros, Vincent Catalano, Raif Kurtaran, Anne Hugot Le Goff, and Marie Bernard. “Dye-Sensitization of Titanium Dioxide Thin Films by Ru(II)-Bpp-Bpy Complexes,” 4801:125–35. SPIE, 2002. https://doi.org/10.1117/12.452446.
View
| DOI
2002 | Journal Article | IST-REx-ID: 1739
Stergiopoulos, Thomas, Iannis Arabatzis, Georgios Katsaros, and Polycarpos Falaras. “Binary Polyethylene Oxide/Titania Solid-State Redox Electrolyte for Highly Efficient Nanocrystalline TiO2 Photoelectrochemical Cells.” Nano Letters. American Chemical Society, 2002. https://doi.org/10.1021/nl025798u.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 2339
Seiringer, Robert. “Symmetry Breaking in a Model of a Rotating Bose Gas.” edited by Richardo Weder, Pavel Exner, and Benoit Grébert, 307:281–86. World Scientific Publishing, 2002. https://doi.org/10.1090/conm/307.
View
| DOI
2002 | Journal Article | IST-REx-ID: 2351 |
Seiringer, Robert. “Gross-Pitaevskii Theory of the Rotating Bose Gas.” Communications in Mathematical Physics. Springer, 2002. https://doi.org/10.1007/s00220-002-0695-2.
View
| DOI
| Download (ext.)
2002 | Journal Article | IST-REx-ID: 2349 |
Lieb, Élliott, and Robert Seiringer. “Proof of Bose-Einstein Condensation for Dilute Trapped Gases.” Physical Review Letters. American Physical Society, 2002. https://doi.org/10.1103/PhysRevLett.88.170409.
View
| DOI
| Download (ext.)
2002 | Journal Article | IST-REx-ID: 2352 |
Hainzl, Christian, and Robert Seiringer. “General Decomposition of Radial Functions on ℝn and Applications to N-Body Quantum Systems.” Letters in Mathematical Physics. Springer, 2002. https://doi.org/10.1023/A:1020204818938.
View
| DOI
| Download (ext.)
2002 | Journal Article | IST-REx-ID: 2617 |
Losonczy, Attila, Limei Zhang, Ryuichi Shigemoto, Péter Somogyi, and Zoltán Nusser. “Cell Type Dependence and Variability in the Short-Term Plasticity of EPSCs in Identified Mouse Hippocampal Interneurones.” Journal of Physiology. Wiley-Blackwell, 2002. https://doi.org/10.1113/jphysiol.2002.020024.
View
| DOI
| Download (ext.)
2002 | Conference Paper | IST-REx-ID: 2708
Erdös, László. “Two Dimensional Pauli Operator via Scalar Potential,” 307:129–33. World Scientific Publishing, 2002. https://doi.org/10.1090/conm/307.
View
| DOI
2002 | Journal Article | IST-REx-ID: 2991
Friml, Jiří, and Klaus Palme. “Polar Auxin Transport - Old Questions and New Concepts?” Plant Molecular Biology. Springer, 2002. https://doi.org/10.1023/A:1015248926412.
View
| DOI
2002 | Patent | IST-REx-ID: 3508 |
Edelsbrunner, Herbert, and Ping Fu. “Methods of Generating Three-Dimensional Digital Models of Objects by Wrapping Point Cloud Data Points,” 2002.
[Published Version]
View
| Download Published Version (ext.)
2002 | Conference Paper | IST-REx-ID: 3448
Mallick, Sanhita, Krishnendu Chatterjee, Arif Merchant, and Pallab Dasgupta. “Implementation of Shape Grammar for Plan Analysis.” Elsevier, 2002.
View
2002 | Thesis | IST-REx-ID: 4414
Mang, Freddy. “Games in Open Systems Verification and Synthesis.” University of California, Berkeley, 2002.
View
2002 | Journal Article | IST-REx-ID: 6158
Coates, Juliet C., and Mario de Bono. “Antagonistic Pathways in Neurons Exposed to Body Fluid Regulate Social Feeding in Caenorhabditis Elegans.” Nature. Springer Nature, 2002. https://doi.org/10.1038/nature01170.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 6159
Bono, Mario de, David M. Tobin, M. Wayne Davis, Leon Avery, and Cornelia I. Bargmann. “Social Feeding in Caenorhabditis Elegans Is Induced by Neurons That Detect Aversive Stimuli.” Nature. Springer Nature, 2002. https://doi.org/10.1038/nature01169.
View
| DOI
| PubMed | Europe PMC