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.

248 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
 

2010 | Journal Article | IST-REx-ID: 6320   OA
Le problème des diviseurs pour des formes binaires de degré 4
R. de la Bretèche, T.D. Browning, Crelles Journal 2010 (2010) 1–44.
View | DOI | Download (ext.) | arXiv
 

2010 | Conference Paper | IST-REx-ID: 1042
Production of a quantum gas of rovibronic ground-state molecules in an optical lattice
J. Danzl, M. Mark, E. Haller, M. Gustavsson, R. Hart, H. Nägerl, in:, World Scientific Publishing, 2010, pp. 256–269.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 1047   OA
Inducing transport in a dissipation-free lattice with super bloch oscillations
E. Haller, R. Hart, M. Mark, J. Danzl, L. Reichsöllner, H. Nägerl, Physical Review Letters 104 (2010).
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1465   OA
Kac's conjecture from Nakajima quiver varieties
T. Hausel, Inventiones Mathematicae 181 (2010) 21–37.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2071
Effective population size and the Faster-X effect: Empirical results and their interpretation
J. Mank, B. Vicoso, S. Berlin, B. Charlesworth, Evolution 64 (2010) 663–674.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 2196   OA
Fine-tuning molecular energy levels by nonresonant laser pulses
M. Lemeshko, B. Friedrich, Journal of Physical Chemistry A 114 (2010) 9848–9854.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2095   OA
High-quality single-shot capture of facial geometry
T. Beeler, B. Bickel, P. Beardsley, B. Sumner, M. Groß, ACM Transactions on Graphics 29 (2010).
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2704
Derivation of the Gross-Pitaevskii equation for the dynamics of Bose-Einstein condensate
L. Erdös, B. Schlein, H. Yau, Annals of Mathematics 172 (2010) 291–370.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2507
Subcellular distribution of α1G subunit of T-type calcium channel in the mouse dorsal lateral geniculate nucleus
L. Parajuli, Y. Fukazawa, M. Watanabe, R. Shigemoto, Journal of Comparative Neurology 518 (2010) 4362–4374.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 2761
Universality of sine-kernel for Wigner matrices with a small Gaussian perturbation
L. Erdös, J. Ramírez, B. Schlein, H. Yau, Electronic Journal of Probability 15 (2010) 526–603.
View | DOI
 

2010 | Book Chapter | IST-REx-ID: 2324   OA
Sharp fractional Hardy inequalities in half-spaces
R. Frank, R. Seiringer, in:, Around the Research of Vladimir Maz’ya I, Springer, 2010, pp. 161–167.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3062
A Rho scaffold integrates the secretory system with feedback mechanisms in regulation of auxin distribution
O. Hazak, D. Bloch, L. Poraty, H. Sternberg, J. Zhang, J. Friml, S. Yalovsky, PLoS Biology 8 (2010).
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3067
Probing plant membranes with FM dyes: Tracking dragging or blocking?
A. Jelínková, K. Malínská, S. Simon, J. Kleine Vehn, M. Pařezová, P. Pejchar, M. Kubeš, J. Martinec, J. Friml, E. Zažímalová, J. Petrášek, Plant Journal 61 (2010) 883–892.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3074
Arabidopsis ROOT UVB SENSITIVE2 WEAK AUXIN RESPONSE1 is required for polar auxin transport
L. Ge, W. Peer, S. Robert, R. Swarup, S. Ye, M. Prigge, J. Cohen, J. Friml, A. Murphy, D. Tang, M. Estelle, Plant Cell 22 (2010) 1749–1761.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3079
Emergence of tissue polarization from synergy of intracellular and extracellular auxin signaling
K.T. Wabnik, J. Kleine Vehn, J. Balla, M. Sauer, S. Naramoto, V. Reinöhl, R. Merks, W. Govaerts, J. Friml, Molecular Systems Biology 6 (2010).
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3081
ADP ribosylation factor machinery mediates endocytosis in plant cells
S. Naramoto, J. Kleine Vehn, S. Robert, M. Fujimoto, T. Dainobu, T. Paciorek, T. Ueda, A. Nakano, M. Van Montagu, H. Fukuda, J. Friml, PNAS 107 (2010) 21890–21895.
View | DOI
 

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

2010 | Conference Paper | IST-REx-ID: 3233
An efficient parallel repetition theorem
J. Håstad, R. Pass, D. Wikström, K.Z. Pietrzak, in:, Springer, 2010, pp. 1–18.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3308   OA
Multivariate Gaussians, semidefinite matrix completion, and convex algebraic geometry
B. Sturmfels, C. Uhler, Annals of the Institute of Statistical Mathematics 62 (2010) 603–638.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3682
Optimizing one-shot recognition with micro-set learning
K. Tang, M. Tappen, R. Sukthankar, C. Lampert, in:, IEEE, 2010, pp. 3027–3034.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3738
Optimizing information flow in small genetic networks. II. Feed-forward interactions
A. Walczak, G. Tkacik, W. Bialek, Physical Review E Statistical Nonlinear and Soft Matter Physics 81 (2010).
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3430   OA View | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3442
Play it again: reactivation of waking experience and memory
J. O’Neill, B. Pleydell Bouverie, D. Dupret, J.L. Csicsvari, Trends in Neurosciences 33 (2010) 220–229.
View | DOI
 

2010 | Book Chapter | IST-REx-ID: 3459
Grundlagen zellulärer Erregbarkeit
B. Fakler, P.M. Jonas, in:, R. Schmidt, M. Heckmann, F. Lang (Eds.), Physiologie Des Menschen, Springer, 2010.
View
 

2010 | Conference Paper | IST-REx-ID: 3702
Movement templates for learning of hitting and batting
J. Kober, K. Mülling, O. Krömer, C. Lampert, B. Schölkopf, J. Peters, in:, IEEE, 2010, pp. 853–858.
View | DOI | Download (ext.)
 

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

2010 | Journal Article | IST-REx-ID: 872
Measurements of spontaneous rates of mutations in the recent past and the near future
F. Kondrashov, A. Kondrashov, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 365 (2010) 1169–1176.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 884
Rate of sequence divergence under constant selection
A. Kondrashov, I. Povolotskaya, D. Ivankov, F. Kondrashov, Biology Direct 5 (2010).
View | DOI
 

2010 | Journal Article | IST-REx-ID: 891
The evolution of gene duplications: Classifying and distinguishing between models
H. Innan, F. Kondrashov, Nature Reviews Genetics 11 (2010) 97–108.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3303   OA
The rate of fitness-valley crossing in sexual populations
D. Weissman, M. Feldman, D. Fisher, Genetics 186 (2010) 1389–1410.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3719   OA
Lumpability abstractions of rule-based systems
J. Feret, T.A. Henzinger, H. Koeppl, T. Petrov, in:, Open Publishing Association, 2010, pp. 142–161.
View | Files available | arXiv
 

2010 | Journal Article | IST-REx-ID: 3776   OA
Genetic linkage and natural selection
N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 365 (2010) 2559–2569.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3783
Microsatelight – Pipeline to expedite microsatellite analysis
F. Palero, F. González Candelas, M. Pascual, Journal of Heredity 102 (2010) 247–249.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3788
Finite-size corrections to scaling behavior in sorted cell aggregates
A. Klopper, G. Krens, S. Grill, C.-P.J. Heisenberg, The European Physical Journal E: Soft Matter and Biological Physics 33 (2010) 99–103.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3790   OA
Control of directed cell migration in vivo by membrane-to-cortex attachment
A. Diz Muñoz, M. Krieg, M. Bergert, I. Ibarlucea Benitez, D. Müller, E. Paluch, C.-P.J. Heisenberg, PLoS Biology 8 (2010) e1000544.
View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 3795   OA
The stability of the apparent contour of an orientable 2-manifold
H. Edelsbrunner, D. Morozov, A. Patel, in:, Topological Data Analysis and Visualization: Theory, Algorithms and Applications, Springer, 2010, pp. 27–42.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3834   OA
Solving the chemical master equation using sliding windows
V. Wolf, R. Goel, M. Mateescu, T.A. Henzinger, BMC Systems Biology 4 (2010) 1–19.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3839   OA
Invariant and type inference for matrices
T.A. Henzinger, T. Hottelier, L. Kovács, A. Voronkov, in:, Springer, 2010, pp. 163–179.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3858
The complexity of partial-observation parity games
K. Chatterjee, L. Doyen, in:, C. Fermüller, A. Voronkov (Eds.), Springer, 2010, pp. 1–14.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3860   OA
Generalized mean-payoff and energy games
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 505–516.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3853   OA
Mean-payoff automaton expressions
K. Chatterjee, L. Doyen, H. Edelsbrunner, T.A. Henzinger, P. Rannou, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 269–283.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3959
Immobilized chemokine fields and soluble chemokine gradients cooperatively shape migration patterns of dendritic cells
K. Schumann, T. Lämmermann, M. Bruckner, D. Legler, J. Polleux, J. Spatz, G. Schuler, R. Förster, M. Lutz, L. Sorokin, M.K. Sixt, Immunity 32 (2010) 703–713.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3904   OA
Rapid anti-pathogen response in ant societies relies on high genetic diversity
L.V. Ugelvig, D. Kronauer, A. Schrempf, J. Heinze, S. Cremer, Proceedings of the Royal Society of London Series B Biological Sciences 277 (2010) 2821–2828.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 4243   OA
A new model for evolution in a spatial continuum
N.H. Barton, A. Etheridge, A. Véber, Electronic Journal of Probability 15 (2010) 162–216.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3865
Analyzing the impact of change in multi-threaded programs
K. Chatterjee, L. De Alfaro, V. Raman, C. Sánchez, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 293–307.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4382   OA
Transactions in the jungle
R. Guerraoui, T.A. Henzinger, M. Kapalka, V. Singh, in:, ACM, 2010, pp. 263–272.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 598   OA
P53 activates transcription by directing structural shifts in Mediator
K. Meyer, S. Lin, C.A. Bernecky, Y. Gao, D. Taatjes, Nature Structural and Molecular Biology 17 (2010) 753–760.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 6198
Treatment of cerebral ischemia by disrupting ischemia-induced interaction of nNOS with PSD-95
L. Zhou, F. Li, H. Xu, C. Luo, H. Wu, M. Zhu, W. Lu, X. Ji, Q. Zhou, D. Zhu, Nature Medicine 16 (2010) 1439–1443.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 1466   OA
Topology of character varieties and representations of quivers
T. Hausel, E. Letellier, F. Rodríguez Villegas, Comptes Rendus Mathematique 348 (2010) 131–135.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1752   OA
Hybrid superconductor-semiconductor devices made from self-assembled SiGe nanocrystals on silicon
G. Katsaros, P. Spathis, M. Stoffel, F. Fournel, M. Mongillo, V. Bouchiat, F. Lefloch, A. Rastelli, O. Schmidt, S. De Franceschi, Nature Nanotechnology 5 (2010) 458–464.
View | DOI | Download (ext.)
 

Filters and Search Terms

year=2010

Search

Filter Publications

Display / Sort

Export / Embed