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.

5893 Publications


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 | Conference Paper | IST-REx-ID: 4628
De Alfaro, Luca, et al. Discounting the Future in Systems Theory. Vol. 2719, Springer, 2003, pp. 1022–37, doi:10.1007/3-540-45061-0_79.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4630
De Alfaro, Luca, et al. The Element of Surprise in Timed Games. Vol. 2761, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2003, pp. 144–58, doi:10.1007/978-3-540-45187-7_9.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 576
Hosten, Onur, et al. “Free Expansion of Two-Dimensional Condensates with a Vortex.” Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 36, no. 12, IOP Publishing Ltd., 2003, pp. 2455–63, doi:10.1088/0953-4075/36/12/306.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 6156
Rogers, Candida, et al. “Inhibition of Caenorhabditis Elegans Social Feeding by FMRFamide-Related Peptide Activation of NPR-1.” Nature Neuroscience, vol. 6, no. 11, Springer Nature, 2003, pp. 1178–85, doi:10.1038/nn1140.
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 6157
de Bono, Mario. “Molecular Approaches to Aggregation Behavior and Social Attachment.” Journal of Neurobiology, vol. 54, no. 1, Wiley, 2003, pp. 78–92, doi:10.1002/neu.10162.
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 2623
Coesmans, Michiel, et al. “Mechanisms Underlying Cerebellar Motor Deficits Due to MGluR1-Autoantibodies.” Annals of Neurology, vol. 53, no. 3, Wiley-Blackwell, 2003, pp. 325–36, doi:10.1002/ana.10451.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2625
Minami, Itsunari, et al. “Long-Term Potentiation of MGluR1 Activity by Depolarization-Induced Homer1a in Mouse Cerebellar Purkinje Neurons.” European Journal of Neuroscience, vol. 17, no. 5, Wiley-Blackwell, 2003, pp. 1023–32, doi:10.1046/j.1460-9568.2003.02499.x.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2626
Kaneda, Katsuyuki, et al. “Differential Expression Patterns of MGluR1α in Monkey Nigral Dopamine Neurons.” Neuroreport, vol. 14, no. 7, Lippincott, Williams & Wilkins, 2003, pp. 947–50, doi:10.1097/01.wnr.0000074344.81633.e4.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2627
Kawakami, Ryosuke, et al. “Asymmetrical Allocation of NMDA Receptor Ε2 Subunits in Hippocampal Circuitry.” Science, vol. 300, no. 5621, American Association for the Advancement of Science, 2003, pp. 990–94, doi:10.1126/science.1082609.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2628
Momiyama, Akiko, et al. “The Density of AMPA Receptors Activated by a Transmitter Quantum at the Climbing Fibre - Purkinje Cell Synapse in Immature Rats.” Journal of Physiology, vol. 549, no. 1, Wiley-Blackwell, 2003, pp. 75–92, doi:10.1113/jphysiol.2002.033472.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2629
Somogyi, Péter, et al. “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, vol. 17, no. 12, Wiley-Blackwell, 2003, pp. 2503–20, doi:10.1046/j.1460-9568.2003.02697.x.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2630
Toyono, Takashi, et al. “Expression of Metabotropic Glutamate Receptor Group I in Rat Gustatory Papillae.” Cell and Tissue Research, vol. 313, no. 1, Springer, 2003, pp. 29–35, doi:10.1007/s00441-003-0740-2.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2631
Higashida, Haruhiro, 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, vol. 85, no. 5, Wiley-Blackwell, 2003, pp. 1148–58, doi:10.1046/j.1471-4159.2003.01751.x.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2632
Holderith, Noémi, et al. “Cell Type-Dependent Expression of HCN1 in the Main Olfactory Bulb.” European Journal of Neuroscience, vol. 18, no. 2, Wiley-Blackwell, 2003, pp. 344–54, doi:10.1046/j.1460-9568.2003.02756.x.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2633
Millán, Carmelo, et al. “Co-Expression of Metabotropic Glutamate Receptor 7 and N-Type Ca2+ Channels in Single Cerebrocortical Nerve Terminals of Adult Rats.” Journal of Biological Chemistry, vol. 278, no. 26, American Society for Biochemistry and Molecular Biology, 2003, pp. 23955–62, doi:10.1074/jbc.M211471200.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2634
López Bendito, Guillermina, et al. “Blockade of GABAB Receptors Alters the Tangential Migration of Cortical Neurons.” Cerebral Cortex, vol. 13, no. 9, Oxford University Press, 2003, pp. 932–42, doi:10.1093/cercor/13.9.932.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2635
Kulik, Ákos, et al. “Subcellular Localization of Metabotropic GABAB Receptor Subunits GABAB1a/b and GABAB2 in the Rat Hippocampus.” Journal of Neuroscience, vol. 23, no. 35, Society for Neuroscience, 2003, pp. 11026–35.
View
 

2003 | Journal Article | IST-REx-ID: 2637
Bell, Karen, et al. “Structural Involvement of the Glutamatergic Presynaptic Boutons in a Transgenic Mouse Model Expressing Early Onset Amyloid Pathology.” Neuroscience Letters, vol. 353, no. 2, Elsevier, 2003, pp. 143–47, doi:10.1016/j.neulet.2003.09.027.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2784
Hof, Björn, et al. “Magnetohydrodynamic Damping of Convective Flows in Molten Gallium.” Journal of Fluid Mechanics, vol. 482, Cambridge University Press, 2003, pp. 163–79, doi:10.1017/S0022112003004014.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2785
Hof, Björn, et al. “Scaling of the Turbulence Transition Threshold in a Pipe.” Physical Review Letters, vol. 91, no. 24, American Physical Society, 2003, p. 244502/1-244502/4, doi: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, 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, Jirí, 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, Jirí, 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 | 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, vol. 360, Mathematisches Institut der Universität Bonn, 2003.
View | Download None (ext.) | arXiv
 

2003 | Journal Article | IST-REx-ID: 1959
Holt, Peter, et al. “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, vol. 278, no. 44, American Society for Biochemistry and Molecular Biology, 2003, pp. 43114–20, doi:10.1074/jbc.M308247200.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 1960
Sazanov, Leonid A., et al. “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, vol. 278, no. 21, American Society for Biochemistry and Molecular Biology, 2003, pp. 19483–91, doi:10.1074/jbc.M208959200.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 847
Sunyaev, Shamil, et al. “Impact of Selection, Mutation Rate and Genetic Drift on Human Genetic Variation.” Human Molecular Genetics, vol. 12, no. 24, Oxford University Press, 2003, pp. 3325–30, doi: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, vol. 19, no. 3, Elsevier, 2003, pp. 115–19, doi:10.1016/S0168-9525(02)00029-X.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 1457 | OA
Hausel, Tamas, and Michael Thaddeus. “Mirror Symmetry, Langlands Duality, and the Hitchin System.” Inventiones Mathematicae, vol. 153, no. 1, Springer, 2003, pp. 197–229, doi:10.1007/s00222-003-0286-7.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 1458 | OA
Hausel, Tamas, and Michael Thaddeus. “Relations in the Cohomology Ring of the Moduli Space of Rank 2 Higgs Bundles.” Journal of the American Mathematical Society, vol. 16, no. 2, American Mathematical Society, 2003, pp. 303–29, doi:10.1090/S0894-0347-02-00417-4.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 1459 | OA
Etesi, Gábor, and Tamas Hausel. “On Yang-Mills Instantons over Multi-Centered Gravitational Instantons.” Communications in Mathematical Physics, vol. 235, no. 2, Springer, 2003, pp. 275–88, doi:10.1007/s00220-003-0806-8.
View | DOI | Download (ext.)
 

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
 

Search

Filter Publications