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.

6113 Publications


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: 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: 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 | 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: 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 | 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 | 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 | 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: 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: 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: 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
 

2002 | Journal Article | IST-REx-ID: 1451 | OA
Hausel, Tamás, and Bernd Sturmfels. “Toric Hyperkähler Varieties.” Documenta Mathematica. Deutsche Mathematiker Vereinigung, 2002.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 1737
Katsaros, Georgios, Thomas Stergiopoulos, Iannis Arabatzis, Kyriaki Papadokostaki, and Polycarpos Falaras. “A Solvent-Free Composite Polymer/Inorganic Oxide Electrolyte for High Efficiency Solid-State Dye-Sensitized Solar Cells.” Journal of Photochemistry and Photobiology A: Chemistry. Elsevier, 2002. https://doi.org/10.1016/S1010-6030(02)00027-8.
View | DOI
 

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 | Journal Article | IST-REx-ID: 204
Browning, Timothy D. “Equal Sums of Two Kth Powers.” Journal of Number Theory. Academic Press, 2002. https://doi.org/10.1006/jnth.2002.2800.
View | DOI
 

2002 | Book Chapter | IST-REx-ID: 2338
Lieb, Élliott, Jan Solovej, Robert Seiringer, and Jakob Yngvason. “The Ground State of the Bose Gas.” In Current Developments in Mathematics, 2001, 131–78. International Press, 2002. http://arxiv.org/abs/math-ph/0204027.
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: 2349 | OA
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: 2350 | OA
Hainzl, Christian, and Robert Seiringer. “Mass Renormalization and Energy Level Shift in Non-Relativistic QED.” Advances in Theoretical and Mathematical Physics. International Press, 2002.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2351 | OA
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: 2352 | OA
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: 2353 | OA
Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “Superfluidity in Dilute Trapped Bose Gases.” Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2002. https://doi.org/10.1103/PhysRevB.66.134529.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2420
Wagner, Uli. “On the Number of Corner Cuts.” Advances in Applied Mathematics. ACM, 2002. https://doi.org/10.1016/S0196-8858(02)00014-3.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2421
Ambühl, Christoph, and Uli Wagner. “On the Clique Problem in Intersection Graphs of Ellipses,” 2518:489–500. Springer, 2002. https://doi.org/10.1007/3-540-36136-7_43.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2613
Kitano, Jun, Kouji Kimura, Yoshimitsu Yamazaki, Takeshi Soda, Ryuichi Shigemoto, Yoshiaki Nakajima, and Shigetada Nakanishi. “Tamalin, a PDZ Domain-Containing Protein, Links a Protein Complex Formation of Group 1 Metabotropic Glutamate Receptors and the Guanine Nucleotide Exchange Factor Cytohesins.” Journal of Neuroscience. Society for Neuroscience, 2002.
View
 

2002 | Journal Article | IST-REx-ID: 2614
Millán, Carmelo, Rafael Luján, Ryuichi Shigemoto, and José Sánchez Prieto. “The Inhibition of Glutamate Release by Metabotropic Glutamate Receptor 7 Affects Both [Ca2+]c and CAMP. Evidence for a Strong Reduction of Ca2+ Entry in Single Nerve Terminals.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 2002. https://doi.org/10.1074/jbc.M109044200.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2615
Toyono, Takashi, Yuji Seta, Shinji Sataoka, Harumi Harada, Takahiko Morotomi, Shintaro Kawano, Ryuichi Shigemoto, and Kuniaki Toyoshima. “Expression of the Metabotropic Glutamate Receptor, MGluR4a, in the Taste Hairs of Taste Buds in Rat Gustatory Papillae.” Archives of Histology and Cytology. Japan Society of Histological Documentation, 2002. https://doi.org/10.1679/aohc.65.91.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2616
López Bendito, Guillermina, Ryuichi Shigemoto, Alfonso Fairén, and Rafael Luján. “Differential Distribution of Group I Metabotropic Glutamate Receptors during Rat Cortical Development.” Cerebral Cortex. Oxford University Press, 2002. https://doi.org/10.1093/cercor/12.6.625.
View | DOI
 

Search

Filter Publications