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

114 Publications


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
 

2003 | Journal Article | IST-REx-ID: 2995
Friml, Jiří, 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. Nature Publishing Group, 2003. 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 Jiří Friml. “Local, Efflux-Dependent Auxin Gradients as a Common Module for Plant Organ Formation.” Cell. Cell Press, 2003. 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. Nature Publishing Group, 2003. 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. Genetics Society of America, 2003.
View
 

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

2003 | Conference Paper | IST-REx-ID: 3171
Kolmogorov, Vladimir, Ramin Zabih, and Steven Gortler. “Generalized Multi Camera Scene Reconstruction Using Graph Cuts,” 2683:501–16. Springer, 2003. https://doi.org/10.1007/978-3-540-45063-4_32.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3174
Kim, Junhwan, Vladimir Kolmogorov, and Ramin Zabih. “Visual Correspondence Using Energy Minimization and Mutual Information,” 2:1033–40. IEEE, 2003. https://doi.org/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. Elsevier, 2003. https://doi.org/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,” 2656:544–61. Springer, 2003. https://doi.org/10.1007/3-540-39200-9_34.
View | DOI
 

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 | 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 | 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. IOP Publishing Ltd., 2003. https://doi.org/10.1088/0953-4075/36/12/306.
View | DOI
 

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: 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. American Society for Biochemistry and Molecular Biology, 2003. 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. American Society for Biochemistry and Molecular Biology, 2003. https://doi.org/10.1074/jbc.M208959200.
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: 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
 

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: 205
Browning, Timothy D. “Counting Rational Points on Cubic and Quartic Surfaces.” Acta Arithmetica. Instytut Matematyczny, 2003. https://doi.org/10.4064/aa108-3-7.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 206
Browning, Timothy D. “A Note on the Distribution of Rational Points on Threefolds.” Quarterly Journal of Mathematics. Unknown, 2003. https://doi.org/10.1093/qjmath/54.1.33.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 207
Browning, Timothy D. “Sums of Four Biquadrates.” Mathematical Proceedings of the Cambridge Philosophical Society. Cambridge University Press, 2003. https://doi.org/10.1017/S0305004102006382.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 208
Browning, Timothy D. “Counting Rational Points on Diagonal Quadratic Surfaces.” Quarterly Journal of Mathematics. Oxford University Press, 2003. https://doi.org/10.1093/qjmath/54.1.11.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2337 | OA
Lieb, Élliott, and Robert Seiringer. “Bose-Einstein Condensation of Dilute Gases in Traps .” edited by Yulia Karpeshina, Rudi Weikard, and Yanni Zeng, 327:239–50. American Mathematical Society, 2003. https://doi.org/10.1090/conm/327/05818.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 2354 | OA
Seiringer, Robert. “Ground State Asymptotics of a Dilute, Rotating Gas.” Journal of Physics A: Mathematical and Theoretical. IOP Publishing Ltd., 2003. https://doi.org/10.1088/0305-4470/36/37/312.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 2357 | OA
Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “Poincaré Inequalities in Punctured Domains.” Annals of Mathematics. Princeton University Press, 2003. https://doi.org/10.4007/annals.2003.158.1067 .
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 2358 | OA
Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “One-Dimensional Bosons in Three-Dimensional Traps.” Physical Review Letters. American Physical Society, 2003. https://doi.org/10.1103/PhysRevLett.91.150401.
View | DOI | Download (ext.)
 

2003 | Thesis | IST-REx-ID: 2414
Wagner, Uli. “On K-Sets and Their Applications.” ETH Zurich, 2003. https://doi.org/10.3929/ethz-a-004708408.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2422
Wagner, Uli. “On the Rectilinear Crossing Number of Complete Graphs,” 583–88. SIAM, 2003.
View | Download (ext.)
 

Filters and Search Terms

year=2003

Search

Filter Publications