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
J. Friml, “Auxin transport - Shaping the plant,” Current Opinion in Plant Biology, vol. 6, no. 1. Elsevier, pp. 7–12, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2992
V. Willemsen, J. Friml, M. Grebe, A. Van Den Toorn, K. Palme, and B. Scheres, “Cell polarity and PIN protein positioning in Arabidopsis require STEROL METHYLTRANSFERASE1 function,” Plant Cell, vol. 15, no. 3. American Society of Plant Biologists, pp. 612–625, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2993
J. Friml, E. Benková, U. Mayer, K. Palme, and G. Muster, “Automated whole mount localisation techniques for plant seedlings,” Plant Journal, vol. 34, no. 1. Wiley-Blackwell, pp. 115–124, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2994
D. Reinhardt et al., “Regulation of phyllotaxis by polar auxin transport,” Nature, vol. 426, no. 6964. Nature Publishing Group, pp. 255–260, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2995
J. Friml et al., “Efflux dependent auxin gradients establish the apical basal axis of Arabidopsis,” Nature, vol. 426, no. 6963. Nature Publishing Group, pp. 147–153, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2996
E. Benková et al., “Local, efflux-dependent auxin gradients as a common module for plant organ formation,” Cell, vol. 115, no. 5. Cell Press, pp. 591–602, 2003.
View | DOI
 

2003 | Book Review | IST-REx-ID: 3139
H. Chen, S. Hippenmeyer, S. Arber, and E. Frank, “Development of the monosynaptic stretch reflex circuit,” Current Opinion in Neurobiology, vol. 13, no. 1. Elsevier, pp. 96–102, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3150
D. E. Siekhaus and D. Drubin, “Spontaneous receptor-independent heterotrimeric G-protein signalling in an RGS mutant,” Nature Cell Biology, vol. 5, no. 3. Nature Publishing Group, pp. 231–235, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3151
L. Rayburn 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, pp. 227–237, 2003.
View
 

2003 | Conference Paper | IST-REx-ID: 3170
Y. Boykov and V. Kolmogorov, “Computing geodesics and minimal surfaces via graph cuts,” presented at the ICCV: International Conference on Computer Vision, 2003, vol. 1, pp. 26–33.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3171
V. Kolmogorov, R. Zabih, and S. Gortler, “Generalized multi camera scene reconstruction using graph cuts,” presented at the EMMCVPR: Energy Minimization Methods in Computer Vision and Pattern Recognition, 2003, vol. 2683, pp. 501–516.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3174
J. Kim, V. Kolmogorov, and R. Zabih, “Visual correspondence using energy minimization and mutual information,” presented at the ICCV: International Conference on Computer Vision, 2003, vol. 2, pp. 1033–1040.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3209
K. Z. Pietrzak, “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, pp. 757–771, 2003.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3210
U. Maurer and K. Z. Pietrzak, “The security of many round Luby Rackoff pseudo random permutations,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, 2003, vol. 2656, pp. 544–561.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 847
S. Sunyaev, F. Kondrashov, P. Bork, and V. Ramensky, “Impact of selection, mutation rate and genetic drift on human genetic variation,” Human Molecular Genetics, vol. 12, no. 24. Oxford University Press, pp. 3325–3330, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 8519
V. Kaloshin, “The existential Hilbert 16-th problem and an estimate for cyclicity of elementary polycycles,” Inventiones mathematicae, vol. 151, no. 3. Springer Nature, pp. 451–512, 2003.
View | DOI
 

2003 | Thesis | IST-REx-ID: 4416
R. Majumdar, “Symbolic algorithms for verification and control,” University of California, Berkeley, 2003.
View
 

2003 | Thesis | IST-REx-ID: 4425
B. Horowitz, “Giotto: A time-triggered language for embedded programming,” University of California, Berkeley, 2003.
View
 

2003 | Journal Article | IST-REx-ID: 4460
T. A. Henzinger, O. Kupferman, and S. Qadeer, “From pre-historic to post-modern symbolic model checking,” Formal Methods in System Design, vol. 23, no. 3. Springer, pp. 303–327, 2003.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4462
T. A. Henzinger, R. Jhala, and R. Majumdar, “Counterexample-guided control,” presented at the ICALP: Automata, Languages and Programming, 2003, vol. 2719, pp. 886–902.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4463
T. A. Henzinger, R. Jhala, R. Majumdar, and S. Qadeer, “Thread-modular abstraction refinement,” presented at the CAV: Computer Aided Verification, 2003, vol. 2725, pp. 262–274.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4464
T. A. Henzinger, C. Kirsch, and S. Matic, “Schedule-carrying code,” presented at the EMSOFT: Embedded Software , 2003, vol. 2855, pp. 241–256.
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 4465
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Embedded control systems development with Giotto,” in Software-Enabled Control: Information Technology for Dynamical Systems, Wiley-Blackwell, 2003, pp. 123–146.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4466
T. A. Henzinger, O. Kupferman, and R. Majumdar, “On the universal and existential fragments of the mu-calculus,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2003, vol. 2619, pp. 49–64.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4467
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, “Software verification with BLAST,” presented at the SPIN: Model Checking Software, 2003, vol. 2648, pp. 235–239.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4468
T. A. Henzinger, C. Kirsch, M. Sanvido, and W. Pree, “From control models to real-time code using Giotto,” IEEE Control Systems Magazine, vol. 23, no. 1. IEEE, pp. 50–64, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4469
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Giotto: A time-triggered language for embedded programming,” Proceedings of the IEEE, vol. 91, no. 1. IEEE, pp. 84–99, 2003.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4561
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, and M. Stoelinga, “Resource interfaces,” presented at the EMSOFT: Embedded Software , 2003, vol. 2855, pp. 117–133.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4628
L. De Alfaro, T. A. Henzinger, and R. Majumdar, “Discounting the future in systems theory,” presented at the ICALP: Automata, Languages and Programming, 2003, vol. 2719, pp. 1022–1037.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4630
L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “The element of surprise in timed games,” presented at the CONCUR: Concurrency Theory, 2003, vol. 2761, pp. 144–158.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 576
O. Hosten, P. Vignolo, A. Minguzzi, B. Tanatar, and M. Tosi, “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., pp. 2455–2463, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 11121
T. C. Walther et al., “RanGTP mediates nuclear pore complex assembly,” Nature, vol. 424, no. 6949. Springer Nature, pp. 689–694, 2003.
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 11122
T. C. Walther et al., “The conserved Nup107-160 complex is critical for nuclear pore complex assembly,” Cell, vol. 113, no. 2. Elsevier, pp. 195–206, 2003.
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 166 | OA
T. D. Browning 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
P. Holt, D. Morgan, and L. 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, vol. 278, no. 44. American Society for Biochemistry and Molecular Biology, pp. 43114–43120, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 1960
L. A. Sazanov, J. Carroll, P. Holt, L. Toime, and I. 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, vol. 278, no. 21. American Society for Biochemistry and Molecular Biology, pp. 19483–19491, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 6156
C. Rogers et al., “Inhibition of Caenorhabditis elegans social feeding by FMRFamide-related peptide activation of NPR-1,” Nature Neuroscience, vol. 6, no. 11. Springer Nature, pp. 1178–1185, 2003.
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 6157
M. de Bono, “Molecular approaches to aggregation behavior and social attachment,” Journal of Neurobiology, vol. 54, no. 1. Wiley, pp. 78–92, 2003.
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 876
F. Kondrashov and E. 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, pp. 115–119, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 1457 | OA
T. Hausel and M. Thaddeus, “Mirror symmetry, langlands duality, and the Hitchin system,” Inventiones Mathematicae, vol. 153, no. 1. Springer, pp. 197–229, 2003.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 1458 | OA
T. Hausel and M. 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, pp. 303–329, 2003.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 1459 | OA
G. Etesi and T. Hausel, “On Yang-Mills instantons over multi-centered gravitational instantons,” Communications in Mathematical Physics, vol. 235, no. 2. Springer, pp. 275–288, 2003.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 205
T. D. Browning, “Counting rational points on cubic and quartic surfaces,” Acta Arithmetica, vol. 108, no. 3. Instytut Matematyczny, pp. 275–295, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 206
T. D. Browning, “A note on the distribution of rational points on threefolds,” Quarterly Journal of Mathematics, vol. 54, no. 1. Unknown, pp. 33–39, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 207
T. D. Browning, “Sums of four biquadrates,” Mathematical Proceedings of the Cambridge Philosophical Society, vol. 134, no. 3. Cambridge University Press, pp. 385–395, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 208
T. D. Browning, “Counting rational points on diagonal quadratic surfaces,” Quarterly Journal of Mathematics, vol. 54, no. 1. Oxford University Press, pp. 11–31, 2003.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2337 | OA
É. Lieb and R. Seiringer, “Bose-Einstein condensation of dilute gases in traps ,” presented at the Differential Equations and Mathematical Physics, 2003, vol. 327, pp. 239–250.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 2354 | OA
R. Seiringer, “Ground state asymptotics of a dilute, rotating gas,” Journal of Physics A: Mathematical and Theoretical, vol. 36, no. 37. IOP Publishing Ltd., pp. 9755–9778, 2003.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 2357 | OA
É. Lieb, R. Seiringer, and J. Yngvason, “Poincaré inequalities in punctured domains,” Annals of Mathematics, vol. 158, no. 3. Princeton University Press, pp. 1067–1080, 2003.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 2358 | OA
É. Lieb, R. Seiringer, and J. Yngvason, “One-dimensional Bosons in three-dimensional traps,” Physical Review Letters, vol. 91, no. 15. American Physical Society, pp. 1504011–1504014, 2003.
View | DOI | Download (ext.)
 

Filters and Search Terms

year=2003

Search

Filter Publications