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.

246 Publications


2010 | Journal Article | IST-REx-ID: 1046
Interference of interacting matter waves
M. Gustavsson, E. Haller, M. Mark, J. Danzl, R. Hart, A. Daley, H. Nägerl, New Journal of Physics 12 (2010).
View | DOI
 

2010 | Journal Article | IST-REx-ID: 1301
Processing of horizontal optic flow in three visual interneurons of the Drosophila brain
B. Schnell, M.A. Jösch, F. Förstner, S. Raghu, H. Otsuna, K. Ito, A. Borst, D. Reiff, Journal of Neurophysiology 103 (2010) 1646–1657.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 1774   OA
Control and tomography of a three level superconducting artificial atom
R. Bianchetti, S. Filipp, M. Baur, J.M. Fink, C. Lang, L. Steffen, M. Boissonneault, A. Blais, A. Wallraff, Physical Review Letters 105 (2010).
View | DOI | Download (ext.)
 

2010 | Thesis | IST-REx-ID: 2075
Measurement-based modeling and fabrication of deformable materials for human faces
B. Bickel, Measurement-Based Modeling and Fabrication of Deformable Materials for Human Faces, Unknown, 2010.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 2195   OA
Communications: When diffraction rules the stereodynamics of rotationally inelastic collisions
M. Lemeshko, P. Jambrina, M. De Miranda, B. Friedrich, Journal of Chemical Physics 132 (2010).
View | DOI | Download (ext.)
 

2010 | Book Chapter | IST-REx-ID: 2309
The CLC family of chloride channels and transporters
T. Stauber, G. Novarino, T. Jentsch, in:, Physiology and Pathology of Chloride Transporters and Channels in the Nervous System, Elsevier, 2010, pp. 209–231.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 2311
Role of ClC-5 in renal endocytosis is unique among ClC exchangers and does not require PY-motif-dependent ubiquitylation
G. Rickheit, L. Wartosch, S. Schaffer, S. Stobrawa, G. Novarino, S. Weinert, T. Jentsch, Journal of Biological Chemistry 285 (2010) 17595–17603.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 232   OA
Le problème des diviseurs pour des formes binaires de degré 4
R. De La Bretèche, T. Browning, Journal Fur Die Reine Und Angewandte Mathematik (2010) 1–44.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 2323   OA
Hot topics on cold gases
R. Seiringer, in:, World Scientific Publishing, 2010, pp. 231–245.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2506
Localization of NK1 receptors and roles of substance-P in subepithelial fibroblasts of rat intestinal villi
S. Furuya, K. Furuya, R. Shigemoto, M. Sokabe, Cell and Tissue Research 342 (2010) 243–259.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 2392   OA
Bipolaron and N-polaron binding energies
R. Frank, É. Lieb, R. Seiringer, L. Thomas, Physical Review Letters 104 (2010).
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2873
Nitrate-regulated auxin transport by NRT1.1 defines a mechanism for nutrient sensing in plants
G. Krouk, B. Lacombe, A. Bielach, F. Perrine Walker, K. Malínská, E. Mounier, K. Hoyerová, P. Tillard, S. Leon, K. Ljung, E. Zažímalová, E. Benková, P. Nacry, A. Gojon, Developmental Cell 18 (2010) 927–937.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3066
Trafficking to the outer polar domain defines the root soil interface
Ł. Łangowski, K. Růžička, S. Naramoto, J. Kleine Vehn, J. Friml, Current Biology 20 (2010) 904–908.
View | DOI
 

2010 | Book Chapter | IST-REx-ID: 3078
Immunolocalization of proteins in plants
M. Sauer, J. Friml, in:, L. Hennig, C. Köhler (Eds.), Plant Developmental Biology, Humana Press, 2010, pp. 253–263.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3080
Gravity induced PIN transcytosis for polarization of auxin fluxes in gravity sensing root cells
J. Kleine Vehn, Z. Ding, A. Jones, M. Tasaka, M. Morita, J. Friml, PNAS 107 (2010) 22344–22349.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 2979   OA
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
J. Almeida, E. Bangerter, M. Barbosa, S. Krenn, A. Sadeghi, T. Schneider, in:, D. Gritzalis, B. Preneel, M. Theoharidou (Eds.), Springer, 2010, pp. 151–167.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3201
Cosegmentation revisited: Models and optimization
S. Vicente, V. Kolmogorov, C. Rother, in:, Springer, 2010, pp. 465–479.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3237
Leakage resilient ElGamal encryption
E. Kiltz, K.Z. Pietrzak, in:, Springer, 2010, pp. 595–612.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3294
Post eclosion odor experience modifies olfactory receptor neuron coding in Drosophila
A. Iyengar, S. Chakraborty Tuhin, S. Goswami, C. Wu, O. Siddiqi, PNAS 107 (2010) 9855–60.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3592
Imaging zebrafish embryos by two-photon excitation time-lapse microscopy
L. Carvalho, C. Heisenberg, Methods in Molecular Biology 546 (2010) 273–287.
View | DOI
 

2010 | Book Review | IST-REx-ID: 3403
Rate remapping: When the code goes beyond space (preview)
B. Pleydell Bouverie, J.L. Csicsvari, Neuron 68 (2010) 1015–1016.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3441
The reorganization and reactivation of hippocampal maps predict spatial memory performance
D. Dupret, J. O’Neill, B. Pleydell Bouverie, J.L. Csicsvari, Nature Neuroscience 13 (2010) 995–1002.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3749   OA
Fine-tuning of chemotactic response in E. coli determined by high-throughput capillary assay
H. Park, C.C. Guet, T. Emonet, P. Cluzel, Current Microbiology 62 (2010) 764–769.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3686
Global interactions in random field models: A potential function ensuring connectedness
S. Nowozin, C. Lampert, SIAM Journal on Imaging Sciences 3 (2010) 1048–1074.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3713
An efficient divide-and-conquer cascade for nonlinear object detection
C. Lampert, in:, IEEE, 2010, pp. 1022–1029.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3958
Extracellular matrix in multiple sclerosis lesions: fibrillar collagens, biglycan and decorin are upregulated and associated with infiltrating immune cells
H. Mohan, M. Krumbholz, R. Sharma, S. Eisele, A. Junker, M.K. Sixt, J. Newcombe, H. Wekerle, R. Hohlfeld, H. Lassmann, E. Meinl, Brain Pathology 20 (2010) 966–975.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3960   OA
MEK signalling tunes actin treadmilling for interstitial lymphocyte migration
M. Weber, M.K. Sixt, EMBO Journal 29 (2010) 2861–2863.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 4379   OA
Analog property checkers: a DDR2 case study
K. Jones, V. Konrad, D. Nickovic, Formal Methods in System Design 36 (2010) 114–130.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 756
Securing every bit: Authenticated broadcast in radio networks
D. Alistarh, S. Gilbert, R. Guerraoui, Ž. Milošević, C. Newport, in:, ACM, 2010, pp. 50–59.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 857
Sequence space and the ongoing expansion of the protein universe
I. Povolotskaya, F. Kondrashov, Nature 465 (2010) 922–926.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3073
Plasma membrane-bound AGC3 kinases phosphorylate PIN auxin carriers at TPRXS(N/S) motifs to direct apical PIN recycling
P. Dhonukshe, F. Huang, C. Galván Ampudia, A. Mähönen, J. Kleine Vehn, J. Xu, A. Quint, K. Prasad, J. Friml, B. Scheres, R. Offringa, Development 137 (2010) 3245–3255.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3718
P2Y1 receptors inhibit long-term depression in the prefrontal cortex.
J. Guzmán, H. Schmidt, H. Franke, U. Krügel, J. Eilers, P. Illes, Z. Gerevich, Neuropharmacology 59 (2010) 406–415.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3782
Topology noise removal for curve and surface evolution
C. Chen, D. Freedman, in:, Conference Proceedings MCV 2010, Springer, 2010, pp. 31–42.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3787   OA
DNA extraction from formalin-fixed tissue: new light from the deep sea
F. Palero, S. Hall, P. Clark, D. Johnston, J. Mackenzie Dodds, S. Thatje, Scientia Marina 74 (2010) 465–470.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3794 View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3833 View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3838   OA
Hybrid numerical solution of the chemical master equation
T.A. Henzinger, M. Mateescu, L. Mikeev, V. Wolf, in:, Springer, 2010, pp. 55–65.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3840
From boolean to quantitative notions of correctness
T.A. Henzinger, in:, ACM, 2010, pp. 157–158.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3852   OA
Discounting in games across time scales
K. Chatterjee, R. Majumdar, in:, EPTCS, 2010, pp. 22–29.
View | Files available | DOI | arXiv
 

2010 | Conference Paper | IST-REx-ID: 3845   OA
Aligators for arrays
T.A. Henzinger, T. Hottelier, L. Kovács, A. Rybalchenko, in:, Springer, 2010, pp. 348–356.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3864   OA
Measuring and synthesizing systems in probabilistic environments
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, in:, Springer, 2010, pp. 380–395.
View | Files available | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 4134
Why is adaptation prevented at ecological margins? New insights from individual-based simulations
J. Bridle, J. Polechova, M. Kawata, R. Butlin, Ecology Letters 13 (2010) 485–494.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4381   OA
FlexPRICE: Flexible provisioning of resources in a cloud environment
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, IEEE, 2010, pp. 83–90.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4362
Runtime verification for software transactional memories
V. Singh, in:, O. Sokolsky, G. Rosu, N. Tilmann, H. Barringer, Y. Falcone, B. Finkbeiner, K. Havelund, I. Lee, G. Pace (Eds.), Springer, 2010, pp. 421–435.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 489   OA
How do we remember the past in randomised strategies?
J. Cristau, C. David, F. Horn, in:, Proceedings of GandALF 2010, Open Publishing Association, 2010, pp. 30–39.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4393
Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–268.
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5389   OA
Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, Simulation Distances, IST Austria, 2010.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3857
Probabilistic Automata on infinite words: decidability and undecidability results
K. Chatterjee, T.A. Henzinger, in:, Springer, 2010, pp. 1–16.
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5391   OA
Model checking of linearizability of concurrent list implementations
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, Model Checking of Linearizability of Concurrent List Implementations, IST Austria, 2010.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 6142   OA
Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans
K.P. Weber, S. De, I. Kozarewa, D.J. Turner, M.M. Babu, M. de Bono, PLoS ONE 5 (2010) e13922.
View | Files available | DOI | PubMed | Europe PMC
 

Filters and Search Terms

year=2010

Search

Filter Publications

Display / Sort

Export / Embed