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.

6112 Publications


2005 | Journal Article | IST-REx-ID: 2656
Feng Y, Li Y, Wang W, Wu S, Chen T, Shigemoto R, Mizuno N. 2005. Morphological evidence for GABA/glycine-cocontaining terminals in synaptic contact with neurokinin-1 receptor-expressing neurons in the sacral dorsal commissural nucleus of the rat. Neuroscience Letters. 388(3), 144–148.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2658
Kaneda K, Tachibana Y, Imanishi M, Kita H, Shigemoto R, Nambu A, Takada M. 2005. Down-regulation of metabotropic glutamate receptor 1α in globus pallidus and substantia nigra of parkinsonian monkeys. European Journal of Neuroscience. 22(12), 3241–3254.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2455
Billou I, Xu J, Wildwater M, Willemsen V, Paponov I, Friml J, Heldstra R, Aida M, Palme K, Scheres B. 2005. The PIN auxin efflux facilitator network controls growth and patterning in Arabidopsis roots. Nature. 433(7021), 39–44.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 2463
Dubová J, Hejátko J, Friml J. 2005.Reproduction, plants. In: Encyclopedia of Molecular Cell Biology and Molecular Medicine. vol. 12, 249–295.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 2464
Friml J, Wiśniewska J. 2005.Auxin as an intercellular signal. In: Intercellular Communication in Plants. Annual Plant Reviews, vol. 16.
View
 

2005 | Journal Article | IST-REx-ID: 2743
Erdös L, Hasler D, Solovej J. 2005. Existence of the D0-D4 bound state: A detailed proof. Annales Henri Poincare. 6(2), 247–267.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2744
Eng D, Erdös L. 2005. The linear Boltzmann equation as the low density limit of a random Schrödinger equation. Reviews in Mathematical Physics. 17(6), 669–743.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2788
Hof B, Van Doorne C, Westerweel J, Nieuwstadt F. 2005. Turbulence regeneration in pipe flow at moderate reynolds numbers. Physical Review Letters. 95(21).
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2789
Hof B. 2005. Transition to turbulence in pipe flow. Fluid Mechanics and its Applications. 77, 221–231.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2790
Hof B, Juel A, Mullin T. 2005. Magnetohydrodynamic damping of oscillations in low-Prandtl-number convection. Journal of Fluid Mechanics. 545, 193–201.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2867 | OA
Weijers D, Benková E, Jäger K, Schlereth A, Hamann T, Kientz M, Wilmoth J, Reed J, Jürgens G. 2005. Developmental specificity of auxin response by pairs of ARF and Aux/IAA transcriptional regulators. EMBO Journal. 24(10), 1874–1885.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2895
Carneiro J, Paixao T, Milutinovic D, Sousa J, Leon K, Gardner R, Faro J. 2005. Immunological self tolerance: Lessons from mathematical modeling. Journal of Computational and Applied Mathematics. 184(1), 77–100.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3000
Dhonukshe P, Kleine Vehn J, Friml J. 2005. Cell polarity, auxin transport and cytoskeleton mediated division planes: Who comes first? Protoplasma. 226(1–2), 67–73.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3001
Paciorek T, Zažímalová E, Ruthardt N, Petrášek J, Stierhof Y, Kleine Vehn J, Morris D, Emans N, Jürgens G, Geldner N, Friml J. 2005. Auxin inhibits endocytosis and promotes its own efflux from cells. Nature. 435(7046), 1251–1256.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3003
Vieten A, Vanneste S, Wiśniewska J, Benková E, Benjamins R, Beeckman T, Luschnig C, Friml J. 2005. Functional redundancy of PIN proteins is accompanied by auxin-dependent cross-regulation of PIN expression. Development. 132(20), 4521–4531.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3004
Weijers D, Sauer M, Meurette O, Friml J, Ljung K, Sandberg G, Hooykaas P, Offringa R. 2005. Maintenance of embryonic auxin distribution for apical basal patterning by PIN FORMED dependent auxin transport in Arabidopsis. Plant Cell. 17(9), 2517–2526.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3141
Rodal A, Sokolova O, Robins D, Daugherty K, Hippenmeyer S, Riezman H, Grigorieff N, Goode B. 2005. Conformational changes in the Arp2 3 complex leading to actin nucleation. Nature Structural and Molecular Biology. 12(1), 26–31.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3143
Hippenmeyer S, Vrieseling E, Sigrist M, Portmann T, Laengle C, Ladle D, Arber S. 2005. A developmental switch in the response of DRG neurons to ETS transcription factor signaling. PLoS Biology. 3(5), 0878–0890.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3175
Rother C, Kumar S, Kolmogorov V, Blake A. 2005. Digital tapestry. CVPR: Computer Vision and Pattern Recognition vol. 1, 589–596.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3176
Kolmogorov V, Criminisi A, Blake A, Cross G, Rother C. 2005. Bi-layer segmentation of binocular stereo video. CVPR: Computer Vision and Pattern Recognition, 1186–1186.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3181
Kolmogorov V, Wainwright M. 2005. On the optimality of tree reweighted max product message passing. UAI: Uncertainty in Artificial Intelligence, 316–323.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3182
Kolmogorov V, Boykov Y. 2005. What metrics can be approximated by geo cuts or global optimization of length area and flux. ICCV: International Conference on Computer Vision vol. 1, 564–571.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3183
Kolmogorov V, Criminisi A, Blake A, Cross G, Rother C. 2005. Bi-layer segmentation of binocular stereo video. CVPR: Computer Vision and Pattern Recognition vol. 2, 407–414.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3211
Bellare M, Pietrzak KZ, Rogaway P. 2005. Improved security analyses for CBC MACs. CRYPTO: International Cryptology Conference, LNCS, vol. 3621, 527–545.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3212
Dodis Y, Oliveira R, Pietrzak KZ. 2005. On the generic insecurity of the full domain hash. CRYPTO: International Cryptology Conference, LNCS, vol. 3621, 449–466.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3213
Pietrzak KZ. 2005. Composition does not imply adaptive security. CRYPTO: International Cryptology Conference, LNCS, vol. 3621, 55–65.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3416 | OA
Janovjak HL, Sapra T, Mueller D. 2005. Complex stability of single proteins explored by forced unfolding experiments. Biophysical Journal. 88(5), 37–39.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3417
Kuhn M, Janovjak HL, Hubain M, Mueller D. 2005. Automated alignment and pattern recognition of single-molecule force spectroscopy data. Journal of Microscopy. 218(2), 125–132.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3418
Janovjak HL, Struckmeier J, Mueller D. 2005. Hydrodynamic effects in fast AFM single molecule force measurements. European Biophysics Journal. 34(1), 91–96.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3426 | OA
Bollenbach MT, Kruse K, Pantazis P, González Gaitán M, Jülicher F. 2005. Robust formation of morphogen gradients. Physical Review Letters. 94(1).
View | DOI | Download Preprint (ext.) | arXiv
 

2005 | Book Chapter | IST-REx-ID: 3433
Bollback JP. 2005.Posterior mapping and posterior predictive distributions. In: Statistical methods in Molecular Evolution. , 439–462.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3443
Klausberger T, Marton L, O’Neill J, Huck J, Dalezios Y, Fuentealba P, Suen W, Papp E, Kaneko T, Watanabe M, Csicsvari JL, Somogyi P. 2005. Complementary roles of cholecystokinin- and parvalbumin-expressing GABAergic neurons in hippocampal network oscillations. Journal of Neuroscience. 25(42), 9782–9793.
View | DOI
 

2005 | Patent | IST-REx-ID: 3509
Williams S, Edelsbrunner H, Fu P. 2005. Methods, apparatus and computer program products for modeling three-dimensional colored objects.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3557
Edelsbrunner H. 2005. Surface tiling with differential topology. SGP: Eurographics Symposium on Geometry processing, 9–11.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3558
Attali D, Cohen Steiner D, Edelsbrunner H. 2005. Extraction and simplification of iso-surfaces in tandem. SGP: Eurographics Symposium on Geometry processing, 139–148.
View | Download (ext.)
 

2005 | Book Chapter | IST-REx-ID: 3576
Edelsbrunner H, Koehl P. 2005.The geometry of biomolecular solvation. In: Combinatorial and Computational Geometry. Mathematical Sciences Research Institute Publications, vol. 52, 243–275.
View | Download (ext.)
 

2005 | Book Chapter | IST-REx-ID: 3588
Castanon Ortega I, Heisenberg C-PJ. 2005.Cell migration during zebrafish gastrulation. In: Cell Migration in Development and Disease. , 71–105.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 3589
Köppen M, Heisenberg C-PJ. 2005.Cleavage and gastrulation in zebrafish embryos. In: Encyclopedia of Life Sciences. .
View | DOI
 

2005 | Book Review | IST-REx-ID: 3590
Castanon Ortega I, Heisenberg C-PJ. 2005. A stern view of gastrulation. Nature Cell Biology. 7(1), 19–19.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4541
Chatterjee K, Henzinger TA. 2005. Semiperfect-information games. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LNCS, vol. 3821, 1–18.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4553
Chatterjee K, De Alfaro L, Henzinger TA. 2005. The complexity of stochastic Rabin and Streett games. ICALP: Automata, Languages and Programming, LNCS, vol. 3580, 878–890.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4554
Chatterjee K, Henzinger TA, Jurdziński M. 2005. Mean-payoff parity games. LICS: Logic in Computer Science, 178–187.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4557
Chatterjee K, Henzinger TA, Jhala R, Majumdar R. 2005. Counterexample-guided planning. UAI: Uncertainty in Artificial Intelligence, 104–111.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4560
Chakrabarti A, Chatterjee K, Henzinger TA, Kupferman O, Majumdar R. 2005. Verifying quantitative properties using bound functions. CHARME: Correct Hardware Design and Verification Methods, LNCS, vol. 3725, 50–64.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4624
De Alfaro L, Henzinger TA. 2005. Interface-based design. Engineering Theories of Software Intensive Systems, NATO Science Series: Mathematics, Physics, and Chemistry, vol. 195, 83–104.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4625
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2005. Model checking discounted temporal properties. Theoretical Computer Science. 345(1), 139–170.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4576
Beyer D, Chakrabarti A, Henzinger TA. 2005. Web service interfaces. WWW: World Wide Web Conference, 148–159.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4579
Beyer D, Henzinger TA, Jhala R, Majumdar R. 2005. Checking memory safety with BLAST. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 3442, 2–18.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3720
Guzmán J, Gerevich Z, Hengstler J, Illes P, Kleemann W. 2005. P2Y1 receptors inhibit both strength and plasticity of glutamatergic synaptic neurotransmission in the rat prefrontal cortex. Synapse. 57(4), 235–238.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3721 | OA
Janovjak HL, Mueller D, Humphris A. 2005. Molecular force modulation spectroscopy revealing the dynamic response of single bacteriorhodopsins. Biophysical Journal. 88(2), 1423–1431.
View | DOI | Download (ext.)
 

Search

Filter Publications