en
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.
131 Publications
2005 | Journal Article | IST-REx-ID: 1298
In vivo performance of genetically encoded indicators of neural activity in flies
D. Reiff, A. Ihring, G. Guerrero, E. Isacoff, M.A. Jösch, J. Nakai, A. Borst, Journal of Neuroscience 25 (2005) 4766–4778.
View
| DOI
D. Reiff, A. Ihring, G. Guerrero, E. Isacoff, M.A. Jösch, J. Nakai, A. Borst, Journal of Neuroscience 25 (2005) 4766–4778.
2005 | Journal Article | IST-REx-ID: 1743
Periodic pillar structures by Si etching of multilayer GeSi/Si islands
Z. Zhong, G. Katsaros, M. Stoffel, G. Costantini, K. Kern, O. Schmidt, N. Jin Phillipp, G. Bauer, Applied Physics Letters 87 (2005) 1–3.
View
| DOI
Z. Zhong, G. Katsaros, M. Stoffel, G. Costantini, K. Kern, O. Schmidt, N. Jin Phillipp, G. Bauer, Applied Physics Letters 87 (2005) 1–3.
2005 | Journal Article | IST-REx-ID: 2652
Neurogliaform neurons form a novel inhibitory network in the hippocampal CA1 area
C. Price, B. Cauli, E. Kovács, Á. Kulik, B. Lambolez, R. Shigemoto, M. Capogna, Journal of Neuroscience 25 (2005) 6775–6786.
View
| DOI
C. Price, B. Cauli, E. Kovács, Á. Kulik, B. Lambolez, R. Shigemoto, M. Capogna, Journal of Neuroscience 25 (2005) 6775–6786.
2005 | Journal Article | IST-REx-ID: 2455
The PIN auxin efflux facilitator network controls growth and patterning in Arabidopsis roots
I. Billou, J. Xu, M. Wildwater, V. Willemsen, I. Paponov, J. Friml, R. Heldstra, M. Aida, K. Palme, B. Scheres, Nature 433 (2005) 39–44.
View
| DOI
I. Billou, J. Xu, M. Wildwater, V. Willemsen, I. Paponov, J. Friml, R. Heldstra, M. Aida, K. Palme, B. Scheres, Nature 433 (2005) 39–44.
2005 | Book | IST-REx-ID: 2335 
The mathematics of the Bose gas and its condensation
É. Lieb, R. Seiringer, J. Solovej, J. Yngvason, The Mathematics of the Bose Gas and Its Condensation, Birkhäuser, 2005.
View
| Download (ext.)
É. Lieb, R. Seiringer, J. Solovej, J. Yngvason, The Mathematics of the Bose Gas and Its Condensation, Birkhäuser, 2005.
2005 | Journal Article | IST-REx-ID: 2359
Justification of c-number substitutions in bosonic hamiltonians
É. Lieb, R. Seiringer, J. Yngvason, Physical Review Letters 94 (2005).
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, J. Yngvason, Physical Review Letters 94 (2005).
2005 | Journal Article | IST-REx-ID: 2361
Stronger subadditivity of entropy
É. Lieb, R. Seiringer, Physical Review A - Atomic, Molecular, and Optical Physics 71 (2005).
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, Physical Review A - Atomic, Molecular, and Optical Physics 71 (2005).
2005 | Journal Article | IST-REx-ID: 2789
Transition to turbulence in pipe flow
B. Hof, Fluid Mechanics and Its Applications 77 (2005) 221–231.
View
| DOI
B. Hof, Fluid Mechanics and Its Applications 77 (2005) 221–231.
2005 | Journal Article | IST-REx-ID: 3004
Maintenance of embryonic auxin distribution for apical basal patterning by PIN FORMED dependent auxin transport in Arabidopsis
D. Weijers, M. Sauer, O. Meurette, J. Friml, K. Ljung, G. Sandberg, P. Hooykaas, R. Offringa, Plant Cell 17 (2005) 2517–2526.
View
| DOI
D. Weijers, M. Sauer, O. Meurette, J. Friml, K. Ljung, G. Sandberg, P. Hooykaas, R. Offringa, Plant Cell 17 (2005) 2517–2526.
2005 | Conference Paper | IST-REx-ID: 3181
On the optimality of tree reweighted max product message passing
V. Kolmogorov, M. Wainwright, in:, AUAI Press, 2005, pp. 316–323.
View
| Download (ext.)
V. Kolmogorov, M. Wainwright, in:, AUAI Press, 2005, pp. 316–323.
2005 | Conference Paper | IST-REx-ID: 3213
Composition does not imply adaptive security
K.Z. Pietrzak, in:, Springer, 2005, pp. 55–65.
View
| DOI
K.Z. Pietrzak, in:, Springer, 2005, pp. 55–65.
2005 | Journal Article | IST-REx-ID: 3143
A developmental switch in the response of DRG neurons to ETS transcription factor signaling
S. Hippenmeyer, E. Vrieseling, M. Sigrist, T. Portmann, C. Laengle, D. Ladle, S. Arber, PLoS Biology 3 (2005) 0878–0890.
View
| DOI
S. Hippenmeyer, E. Vrieseling, M. Sigrist, T. Portmann, C. Laengle, D. Ladle, S. Arber, PLoS Biology 3 (2005) 0878–0890.
2005 | Journal Article | IST-REx-ID: 3720
P2Y1 receptors inhibit both strength and plasticity of glutamatergic synaptic neurotransmission in the rat prefrontal cortex.
S. Guzman, Z. Gerevich, J. Hengstler, P. Illes, W. Kleemann, Synapse 57 (2005) 235–238.
View
| DOI
S. Guzman, Z. Gerevich, J. Hengstler, P. Illes, W. Kleemann, Synapse 57 (2005) 235–238.
2005 | Journal Article | IST-REx-ID: 3763
Controllable motion synthesis in a gaseous medium
L. Shi, Y. Yu, C. Wojtan, S. Chenney, The Visual Computer 21 (2005) 474–487.
View
| DOI
L. Shi, Y. Yu, C. Wojtan, S. Chenney, The Visual Computer 21 (2005) 474–487.
2005 | Patent | IST-REx-ID: 3509
Methods, apparatus and computer program products for modeling three-dimensional colored objects
S. Williams, H. Edelsbrunner, P. Fu, (2005).
View
| DOI
| Download (ext.)
S. Williams, H. Edelsbrunner, P. Fu, (2005).
2005 | Journal Article | IST-REx-ID: 3612
Speciation and gene flow between snails of opposing chirality
A. Davison, S. Chiba, N.H. Barton, B. Clarke, PLoS Biology 3 (2005).
View
| DOI
A. Davison, S. Chiba, N.H. Barton, B. Clarke, PLoS Biology 3 (2005).
2005 | Journal Article | IST-REx-ID: 3915
Primary sex ratio adjustment by ant queens in response to local mate competition
L. De Menten, S. Cremer, J. Heinze, S. Aron, Animal Behaviour 69 (2005) 1031–1035.
View
| DOI
L. De Menten, S. Cremer, J. Heinze, S. Aron, Animal Behaviour 69 (2005) 1031–1035.
2005 | Conference Paper | IST-REx-ID: 4367
Boolean Heaps
A. Podelski, T. Wies, in:, Springer, 2005, pp. 267–282.
View
| DOI
A. Podelski, T. Wies, in:, Springer, 2005, pp. 267–282.
2005 | Conference Paper | IST-REx-ID: 4418
A programmable microkernel for real-time systems
C. Kirsch, M. Sanvido, T.A. Henzinger, in:, ACM, 2005, pp. 35–45.
View
| DOI
C. Kirsch, M. Sanvido, T.A. Henzinger, in:, ACM, 2005, pp. 35–45.
2005 | Conference Paper | IST-REx-ID: 4456
Permissive interfaces
T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2005, pp. 31–40.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2005, pp. 31–40.
2005 | Conference Paper | IST-REx-ID: 4557
Counterexample-guided planning
K. Chatterjee, T.A. Henzinger, R. Jhala, R. Majumdar, in:, AUAI Press, 2005, pp. 104–111.
View
| Download (ext.)
K. Chatterjee, T.A. Henzinger, R. Jhala, R. Majumdar, in:, AUAI Press, 2005, pp. 104–111.
2005 | Conference Paper | IST-REx-ID: 4576
Web service interfaces
D. Beyer, A. Chakrabarti, T.A. Henzinger, in:, ACM, 2005, pp. 148–159.
View
| DOI
D. Beyer, A. Chakrabarti, T.A. Henzinger, in:, ACM, 2005, pp. 148–159.
2005 | Journal Article | IST-REx-ID: 6154
Experience-dependent modulation of C. elegans behavior by ambient oxygen
B.H.H. Cheung, M. Cohen, C. Rogers, O. Albayram, M. de Bono, Current Biology 15 (2005) 905–917.
View
| DOI
| PubMed | Europe PMC
B.H.H. Cheung, M. Cohen, C. Rogers, O. Albayram, M. de Bono, Current Biology 15 (2005) 905–917.
2005 | Journal Article | IST-REx-ID: 1744
Non linear transmission effects in duobinary and dicode optical systems
G. Katsaros, I. Darwazeh, P. Lane, IEE Proceedings - Optoelectronics 152 (2005) 344–352.
View
| DOI
G. Katsaros, I. Darwazeh, P. Lane, IEE Proceedings - Optoelectronics 152 (2005) 344–352.
2005 | Journal Article | IST-REx-ID: 214
Plane curves in boxes and equal sums of two powers
T.D. Browning, R. Heath Brown, Mathematische Zeitschrift 251 (2005) 233–247.
View
| DOI
| Download (ext.)
T.D. Browning, R. Heath Brown, Mathematische Zeitschrift 251 (2005) 233–247.
2005 | Book Chapter | IST-REx-ID: 2336
The quantum-mechanical many-body problem: The Bose gas
É. Lieb, R. Seiringer, J. Solovej, J. Yngvason, in:, M. Benedicks, P. Jones, S. Smirnov, B. Winckler (Eds.), Perspectives in Analysis, Springer, 2005, pp. 97–183.
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, J. Solovej, J. Yngvason, in:, M. Benedicks, P. Jones, S. Smirnov, B. Winckler (Eds.), Perspectives in Analysis, Springer, 2005, pp. 97–183.
2005 | Journal Article | IST-REx-ID: 2362
Ground state energy of the low density Fermi gas
É. Lieb, R. Seiringer, J. Solovej, Physical Review A - Atomic, Molecular, and Optical Physics 71 (2005).
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, J. Solovej, Physical Review A - Atomic, Molecular, and Optical Physics 71 (2005).
2005 | Journal Article | IST-REx-ID: 2653
Differential distribution of release-related proteins in the hippocampal CA3 area as revealed by freeze-fracture replica labeling
A. Hagiwara, Y. Fukazawa, M. Deguchi Tawarada, T. Ohtsuka, R. Shigemoto, Journal of Comparative Neurology 489 (2005) 195–216.
View
| DOI
A. Hagiwara, Y. Fukazawa, M. Deguchi Tawarada, T. Ohtsuka, R. Shigemoto, Journal of Comparative Neurology 489 (2005) 195–216.
2005 | Journal Article | IST-REx-ID: 2658
Down-regulation of metabotropic glutamate receptor 1α in globus pallidus and substantia nigra of parkinsonian monkeys
K. Kaneda, Y. Tachibana, M. Imanishi, H. Kita, R. Shigemoto, A. Nambu, M. Takada, European Journal of Neuroscience 22 (2005) 3241–3254.
View
| DOI
K. Kaneda, Y. Tachibana, M. Imanishi, H. Kita, R. Shigemoto, A. Nambu, M. Takada, European Journal of Neuroscience 22 (2005) 3241–3254.
2005 | Book Chapter | IST-REx-ID: 2463
Reproduction, plants
J. Dubová, J. Hejátko, J. Friml, in:, R. Meyers (Ed.), Encyclopedia of Molecular Cell Biology and Molecular Medicine, Wiley-Blackwell, 2005, pp. 249–295.
View
| DOI
J. Dubová, J. Hejátko, J. Friml, in:, R. Meyers (Ed.), Encyclopedia of Molecular Cell Biology and Molecular Medicine, Wiley-Blackwell, 2005, pp. 249–295.
2005 | Journal Article | IST-REx-ID: 2867
Developmental specificity of auxin response by pairs of ARF and Aux/IAA transcriptional regulators
D. Weijers, E. Benková, K. Jäger, A. Schlereth, T. Hamann, M. Kientz, J. Wilmoth, J. Reed, G. Jürgens, EMBO Journal 24 (2005) 1874–1885.
View
| DOI
| Download (ext.)
D. Weijers, E. Benková, K. Jäger, A. Schlereth, T. Hamann, M. Kientz, J. Wilmoth, J. Reed, G. Jürgens, EMBO Journal 24 (2005) 1874–1885.
2005 | Journal Article | IST-REx-ID: 3000
Cell polarity, auxin transport and cytoskeleton mediated division planes: Who comes first?
P. Dhonukshe, J. Kleine Vehn, J. Friml, Protoplasma 226 (2005) 67–73.
View
| DOI
P. Dhonukshe, J. Kleine Vehn, J. Friml, Protoplasma 226 (2005) 67–73.
2005 | Conference Paper | IST-REx-ID: 3175
Digital tapestry
C. Rother, S. Kumar, V. Kolmogorov, A. Blake, in:, IEEE, 2005, pp. 589–596.
View
| DOI
| Download (ext.)
C. Rother, S. Kumar, V. Kolmogorov, A. Blake, in:, IEEE, 2005, pp. 589–596.
2005 | Conference Paper | IST-REx-ID: 3182
What metrics can be approximated by geo cuts or global optimization of length area and flux
V. Kolmogorov, Y. Boykov, in:, IEEE, 2005, pp. 564–571.
View
| DOI
V. Kolmogorov, Y. Boykov, in:, IEEE, 2005, pp. 564–571.
2005 | Journal Article | IST-REx-ID: 3721
Molecular force modulation spectroscopy revealing the dynamic response of single bacteriorhodopsins
H.L. Janovjak, D. Mueller, A. Humphris, Biophysical Journal 88 (2005) 1423–1431.
View
| DOI
| Download (ext.)
H.L. Janovjak, D. Mueller, A. Humphris, Biophysical Journal 88 (2005) 1423–1431.
2005 | Journal Article | IST-REx-ID: 3808
Presynaptic action potential amplification by voltage-gated Na+ channels in hippocampal mossy fiber boutons
D. Engel, P.M. Jonas, Neuron 45 (2005) 405–17.
View
| DOI
D. Engel, P.M. Jonas, Neuron 45 (2005) 405–17.
2005 | Journal Article | IST-REx-ID: 3416
Complex stability of single proteins explored by forced unfolding experiments
H.L. Janovjak, T. Sapra, D. Mueller, Biophysical Journal 88 (2005) 37–39.
View
| DOI
| Download (ext.)
H.L. Janovjak, T. Sapra, D. Mueller, Biophysical Journal 88 (2005) 37–39.
2005 | Journal Article | IST-REx-ID: 3613
Genetic variation for total fitness in Drosophila melanogaster: Complex yet replicable patterns
M. Gardner, K. Fowler, N.H. Barton, L. Patridge, Genetics 169 (2005) 1553–1571.
View
| DOI
M. Gardner, K. Fowler, N.H. Barton, L. Patridge, Genetics 169 (2005) 1553–1571.
2005 | Conference Paper | IST-REx-ID: 3896
Complexity of compositional model checking of computation tree logic on simple structures
K. Chatterjee, P. Dasgupta, P. Chakrabarti, in:, Springer, 2005, pp. 89–102.
View
| DOI
K. Chatterjee, P. Dasgupta, P. Chakrabarti, in:, Springer, 2005, pp. 89–102.
2005 | Journal Article | IST-REx-ID: 3916
Sexual cooperation: mating increases longevity in ant queens
A. Schrempf, J. Heinze, S. Cremer, Current Biology 15 (2005) 267–270.
View
| DOI
A. Schrempf, J. Heinze, S. Cremer, Current Biology 15 (2005) 267–270.
2005 | Conference Paper | IST-REx-ID: 4457
Composable code generation for distributed Giotto
T.A. Henzinger, C. Kirsch, S. Matic, in:, ACM, 2005, pp. 21–30.
View
| DOI
T.A. Henzinger, C. Kirsch, S. Matic, in:, ACM, 2005, pp. 21–30.
2005 | Conference Paper | IST-REx-ID: 4541
Semiperfect-information games
K. Chatterjee, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 1–18.
View
| DOI
K. Chatterjee, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 1–18.
2005 | Conference Paper | IST-REx-ID: 4553
The complexity of stochastic Rabin and Streett games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 878–890.
View
| DOI
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 878–890.
2005 | Conference Paper | IST-REx-ID: 4560
Verifying quantitative properties using bound functions
A. Chakrabarti, K. Chatterjee, T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Springer, 2005, pp. 50–64.
View
| DOI
A. Chakrabarti, K. Chatterjee, T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Springer, 2005, pp. 50–64.
2005 | Journal Article | IST-REx-ID: 877
The analysis of monomer sequences in protein and tRNA and the manifestation of the compensation of pathogenic deviations in their evolution
F. Kondrashov, Biofizika 50 (2005) 389–395.
View
| Download (ext.)
F. Kondrashov, Biofizika 50 (2005) 389–395.
2005 | Journal Article | IST-REx-ID: 1447
Quaternionic geometry of matroids
T. Hausel, Open Mathematics 3 (2005) 26–38.
View
| DOI
| Download (ext.)
T. Hausel, Open Mathematics 3 (2005) 26–38.
2005 | Journal Article | IST-REx-ID: 1740
Pyramids and domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) systems
G. Costantini, A. Rastelli, C. Manzano, P. Acosta Diaz, G. Katsaros, R. Songmuang, O. Schmidt, H. Von Känel, K. Kern, Journal of Crystal Growth 278 (2005) 38–45.
View
| DOI
G. Costantini, A. Rastelli, C. Manzano, P. Acosta Diaz, G. Katsaros, R. Songmuang, O. Schmidt, H. Von Känel, K. Kern, Journal of Crystal Growth 278 (2005) 38–45.
2005 | Journal Article | IST-REx-ID: 1795
Assessment of HIV-1 entry inhibitors by MLV/HIV-1 pseudotyped vectors
S. Siegert, S. Thaler, R. Wagner, B. Schnierle, AIDS Research and Therapy 2 (2005).
View
| DOI
S. Siegert, S. Thaler, R. Wagner, B. Schnierle, AIDS Research and Therapy 2 (2005).
2005 | Book | IST-REx-ID: 210
Analytic methods for diophantine equations and diophantine inequalities
H. Davenport, T.D. Browning, Analytic Methods for Diophantine Equations and Diophantine Inequalities, Cambridge University Press, 2005.
View
| DOI
H. Davenport, T.D. Browning, Analytic Methods for Diophantine Equations and Diophantine Inequalities, Cambridge University Press, 2005.
2005 | Book Chapter | IST-REx-ID: 2464
Auxin as an intercellular signal
J. Friml, J. Wiśniewska, in:, A. Fleming (Ed.), Intercellular Communication in Plants, Wiley-Blackwell, 2005.
View
J. Friml, J. Wiśniewska, in:, A. Fleming (Ed.), Intercellular Communication in Plants, Wiley-Blackwell, 2005.