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.

134 Publications


2004 | Published | Journal Article | IST-REx-ID: 2645
S. Chan, R. Shigemoto, J. Mercer, and J. Surmeier, “HCN2 and HCN1 channels govern the regularity of autonomous pacemaking and synaptic resetting in globus pallidus neurons,” Journal of Neuroscience, vol. 24, no. 44. Society for Neuroscience, pp. 9921–9932, 2004.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 2646
G. López Bendito, R. Shigemoto, Á. Kulik, I. Vida, A. Fairén, and R. Luján, “ Distribution of metabotropic GABA receptor subunits GABAB1a/b and GABAB2 in the rat hippocampus during prenatal and postnatal development,” Hippocampus, vol. 14, no. 7. Wiley-Blackwell, pp. 836–848, 2004.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 2706
L. Erdös and J. Solovej, “Magnetic Lieb-Thirring inequalities with optimal dependence on the field strength,” Journal of Statistical Physics, vol. 116, no. 1–4. Springer, pp. 475–506, 2004.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 2707
L. Erdös, M. Salmhofer, and H. Yau, “On the quantum Boltzmann equation,” Journal of Statistical Physics, vol. 116, no. 1–4. Springer, pp. 367–380, 2004.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 2741
L. Erdös and J. Solovej, “Uniform Lieb-Thirring inequality for the three-dimensional Pauli operator with a strong non-homogeneous magnetic field,” Annales Henri Poincare, vol. 5, no. 4. Birkhäuser, pp. 671–741, 2004.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 2742
A. Elgart, L. Erdös, B. Schlein, and H. Yau, “Nonlinear Hartree equation as the mean field limit of weakly coupled fermions,” Journal de Mathématiques Pures et Appliquées, vol. 83, no. 10. Elsevier, pp. 1241–1273, 2004.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 2786
B. Hof et al., “Experimental observation of nonlinear traveling waves in turbulent pipe flow,” Science, vol. 305, no. 5690. American Association for the Advancement of Science, pp. 1594–1598, 2004.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 2787
B. Hof, A. Juel, L. Zhao, D. Henry, H. Ben Hadid, and T. Mullin, “On the onset of oscillatory convection in molten gallium,” Journal of Fluid Mechanics, vol. 515. Cambridge University Press, pp. 391–413, 2004.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 2997
J. Friml et al., “A PINOID-dependent binary switch in apical-basal PIN polar targeting directs auxin efflux,” Science, vol. 306, no. 5697. American Association for the Advancement of Science, pp. 862–865, 2004.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 2998
M. Duroux, A. Houben, K. Růžička, J. Friml, and K. Grasser, “The chromatin remodelling complex FACT associates with actively transcribed regions of the Arabidopsis genome,” Plant Journal, vol. 40, no. 5. Wiley-Blackwell, pp. 660–671, 2004.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 2999
M. Sauer and J. Friml, “In vitro culture of Arabidopsis embryos within their ovules,” Plant Journal, vol. 40, no. 5. Wiley-Blackwell, pp. 835–843, 2004.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 4224
K. Kruse, P. Pantazis, M. T. Bollenbach, F. Julicher, and M. Gonzalez Gaitan, “Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion model,” Development, vol. 131, no. 19. Company of Biologists, pp. 4843–4856, 2004.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 4253
N. H. Barton, A. Etheridge, and A. Sturm, “Coalescence in a Random Background,” Annals of Applied Probability, vol. 14, no. 2. Institute of Mathematical Statistics, pp. 754–785, 2004.
View | Download (ext.)
 

2004 | Published | Thesis | IST-REx-ID: 4424
R. Jhala, “Program verification by lazy abstraction,” University of California, Berkeley, 2004.
View
 

2004 | Published | Conference Paper | IST-REx-ID: 4445
T. A. Henzinger and C. Kirsch, “A typed assembly language for real-time programs,” presented at the EMSOFT: Embedded Software , 2004, pp. 104–113.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4458
T. A. Henzinger, R. Jhala, R. Majumdar, and K. Mcmillan, “Abstractions from proofs,” presented at the POPL: Principles of Programming Languages, 2004, pp. 232–244.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4459
T. A. Henzinger, R. Jhala, and R. Majumdar, “Race checking by context inference,” presented at the PLDI: Programming Languages Design and Implementation, 2004, pp. 1–13.
View | DOI
 

2004 | Published | Book Chapter | IST-REx-ID: 4461
T. A. Henzinger, R. Jhala, R. Majumdar, and M. Sanvido, “Extreme model checking,” in Verification: Theory and Practice, vol. 2772, Springer, 2004, pp. 332–358.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4525
A. Ghosal, T. A. Henzinger, C. Kirsch, and M. Sanvido, “Event-driven programming with logical execution times,” presented at the HSCC: Hybrid Systems - Computation and Control, 2004, vol. 2993, pp. 167–170.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4555
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Trading memory for randomness,” presented at the QEST: Quantitative Evaluation of Systems, 2004, pp. 206–217.
View | DOI
 

Filters and Search Terms

year=2004

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed