Please note that IST 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.

110 Publications


2003 | Journal Article | IST-REx-ID: 3922
Cremer, Sylvia, and Jürgen Heinze. “Stress Grows Wings: Environmental Induction of Winged Dispersal Males in Cardiocondyla Ants.” Current Biology, vol. 13, no. 3, Cell Press, 2003, pp. 219–23, doi:10.1016/S0960-9822(03)00012-5.
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 3991
Cheng, Ho, and Herbert Edelsbrunner. “Area and Perimeter Derivatives of a Union of Disks.” Computer Science in Perspective: Essays Dedicated to Thomas Ottmann, vol. 2598, Springer, 2003, pp. 88–97, doi:10.1007/3-540-36477-3_7.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3992
Edelsbrunner, Herbert, and Patrice Koehl. “The Weighted-Volume Derivative of a Space-Filling Diagram.” PNAS, vol. 100, no. 5, National Academy of Sciences, 2003, pp. 2203–08, doi:10.1073/pnas.0537830100.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3993
Edelsbrunner, Herbert, et al. “Hierarchical Morse-Smale Complexes for Piecewise Linear 2-Manifolds.” Discrete & Computational Geometry, vol. 30, no. 1, Springer, 2003, pp. 87–107, doi:10.1007/s00454-003-2926-5.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3994
Cheng, Ho, and Herbert Edelsbrunner. “Area, Perimeter and Derivatives of a Skin Curve.” Computational Geometry: Theory and Applications, vol. 26, no. 2, Elsevier, 2003, pp. 173–92, doi:10.1016/S0925-7721(02)00124-4.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3997
Bremer, Peer, et al. A Multi-Resolution Data Structure for Two-Dimensional Morse-Smale Functions. IEEE, 2003, pp. 139–46, doi:10.1109/VISUAL.2003.1250365.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3999
Edelsbrunner, Herbert, and Alper Üngör. Relaxed Scheduling in Dynamic Skin Triangulation. Vol. 2866, Springer, 2003, pp. 135–51, doi:10.1007/978-3-540-44400-8_14.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4146
Ulrich, Florian, et al. “Slb/Wnt11 Controls Hypoblast Cell Migration and Morphogenesis at the Onset of Zebrafish Gastrulation.” Development, vol. 130, no. 22, Company of Biologists, 2003, pp. 5375–84, doi:10.1242/dev.00758.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4168
Montero, Juan, and Carl-Philipp J. Heisenberg. “Adhesive Crosstalk in Gastrulation.” Developmental Cell, vol. 5, no. 2, Cell Press, 2003, pp. 190–91, doi:10.1016/S1534-5807(03)00235-1.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4169
Montero, Juan, et al. “Phosphoinositide 3-Kinase Is Required for Process Outgrowth and Cell Polarization of Gastrulating Mesendodermal Cells.” Current Biology, vol. 13, no. 15, Cell Press, 2003, pp. 1279–89, doi:10.1016/S0960-9822(03)00505-0.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4185
Kilian, Beate, et al. “The Role of Ppt/Wnt5 in Regulating Cell Shape and Movement during Zebrafish Gastrulation.” Mechanisms of Development, vol. 120, no. 4, Elsevier, 2003, pp. 467–76, doi:10.1016/S0925-4773(03)00004-2.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4240
González, J., et al. “New Late–Intensification Schedules for Cancer Treatments.” Acta Científica Venezolana, vol. 54, Asociación Venezolana para el Avance de la Ciencia., 2003, pp. 263–73, doi:3800.
View | DOI
 

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, vol. 57, no. 3, Wiley-Blackwell, 2003, pp. 447–59, doi:10.1111/j.0014-3820.2003.tb01537.x.
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, vol. 300, no. 5617, American Association for the Advancement of Science, 2003, pp. 321–24, doi:10.1126/science.1080600 .
View | DOI
 

2003 | Book Review | IST-REx-ID: 4256
Barton, Nicholas H., and Willem Zuidema. “The Erratic Path towards Complexity.” Current Biology, vol. 13, no. 16, Cell Press, 2003, pp. R649–51, doi:10.1016/S0960-9822(03)00573-6.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4257
Charlesworth, Brian, et al. “The Effects of Genetic and Geographic Structure on Neutral Variation.” Annual Review of Ecology and Systematics, vol. 34, Annual Reviews, 2003, pp. 99–125, doi:10.1146/annurev.ecolsys.34.011802.132359.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4338
Vines, Timothy, et al. “On the Maintenance of Reproductive Isolation in a Mosaic Hybrid Zone between the Toads Bombina Bombina and B. Variegata.” Evolution; International Journal of Organic Evolution, vol. 57, no. 8, Wiley-Blackwell, 2003, pp. 1876–88, doi:10.1111/j.0014-3820.2003.tb00595.x.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4348
Huelsenbeck, John, et al. “Stochastic Mapping of Morphological Characters.” Systematic Biology, vol. 52, no. 2, Oxford University Press, 2003, pp. 131–58, doi:10.1080/10635150390192780.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4350
Harshman, John, et al. “True and False Gharials: A Nuclear Gene Phylogeny of Crocodylia.” Systematic Biology, vol. 52, no. 3, Oxford University Press, 2003, pp. 386–402, doi:10.1080/10635150390197028.
View | DOI
 

2003 | Thesis | IST-REx-ID: 4416
Majumdar, Ritankar. Symbolic Algorithms for Verification and Control. University of California, Berkeley, 2003, pp. 1–201.
View
 

2003 | Thesis | IST-REx-ID: 4425
Horowitz, Benjamin. Giotto: A Time-Triggered Language for Embedded Programming. University of California, Berkeley, 2003, pp. 1–237.
View
 

2003 | Journal Article | IST-REx-ID: 4460
Henzinger, Thomas A., et al. “From Pre-Historic to Post-Modern Symbolic Model Checking.” Formal Methods in System Design, vol. 23, no. 3, Springer, 2003, pp. 303–27, doi:10.1023/A:1026228213080.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4462
Henzinger, Thomas A., et al. Counterexample-Guided Control. Vol. 2719, Springer, 2003, pp. 886–902, doi:10.1007/3-540-45061-0_69.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4463
Henzinger, Thomas A., et al. Thread-Modular Abstraction Refinement. Vol. 2725, Springer, 2003, pp. 262–74, doi:10.1007/978-3-540-45069-6_27.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4464
Henzinger, Thomas A., et al. Schedule-Carrying Code. Vol. 2855, ACM, 2003, pp. 241–56, doi:10.1007/978-3-540-45212-6_16.
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 4465
Henzinger, Thomas A., et al. “Embedded Control Systems Development with Giotto.” Software-Enabled Control: Information Technology for Dynamical Systems, Wiley-Blackwell, 2003, pp. 123–46, doi:10.1002/047172288X.ch8.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4466
Henzinger, Thomas A., et al. On the Universal and Existential Fragments of the Mu-Calculus. Vol. 2619, Springer, 2003, pp. 49–64, doi:10.1007/3-540-36577-X_5.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4467
Henzinger, Thomas A., et al. Software Verification with BLAST. Vol. 2648, Springer, 2003, pp. 235–39, doi:10.1007/3-540-44829-2_17.
View | DOI
 

2003 | 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 | 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 | Conference Paper | IST-REx-ID: 4561
Chakrabarti, Arindam, et al. Resource Interfaces. Vol. 2855, ACM, 2003, pp. 117–33, doi:10.1007/978-3-540-45212-6_9.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2990
Friml, Jiří. “Auxin Transport - Shaping the Plant.” Current Opinion in Plant Biology, vol. 6, no. 1, Elsevier, 2003, pp. 7–12, doi:10.1016/S1369526602000031.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2992
Willemsen, Viola, et al. “Cell Polarity and PIN Protein Positioning in Arabidopsis Require STEROL METHYLTRANSFERASE1 Function.” Plant Cell, vol. 15, no. 3, American Society of Plant Biologists, 2003, pp. 612–25, doi:10.1105/tpc.008433.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2993
Friml, Jiří, et al. “Automated Whole Mount Localisation Techniques for Plant Seedlings.” Plant Journal, vol. 34, no. 1, Wiley-Blackwell, 2003, pp. 115–24, doi:10.1046/j.1365-313X.2003.01705.x.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2994
Reinhardt, Didier, et al. “Regulation of Phyllotaxis by Polar Auxin Transport.” Nature, vol. 426, no. 6964, Nature Publishing Group, 2003, pp. 255–60, doi:10.1038/nature02081.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2995
Friml, Jiří, et al. “Efflux Dependent Auxin Gradients Establish the Apical Basal Axis of Arabidopsis.” Nature, vol. 426, no. 6963, Nature Publishing Group, 2003, pp. 147–53, doi:10.1038/nature02085.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2996
Benková, Eva, et al. “Local, Efflux-Dependent Auxin Gradients as a Common Module for Plant Organ Formation.” Cell, vol. 115, no. 5, Cell Press, 2003, pp. 591–602, doi:10.1016/S0092-8674(03)00924-3.
View | DOI
 

2003 | Book Review | IST-REx-ID: 3139
Chen, Hsiao, et al. “Development of the Monosynaptic Stretch Reflex Circuit.” Current Opinion in Neurobiology, vol. 13, no. 1, Elsevier, 2003, pp. 96–102, doi:10.1016/S0959-4388(03)00006-0.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3150
Siekhaus, Daria E., and David Drubin. “Spontaneous Receptor-Independent Heterotrimeric G-Protein Signalling in an RGS Mutant.” Nature Cell Biology, vol. 5, no. 3, Nature Publishing Group, 2003, pp. 231–35, doi:10.1038/ncb941.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3151
Rayburn, Lowell, et al. “Amontillado, the Drosophila Homolog of the Prohormone Processing Protease PC2, Is Required during Embryogenesis and Early Larval Development.” Genetics, vol. 163, no. 1, Genetics Society of America, 2003, pp. 227–37.
View
 

2003 | Conference Paper | IST-REx-ID: 3170
Boykov, Yuri, and Vladimir Kolmogorov. Computing Geodesics and Minimal Surfaces via Graph Cuts. Vol. 1, IEEE, 2003, pp. 26–33, doi:10.1109/ICCV.2003.1238310.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3171
Kolmogorov, Vladimir, et al. Generalized Multi Camera Scene Reconstruction Using Graph Cuts. Vol. 2683, Springer, 2003, pp. 501–16, doi:10.1007/978-3-540-45063-4_32.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3174
Kim, Junhwan, et al. Visual Correspondence Using Energy Minimization and Mutual Information. Vol. 2, IEEE, 2003, pp. 1033–40, doi:10.1109/ICCV.2003.1238463.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3209
Pietrzak, Krzysztof Z. “On the Parameterized Complexity of the Fixed Alphabet Shortest Common Supersequence and Longest Common Subsequence Problems.” Journal of Computer and System Sciences, vol. 67, no. 4, Elsevier, 2003, pp. 757–71, doi:10.1016/S0022-0000(03)00078-3.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3210
Maurer, Ueli, and Krzysztof Z. Pietrzak. The Security of Many Round Luby Rackoff Pseudo Random Permutations. Vol. 2656, Springer, 2003, pp. 544–61, doi:10.1007/3-540-39200-9_34.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3425
Bollenbach, Mark Tobias, et al. 3D Supernova Collapse Calculations. Vol. 166, Springer, 2003, pp. 277–88, doi:10.1007/978-1-4020-2705-5_21.
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 3458
Jonas, Peter M., and Klaus Unsicker. “Molekulare Und Zelluläre Grundlagen Des Nervensystems.” Lehrbuch Vorklinik, edited by R. Schmidt, vol. B, Deutscher Ärzte Verlag, 2003, pp. 3–26.
View
 

2003 | Journal Article | IST-REx-ID: 3526
Harris, Kenneth, et al. “Organization of Cell Assemblies in the Hippocampus.” Nature, vol. 424, no. 6948, Nature Publishing Group, 2003, pp. 552–56, doi:0.1038/nature01834.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3528
Csicsvari, Jozsef L., et al. “Mechanisms of Gamma Oscillations in the Hippocampus of the Behaving Rat.” Neuron, vol. 37, no. 2, Elsevier, 2003, pp. 311–22, doi:10.1016/S0896-6273(02)01169-8.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3529
Csicsvari, Jozsef L., et al. “Massively Parallel Recording of Unit and Local Field Potentials with Silicon-Based Electrodes.” Journal of Neurophysiology, vol. 90, no. 2, American Physiological Society, 2003, pp. 1314–23, doi:10.1152/jn.00116.2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3536
Buzsáki, György, et al. “Hippocampal Network Patterns of Activity in the Mouse.” Neuroscience, vol. 116, no. 1, Elsevier, 2003, pp. 201–11, doi:10.1016/S0306-4522(02)00669-3.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3543
Sirota, Anton, et al. “Communication between Neocortex and Hippocampus during Sleep in Rodents.” PNAS, vol. 100, no. 4, National Academy of Sciences, 2003, pp. 2065–69, doi:10.1073/pnas.0437938100.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3556
Edelsbrunner, Herbert, et al. Morse-Smale Complexes for Piecewise Linear 3-Manifolds. ACM, 2003, pp. 361–70, doi:10.1145/777792.777846.
View | DOI | Download (ext.)
 

2003 | Book Chapter | IST-REx-ID: 3573
Edelsbrunner, Herbert. “Surface Reconstruction by Wrapping Finite Sets in Space.” Discrete & Computational Geometry, Springer, 2003, pp. 379–404, doi:10.1007/978-3-642-55566-4_17.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 3584
Edelsbrunner, Herbert, and Afra Zomorodian. “Computing Linking Numbers of a Filtration.” Homology, Homotopy and Applications, vol. 5, no. 2, International Press, 2003, pp. 19–37.
View | Download None (ext.)
 

2003 | Journal Article | IST-REx-ID: 3593
Chatterjee, Krishnendu, et al. “A Branching Time Temporal Framework for Quantitative Reasoning.” Journal of Automated Reasoning, vol. 30, no. 2, Springer, 2003, pp. 205–32, doi:10.1023/A:1023217515688.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3618
Vines, Timothy, and Nicholas H. Barton. “A New Approach to Detecting Mixed Families.” Molecular Ecology, vol. 12, no. 7, Wiley-Blackwell, 2003, pp. 1999–2002, doi:10.1046/j.1365-294X.2003.01867.x.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3619
Baird, Stuart, et al. “The Distribution of Surviving Blocks of an Ancestral Genome.” Theoretical Population Biology, vol. 64, no. 4, Academic Press, 2003, pp. 451–71, doi:10.1016/S0040-5809(03)00098-4.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3620
Nürnberger, Beate, et al. “A Linkage Map for the Hybridising Toads Bombina Bombina and B. Variegata (Anura: Discoglossidae).” Heredity, vol. 91, no. 2, Nature Publishing Group, 2003, pp. 136–42, doi:10.1038/sj.hdy.6800291.
View | DOI
 

2003 | Thesis | IST-REx-ID: 3678
Lampert, Christoph. “The Neumann Operator in Strictly Pseudoconvex Domains with Weighted Bergman Metric .” Bonner Mathematische Schriften, vol. 356, Universität Bonn, Fachbibliothek Mathematik, 2003, pp. 1–165.
View | Download (ext.)
 

Filters and Search Terms

year=2003

Search

Filter Publications