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.

3381 Publications


2012 | Journal Article | IST-REx-ID: 3317 | OA
Eggermann E, Bucurenciu I, Goswami S, Jonas PM. 2012. Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses. Nature Reviews Neuroscience. 13(1), 7–21.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3331 | OA
Kerber M, Sagraloff M. 2012. A worst case bound for topology computation of algebraic curves. Journal of Symbolic Computation. 47(3), 239–258.
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3341 | OA
Chatterjee K. 2012. Robustness of structurally equivalent concurrent parity games. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 7213, 270–285.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 347 | OA
Ibáñez M, Zamani R, Lalonde A, Cadavid D, Li W, Shavel A, Arbiol J, Morante J, Gorsse S, Snyder GJ, Cabot A. 2012. Cu 2ZnGeSe 4 nanocrystals: Synthesis and thermoelectric properties. Journal of the American Chemical Society. 134(9), 4060–4063.
View | DOI | Download None (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3251 | OA
Zufferey D, Wies T, Henzinger TA. 2012. Ideal abstractions for well structured transition systems. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 7148, 445–460.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 9451 | OA
Ibarra CA, Feng X, Schoft VK, Hsieh T-F, Uzawa R, Rodrigues JA, Zemach A, Chumak N, Machlicova A, Nishimura T, Rojas D, Fischer RL, Tamaru H, ZILBERMAN D. 2012. Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes. Science. 337(6100), 1360–1364.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 9499 | OA
Kim SY, Lee J, Eshed-Williams L, ZILBERMAN D, Sung ZR. 2012. EMF1 and PRC2 cooperate to repress key regulators of Arabidopsis development. PLoS Genetics. 8(3), e1002512.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 9497 | OA
Coleman-Derr D, ZILBERMAN D. 2012. Deposition of histone variant H2A.Z within gene bodies regulates responsive genes. PLoS Genetics. 8(10), e1002988.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 9535 | OA
Coleman-Derr D, ZILBERMAN D. 2012. DNA methylation, H2A.Z, and the regulation of constitutive expression. Cold Spring Harbor Symposia on Quantitative Biology. 77, 147–154.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3242 | OA
Konrad M, Vyleta M, Theis F, Stock M, Tragust S, Klatt M, Drescher V, Marr C, Ugelvig LV, Cremer S. 2012. Social transfer of pathogenic fungus promotes active immunisation in ant colonies. PLoS Biology. 10(4), e1001300.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 2320 | OA
Frank R, Lieb É, Seiringer R, Thomas L. 2011. Binding, stability, and non-binding of multi-polaron systems. QMath: Mathematical Results in Quantum Physics, 21–32.
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 2321 | OA
Frank R, Laptev A, Seiringer R. 2011. A sharp bound on eigenvalues of Schrödinger operators on the halfline with complex-valued potentials. OTAMP: Operator Theory, Analysis and Mathematical Physics, Operator Theory: Advances and Applications, vol. 214, 39–44.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2390 | OA
Frank R, Lieb É, Seiringer R, Thomas L. 2011. Stability and absence of binding for multi-polaron systems. Publications Mathematiques de l Institut des Hautes Etudes Scientifiques. 113(1), 39–67.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2391 | OA
Frank R, Lewin M, Lieb É, Seiringer R. 2011. Energy cost to make a hole in the fermi sea. Physical Review Letters. 106(15).
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2393 | OA
Seiringer R. 2011. The excitation spectrum for weakly interacting Bosons. Communications in Mathematical Physics. 306(2), 565–578.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2454 | OA
Li H, Lin D, Dhonukshe P, Nagawa S, Chen D, Friml J, Scheres B, Guo H, Yang Z. 2011. Phosphorylation switch modulates the interdigitated pattern of PIN1 localization and cell expansion in Arabidopsis leaf epidermis. Cell Research. 21(6), 970–978.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2961 | OA
Malaspinas A, Uhler C. 2011. Detecting epistasis via Markov bases. Journal of Algebraic Statistics. 2(1), 36–53.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 8025 | OA
Woodruff AR, McGarry LM, Vogels TP, Inan M, Anderson SA, Yuste R. 2011. State-dependent function of neocortical chandelier cells. Journal of Neuroscience. 31(49), 17872–17886.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 1754 | OA
Mongillo M, Spathis P, Katsaros G, Gentile P, Sanquer M, De Franceschi S. 2011. Joule-assisted silicidation for short-channel silicon nanowire devices. ACS Nano. 5(9), 7117–7123.
View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 1755 | OA
Katsaros G, Golovach V, Spathis P, Ares N, Stoffel M, Fournel F, Schmidt O, Glazman L, De Franceschi S. 2011. Observation of spin-selective tunneling in sige nanocrystals. Physical Review Letters. 107(24).
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 1777 | OA
Eichler C, Bozyigit D, Lang C, Steffen L, Fink JM, Wallraff A. 2011. Experimental state tomography of itinerant single microwave photons. Physical Review Letters. 106(22).
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 1778 | OA
Lang C, Bozyigit D, Eichler C, Steffen L, Fink JM, Abdumalikov A, Baur M, Filipp S, Da Silva M, Blais A, Wallraff A. 2011. Observation of resonant photon blockade at microwave frequencies using correlation function measurements. Physical Review Letters. 106(24).
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 1815 | OA
Friedlander T, Brenner N. 2011. Adaptive response and enlargement of dynamic range. Mathematical Biosciences and Engineering. 8(2), 515–526.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2072 | OA
Vicoso B, Bachtrog D. 2011. Lack of global dosage compensation in Schistosoma mansoni, a female-heterogametic parasite. Genome Biology and Evolution. 3(1), 230–235.
View | Files available | DOI
 

2011 | Book Chapter | IST-REx-ID: 2116 | OA
Maas J, Van Neerven J. 2011.Gradient estimates and domain identification for analytic Ornstein-Uhlenbeck operators. In: Parabolic Problems. vol. 80, 463–477.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2122 | OA
Maas J, Van Neerven J, Portal P. 2011. Conical square functions and non-tangential maximal functions with respect to the Gaussian measure. Publicacions Matemàtiques. 55(2), 313–341.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2123 | OA
Clément P, Maas J. 2011. A Trotter product formula for gradient flows in metric spaces. Journal of Evolution Equations. 11(2), 405–427.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2126 | OA
Maas J. 2011. Gradient flows of the entropy for finite Markov chains. Journal of Functional Analysis. 261(8), 2250–2292.
View | DOI | Download (ext.)
 

2011 | Preprint | IST-REx-ID: 2138 | OA
Ağanoğlu R, Lemeshko M, Friedrich B, González Férez R, Koch C. 2011. Controlling a diatomic shape resonance with non-resonant light. Unknown, .
View | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2198 | OA
Lemeshko M. 2011. Shaping interactions between polar molecules with far-off-resonant light. Physical Review A - Atomic, Molecular, and Optical Physics. 83(5).
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2199 | OA
Lemeshko M, Mustafa M, Kais S, Friedrich B. 2011. Supersymmetric factorization yields exact solutions to the molecular Stark-effect problem for "stretched" states. Physical Review A - Atomic, Molecular, and Optical Physics. 83(4).
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2200 | OA
Lemeshko M, Mustafa M, Kais S, Friedrich B. 2011. Supersymmetry identifies molecular Stark states whose eigenproperties can be obtained analytically. New Journal of Physics. 13.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 469 | OA
Vyleta N, Smith S. 2011. Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor. European Journal of Neuroscience. 31(12), 4593–4606.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 490 | OA
Schlögl A, Vidaurre C, Sander T. 2011. BioSig: The free and open source software library for biomedical signal processing. Computational Intelligence and Neuroscience. 2011, 935364.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 518 | OA
Schraivogel D, Weinmann L, Beier D, Tabatabai G, Eichner A, Zhu J, Anton M, Sixt MK, Weller M, Beier C, Meister G. 2011. CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells. EMBO Journal. 30(20), 4309–4322.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 531 | OA
Guerraoui R, Henzinger TA, Singh V. 2011. Verification of STM on relaxed memory models. Formal Methods in System Design. 39(3), 297–331.
View | DOI | Download Published Version (ext.)
 

2011 | Technical Report | IST-REx-ID: 5379 | OA
Chatterjee K, Henzinger M. 2011. An O(n2) time algorithm for alternating Büchi games, IST Austria, 20p.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5380 | OA
Chatterjee K. 2011. Bounded rationality in concurrent parity games, IST Austria, 53p.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5381 | OA
Chatterjee K, Doyen L. 2011. Partial-observation stochastic games: How to win when belief fails, IST Austria, 43p.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5382 | OA
Chatterjee K. 2011. Robustness of structurally equivalent concurrent parity games, IST Austria, 18p.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5383 | OA
Wies T, Muñiz M, Kuncak V. 2011. On an efficient decision procedure for imperative tree data structures, IST Austria, 25p.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5384 | OA
Chatterjee K, Tracol M. 2011. Decidable problems for probabilistic automata on infinite words, IST Austria, 30p.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5385 | OA
Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2011. Temporal specifications with accumulative values, IST Austria, 14p.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5386 | OA
Chen C, Freedman D, Lampert C. 2011. Enforcing topological constraints in random field image segmentation, IST Austria, 69p.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5387 | OA
Chatterjee K, Doyen L. 2011. Energy and mean-payoff parity Markov decision processes, IST Austria, 20p.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 6137 | OA
Milward K, Busch KE, Murphy RJ, de Bono M, Olofsson B. 2011. Neuronal and molecular substrates for optimal foraging in Caenorhabditis elegans. Proceedings of the National Academy of Sciences. 108(51), 20672–20677.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 6138 | OA
Bretscher AJ, Kodama-Namba E, Busch KE, Murphy RJ, Soltesz Z, Laurent P, de Bono M. 2011. Temperature, oxygen, and salt-sensing neurons in C. elegans are carbon dioxide sensors that control avoidance behavior. Neuron. 69(6), 1099–1113.
View | Files available | DOI | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 6140 | OA
Arellano-Carbajal F, Briseño-Roa L, Couto A, Cheung BHH, Labouesse M, de Bono M. 2011. Macoilin, a conserved nervous system–specific ER membrane protein that regulates neuronal excitability. PLoS Genetics. 7(3), e1001341.
View | Files available | DOI | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 6298 | OA
Baranova NS, Nilebäck E, Haller FM, Briggs DC, Svedhem S, Day AJ, Richter RP. 2011. The inflammation-associated protein TSG-6 cross-links hyaluronan via hyaluronan-induced TSG-6 oligomers. Journal of Biological Chemistry. 286(29), 25675–25686.
View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 6749 | OA
Mondelli M, Ciomaga A. 2011. Finite difference schemes for MCM and AMSS. Image Processing On Line. 1, 127–177.
View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications