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: 6156
Rogers, Candida, Vincenzina Reale, Kyuhyung Kim, Heather Chatwin, Chris Li, Peter Evans, and Mario de Bono. “Inhibition of Caenorhabditis Elegans Social Feeding by FMRFamide-Related Peptide Activation of NPR-1.” Nature Neuroscience. Springer Nature, 2003. https://doi.org/10.1038/nn1140.
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 6157
Bono, Mario de. “Molecular Approaches to Aggregation Behavior and Social Attachment.” Journal of Neurobiology. Wiley, 2003. https://doi.org/10.1002/neu.10162.
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 1457 | OA
Hausel, Tamás, and Michael Thaddeus. “Mirror Symmetry, Langlands Duality, and the Hitchin System.” Inventiones Mathematicae. Springer, 2003. https://doi.org/10.1007/s00222-003-0286-7.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 1458 | OA
Hausel, Tamás, and Michael Thaddeus. “Relations in the Cohomology Ring of the Moduli Space of Rank 2 Higgs Bundles.” Journal of the American Mathematical Society. American Mathematical Society, 2003. https://doi.org/10.1090/S0894-0347-02-00417-4.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 1459 | OA
Etesi, Gábor, and Tamás Hausel. “On Yang-Mills Instantons over Multi-Centered Gravitational Instantons.” Communications in Mathematical Physics. Springer, 2003. https://doi.org/10.1007/s00220-003-0806-8.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 166 | OA
Browning, Timothy D, and M Swarbick Jones. “Counting Rational Points on Del Pezzo Surfaces of Degree 5.” Proceedings of the Bonn Session in Analytic Number Theory and Diophantine Equations. Mathematisches Institut der Universität Bonn, 2003.
View | Download None (ext.) | arXiv
 

2003 | Journal Article | IST-REx-ID: 3725 | OA
Janovjak, Harald L, Max Kessler, Dieter Oesterhelt, Hermann Gaub, and Daniel Mueller. “Unfolding Pathways of Native Bacteriorhodopsin Depend on Temperature.” EMBO Journal. Wiley-Blackwell, 2003. https://doi.org/10.1093/emboj/cdg509.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 3752 | OA
Vilar, Jose, Calin C Guet, and Stanislas Leibler. “Modeling Network Dynamics: The Lac Operon, a Case Study.” Journal of Cell Biology. Rockefeller University Press, 2003. https://doi.org/10.1083/jcb.200301125.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 3797
Bauer, Wolfgang, Marco Kleine Berkenbusch, and Mark Tobias Bollenbach. “Breaking Atomic Nuclei into Little Pieces: Evidence for a Phase Transition.” Revista Mexicana De Fisica. Sociedad Mexicana de Física, 2003.
View
 

2003 | Journal Article | IST-REx-ID: 3804
Lien, Cheng, and Peter M Jonas. “Kv3 Potassium Conductance Is Necessary and Kinetically Optimized for High-Frequency Action Potential Generation in Hippocampal Interneurons.” Journal of Neuroscience. Society for Neuroscience, 2003.
View
 

2003 | Journal Article | IST-REx-ID: 3806
Hallermann, Stefan, Christian Pawlu, Peter M Jonas, and Manfred Heckmann. “A Large Pool of Releasable Vesicles in a Cortical Glutamatergic Synapse.” PNAS. National Academy of Sciences, 2003. https://doi.org/10.1073/pnas.1432836100.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3897
Chatterjee, Krishnendu, Marcin Jurdziński, and Thomas A Henzinger. “Simple Stochastic Parity Games,” 2803:100–113. Springer, 2003. https://doi.org/10.1007/978-3-540-45220-1_11.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3898
Chatterjee, Krishnendu, Di Ma, Ritankar Majumdar, Tian Zhao, Thomas A Henzinger, and Jens Palsberg. “Stack Size Analysis for Interrupt-Driven Programs,” 2694:109–26. Springer, 2003. https://doi.org/10.1007/3-540-44898-5_7.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3917
Cremer, Sylvia, and Jürgen Heinze. “Zwischen Hochzeitsflug Und Brudermord: Reproduktive Taktiken Bei Ameisenmännchen.” Blick in Die Wissenschaft. Schnell und Steiner, 2003.
View
 

2003 | Journal Article | IST-REx-ID: 3921
Anderson, Carl, Sylvia Cremer, and Jürgen Heinze. “Live and Let Die: Why Fighter Males of the Ant Cardiocondyla Kill Each Other but Tolerate Their Winged Rivals.” Behavioral Ecology. Oxford University Press, 2003. https://doi.org/10.1093/beheco/14.1.54.
View | DOI
 

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. Cell Press, 2003. https://doi.org/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.” 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
 

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.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3993
Edelsbrunner, Herbert, John Harer, and Afra Zomorodian. “Hierarchical Morse-Smale Complexes for Piecewise Linear 2-Manifolds.” Discrete & Computational Geometry. Springer, 2003. https://doi.org/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. Elsevier, 2003. https://doi.org/10.1016/S0925-7721(02)00124-4.
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,” 139–46. IEEE, 2003. https://doi.org/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,” 2866:135–51. Springer, 2003. https://doi.org/10.1007/978-3-540-44400-8_14.
View | DOI
 

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
 

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
 

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
 

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
 

2003 | Journal Article | IST-REx-ID: 4240
González, J., Harold de Vladar, and Morella Rebolledo. “New Late–Intensification Schedules for Cancer Treatments.” Acta Científica Venezolana. Asociación Venezolana para el Avance de la Ciencia., 2003. https://doi.org/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. Wiley-Blackwell, 2003. https://doi.org/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. American Association for the Advancement of Science, 2003. https://doi.org/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. Cell Press, 2003. https://doi.org/10.1016/S0960-9822(03)00573-6.
View | DOI
 

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: 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; International Journal of Organic Evolution. Wiley-Blackwell, 2003. https://doi.org/10.1111/j.0014-3820.2003.tb00595.x.
View | DOI
 

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
 

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
 

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

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

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 | Conference Paper | IST-REx-ID: 4462
Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Counterexample-Guided Control,” 2719:886–902. Springer, 2003. https://doi.org/10.1007/3-540-45061-0_69.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4463
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Shaz Qadeer. “Thread-Modular Abstraction Refinement,” 2725:262–74. Springer, 2003. https://doi.org/10.1007/978-3-540-45069-6_27.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4464
Henzinger, Thomas A, Christoph Kirsch, and Slobodan Matic. “Schedule-Carrying Code,” 2855:241–56. ACM, 2003. https://doi.org/10.1007/978-3-540-45212-6_16.
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,” 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,” 2648:235–39. Springer, 2003. https://doi.org/10.1007/3-540-44829-2_17.
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 | 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 | Conference Paper | IST-REx-ID: 4561
Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, and Mariëlle Stoelinga. “Resource Interfaces,” 2855:117–33. ACM, 2003. https://doi.org/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. Elsevier, 2003. https://doi.org/10.1016/S1369526602000031.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2992
Willemsen, Viola, Jiří Friml, Markus Grebe, Albert Van Den Toorn, Klaus Palme, and Ben Scheres. “Cell Polarity and PIN Protein Positioning in Arabidopsis Require STEROL METHYLTRANSFERASE1 Function.” Plant Cell. American Society of Plant Biologists, 2003. https://doi.org/10.1105/tpc.008433.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2993
Friml, Jiří, Eva Benková, Ulrike Mayer, Klaus Palme, and Gerhard Muster. “Automated Whole Mount Localisation Techniques for Plant Seedlings.” Plant Journal. Wiley-Blackwell, 2003. https://doi.org/10.1046/j.1365-313X.2003.01705.x.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2994
Reinhardt, Didier, Eva Pesce, Pia Stieger, Therese Mandel, Kurt Baltensperger, Malcolm Bennett, Jan Traas, Jiří Friml, and Cris Kuhlemeier. “Regulation of Phyllotaxis by Polar Auxin Transport.” Nature. Nature Publishing Group, 2003. https://doi.org/10.1038/nature02081.
View | DOI
 

Filters and Search Terms

year=2003

Search

Filter Publications