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
Reiff D, Ihring A, Guerrero G, Isacoff E, Jösch MA, Nakai J, Borst A. 2005. In vivo performance of genetically encoded indicators of neural activity in flies. Journal of Neuroscience. 25(19), 4766–4778.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1743
Zhong Z, Katsaros G, Stoffel M, Costantini G, Kern K, Schmidt O, Jin Phillipp N, Bauer G. 2005. Periodic pillar structures by Si etching of multilayer GeSi/Si islands. Applied Physics Letters. 87(26), 1–3.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2652
Price C, Cauli B, Kovács E, Kulik Á, Lambolez B, Shigemoto R, Capogna M. 2005. Neurogliaform neurons form a novel inhibitory network in the hippocampal CA1 area. Journal of Neuroscience. 25(29), 6775–6786.
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 | IST-REx-ID: 2335   OA
Lieb É, Seiringer R, Solovej J, Yngvason J. 2005. The mathematics of the Bose gas and its condensation, Birkhäuser,p.
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2359   OA
Lieb É, Seiringer R, Yngvason J. 2005. Justification of c-number substitutions in bosonic hamiltonians. Physical Review Letters. 94(8).
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2361   OA
Lieb É, Seiringer R. 2005. Stronger subadditivity of entropy. Physical Review A - Atomic, Molecular, and Optical Physics. 71(6).
View | DOI | Download (ext.)
 

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: 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 | 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: 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: 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 | Journal Article | IST-REx-ID: 3720
Guzman S, 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: 3763
Shi L, Yu Y, Wojtan C, Chenney S. 2005. Controllable motion synthesis in a gaseous medium. The Visual Computer. 21(7), 474–487.
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 | Journal Article | IST-REx-ID: 3612
Davison A, Chiba S, Barton NH, Clarke B. 2005. Speciation and gene flow between snails of opposing chirality. PLoS Biology. 3(9).
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3915
De Menten L, Cremer S, Heinze J, Aron S. 2005. Primary sex ratio adjustment by ant queens in response to local mate competition. Animal Behaviour. 69(5), 1031–1035.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4367
Podelski A, Wies T. 2005. Boolean Heaps. SAS: Static Analysis Symposium, LNCS 3672, 267–282.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4418
Kirsch C, Sanvido M, Henzinger TA. 2005. A programmable microkernel for real-time systems. VEE: Virtual Execution Environments 35–45.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4456
Henzinger TA, Jhala R, Majumdar R. 2005. Permissive interfaces. FSE: Foundations of Software Engineering 31–40.
View | DOI
 

Filters and Search Terms

year=2005

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed