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.

6016 Publications


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: 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 57, no. 3 (2003): 447–59. 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 300, no. 5617 (2003): 321–24. 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 34 (2003): 99–125. 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 57, no. 8 (2003): 1876–88. 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 52, no. 2 (2003): 131–58. 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 52, no. 3 (2003): 386–402. https://doi.org/10.1080/10635150390197028.
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 23, no. 3 (2003): 303–27. 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 23, no. 1 (2003): 50–64. 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 91, no. 1 (2003): 84–99. 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 | Conference Paper | IST-REx-ID: 4628
De Alfaro, Luca, Thomas A Henzinger, and Ritankar Majumdar. “Discounting the Future in Systems Theory,” 2719:1022–37. Springer, 2003. https://doi.org/10.1007/3-540-45061-0_79.
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,” 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: 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 36, no. 12 (2003): 2455–63. 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 6, no. 11 (2003): 1178–85. 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 54, no. 1 (2003): 78–92. https://doi.org/10.1002/neu.10162.
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 2623
Coesmans, Michiel, Peter Sillevis Smitt, David Linden, Ryuichi Shigemoto, Tomoo Hirano, Yoshinori Yamakawa, Adriaan Van Alphen, et al. “Mechanisms Underlying Cerebellar Motor Deficits Due to MGluR1-Autoantibodies.” Annals of Neurology 53, no. 3 (2003): 325–36. https://doi.org/10.1002/ana.10451.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2625
Minami, Itsunari, Mineko Kengaku, Sillevis Smitt, Ryuichi Shigemoto, and Tomoo Hirano. “Long-Term Potentiation of MGluR1 Activity by Depolarization-Induced Homer1a in Mouse Cerebellar Purkinje Neurons.” European Journal of Neuroscience 17, no. 5 (2003): 1023–32. https://doi.org/10.1046/j.1460-9568.2003.02499.x.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2626
Kaneda, Katsuyuki, Michiko Imanishi, Atsushi Nambu, Ryuichi Shigemoto, and Masahiko Takada. “Differential Expression Patterns of MGluR1α in Monkey Nigral Dopamine Neurons.” Neuroreport 14, no. 7 (2003): 947–50. https://doi.org/10.1097/01.wnr.0000074344.81633.e4.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2627
Kawakami, Ryosuke, Yoshiaki Shinohara, Yuichiro Kato, Hiroyuki Sugiyama, Ryuichi Shigemoto, and Isao Ito. “Asymmetrical Allocation of NMDA Receptor Ε2 Subunits in Hippocampal Circuitry.” Science 300, no. 5621 (2003): 990–94. https://doi.org/10.1126/science.1082609.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2628
Momiyama, Akiko, Rachel Silver, Michael Häusser, Takuya Notomi, Yue Wu, Ryuichi Shigemoto, and Stuart Cull Candy. “The Density of AMPA Receptors Activated by a Transmitter Quantum at the Climbing Fibre - Purkinje Cell Synapse in Immature Rats.” Journal of Physiology 549, no. 1 (2003): 75–92. https://doi.org/10.1113/jphysiol.2002.033472.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2629
Somogyi, Péter, Yannis Dalezios, Rafael Luján, John Roberts, Masahiko Watanabe, and Ryuichi Shigemoto. “High Level of MGluR7 in the Presynaptic Active Zones of Select Populations of GABAergic Terminals Innervating Interneurons in the Rat Hippocampus.” European Journal of Neuroscience 17, no. 12 (2003): 2503–20. https://doi.org/10.1046/j.1460-9568.2003.02697.x.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2630
Toyono, Takashi, Yuji Seta, Shinji Kataoka, Shintaro Kawano, Ryuichi Shigemoto, and Kuniaki Toyoshima. “Expression of Metabotropic Glutamate Receptor Group I in Rat Gustatory Papillae.” Cell and Tissue Research 313, no. 1 (2003): 29–35. https://doi.org/10.1007/s00441-003-0740-2.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2631
Higashida, Haruhiro, Jia Zhang, Sumiko Mochida, Xiao Chen, Yeonsook Shin, Mami Noda, Kazi Hossain, et al. “Subtype-Specific Coupling with ADP-Ribosyl Cyclase of Metabotropic Glutamate Receptors in Retina, Cervical Superior Ganglion and NG108-15 Cells.” Journal of Neurochemistry 85, no. 5 (2003): 1148–58. https://doi.org/10.1046/j.1471-4159.2003.01751.x.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2632
Holderith, Noémi, Ryuichi Shigemoto, and Zoltán Nusser. “Cell Type-Dependent Expression of HCN1 in the Main Olfactory Bulb.” European Journal of Neuroscience 18, no. 2 (2003): 344–54. https://doi.org/10.1046/j.1460-9568.2003.02756.x.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2633
Millán, Carmelo, Enrique Castro, Magdalena Torres, Ryuichi Shigemoto, and José Sánchez Prieto. “Co-Expression of Metabotropic Glutamate Receptor 7 and N-Type Ca2+ Channels in Single Cerebrocortical Nerve Terminals of Adult Rats.” Journal of Biological Chemistry 278, no. 26 (2003): 23955–62. https://doi.org/10.1074/jbc.M211471200.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2634
López Bendito, Guillermina, Rafael Luján, Ryuichi Shigemoto, Paul Ganter, Ole Paulsen, and Zoltán Molnár. “Blockade of GABAB Receptors Alters the Tangential Migration of Cortical Neurons.” Cerebral Cortex 13, no. 9 (2003): 932–42. https://doi.org/10.1093/cercor/13.9.932.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2635
Kulik, Ákos, Imre Vida, Rafael Luján, Carola Haas, Guillermina López Bendito, Ryuichi Shigemoto, and Michael Frotscher. “Subcellular Localization of Metabotropic GABAB Receptor Subunits GABAB1a/b and GABAB2 in the Rat Hippocampus.” Journal of Neuroscience 23, no. 35 (2003): 11026–35.
View
 

2003 | Journal Article | IST-REx-ID: 2637
Bell, Karen, G J De Kort, S Steggerda, Ryuichi Shigemoto, Alfredo Ribeiro Da Silva, and Augusto Cuello. “Structural Involvement of the Glutamatergic Presynaptic Boutons in a Transgenic Mouse Model Expressing Early Onset Amyloid Pathology.” Neuroscience Letters 353, no. 2 (2003): 143–47. https://doi.org/10.1016/j.neulet.2003.09.027.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2784
Hof, Björn, Anne Juel, and Tom Mullin. “Magnetohydrodynamic Damping of Convective Flows in Molten Gallium.” Journal of Fluid Mechanics 482 (2003): 163–79. https://doi.org/10.1017/S0022112003004014.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2785
Hof, Björn, Anne Juel, and Tom Mullin. “Scaling of the Turbulence Transition Threshold in a Pipe.” Physical Review Letters 91, no. 24 (2003): 244502/1-244502/4. https://doi.org/10.1103/PhysRevLett.91.244502.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2990
Friml, Jirí. “Auxin Transport - Shaping the Plant.” Current Opinion in Plant Biology 6, no. 1 (2003): 7–12. https://doi.org/10.1016/S1369526602000031.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2992
Willemsen, Viola, Jirí 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 15, no. 3 (2003): 612–25. https://doi.org/10.1105/tpc.008433.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2993
Friml, Jirí, Eva Benková, Ulrike Mayer, Klaus Palme, and Gerhard Muster. “Automated Whole Mount Localisation Techniques for Plant Seedlings.” Plant Journal 34, no. 1 (2003): 115–24. 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, Jirí Friml, and Cris Kuhlemeier. “Regulation of Phyllotaxis by Polar Auxin Transport.” Nature 426, no. 6964 (2003): 255–60. https://doi.org/10.1038/nature02081.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2995
Friml, Jirí, Anne Vieten, Michael Sauer, Dolf Weijers, Heinz Schwarz, Thorsten Hamann, Remko Offringa, and Gerd Jürgens. “Efflux Dependent Auxin Gradients Establish the Apical Basal Axis of Arabidopsis.” Nature 426, no. 6963 (2003): 147–53. https://doi.org/10.1038/nature02085.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2996
Benková, Eva, Marta Michniewicz, Michael Sauer, Thomas Teichmann, Daniela Seifertová, Gerd Jürgens, and Jirí Friml. “Local, Efflux-Dependent Auxin Gradients as a Common Module for Plant Organ Formation.” Cell 115, no. 5 (2003): 591–602. https://doi.org/10.1016/S0092-8674(03)00924-3.
View | DOI
 

2003 | Book Review | IST-REx-ID: 3139
Chen, Hsiao, Simon Hippenmeyer, Silvia Arber, and Eric Frank. “Development of the Monosynaptic Stretch Reflex Circuit.” Current Opinion in Neurobiology. Elsevier, 2003. https://doi.org/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 5, no. 3 (2003): 231–35. https://doi.org/10.1038/ncb941.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3151
Rayburn, Lowell, Holly Gooding, Semil Choksi, Dhea Maloney, Ambrose Kidd, Daria E Siekhaus, and Michael Bender. “Amontillado, the Drosophila Homolog of the Prohormone Processing Protease PC2, Is Required during Embryogenesis and Early Larval Development.” Genetics 163, no. 1 (2003): 227–37.
View
 

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 360 (2003).
View | Download None (ext.) | arXiv
 

2003 | Journal Article | IST-REx-ID: 1959
Holt, Peter, David Morgan, and Leonid A Sazanov. “The Location of NuoL and NuoM Subunits in the Membrane Domain of the Escherichia Coli Complex I: Implications for the Mechanism of Proton Pumping.” Journal of Biological Chemistry 278, no. 44 (2003): 43114–20. https://doi.org/10.1074/jbc.M308247200.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 1960
Sazanov, Leonid A, Joe Carroll, Peter Holt, Laurence Toime, and Ian Fearnley. “A Role for Native Lipids in the Stabilization and Two Dimensional Crystallization of the Escherichia Coli NADH Ubiquinone Oxidoreductase (Complex I).” Journal of Biological Chemistry 278, no. 21 (2003): 19483–91. https://doi.org/10.1074/jbc.M208959200.
View | DOI
 

Search

Filter Publications