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.

3464 Publications


2012 | Conference Paper | IST-REx-ID: 3135 | OA
Brázdil B, Chatterjee K, Kučera A, Novotný P. 2012. Efficient controller synthesis for consumption games with multiple resource types. CAV: Computer Aided Verification, LNCS, vol. 7358, 23–38.
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3155 | OA
Delahaye B, Fahrenberg U, Henzinger TA, Legay A, Nickovic D. 2012. Synchronous interface theories and time triggered scheduling. FORTE: Formal Techniques for Networked and Distributed Systems & FMOODS: Formal Methods for Open Object-Based Distributed Systems , LNCS, vol. 7273, 203–218.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3157 | OA
Diaz Jr L, Williams R, Wu J, Kinde I, Hecht J, Berlin J, Allen B, Božić I, Reiter J, Nowak M, Kinzler K, Oliner K, Vogelstein B. 2012. The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers. Nature. 486(7404), 537–540.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3158 | OA
Schachtner H, Li A, Stevenson D, Calaminus S, Thomas S, Watson S, Sixt MK, Wedlich Söldner R, Strathdee D, Machesky L. 2012. Tissue inducible Lifeact expression allows visualization of actin dynamics in vivo and ex vivo. European Journal of Cell Biology. 91(11–12), 923–929.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3159 | OA
Mileyko Y, Edelsbrunner H, Price C, Weitz J. 2012. Hierarchical ordering of reticular networks. PLoS One. 7(6), e36715.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3161 | OA
Vyleta M, Wong J, Magun B. 2012. Suppression of ribosomal function triggers innate immune signaling through activation of the NLRP3 inflammasome. PLoS One. 7(5), e36044.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3162 | OA
Asarin E, Donzé A, Maler O, Nickovic D. 2012. Parametric identification of temporal properties. RV: Runtime Verification, LNCS, vol. 7186, 147–160.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3166 | OA
de Vladar H. 2012. Amino acid fermentation at the origin of the genetic code. Biology Direct. 7, 6.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3248 | OA
Lampert C, Peters J. 2012. Real-time detection of colored objects in multiple camera streams with off-the-shelf hardware components. Journal of Real-Time Image Processing. 7(1), 31–41.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3252 | OA
Chatterjee K, Raman V. 2012. Synthesizing protocols for digital contract signing. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 7148, 152–168.
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3255 | OA
Chatterjee K, Doyen L. 2012. Games and Markov decision processes with mean payoff parity and energy parity objectives. MEMICS: Mathematical and Engineering Methods in Computer Science, LNCS, vol. 7119, 37–46.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3256 | OA
Edelsbrunner H, Kerber M. 2012. Dual complexes of cubical subdivisions of ℝn. Discrete & Computational Geometry. 47(2), 393–414.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3257 | OA
Kolmogorov V. 2012. Generalized roof duality and bisubmodular functions. Discrete Applied Mathematics. 160(4–5), 416–426.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 3258 | OA
Kim S, Guzmán J, Hu H, Jonas PM. 2012. Active dendrites support efficient initiation of dendritic spikes in hippocampal CA3 pyramidal neurons. Nature Neuroscience. 15(4), 600–606.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3260 | OA
Chatterjee K, Reiter J, Nowak M. 2012. Evolutionary dynamics of biological auctions. Theoretical Population Biology. 81(1), 69–80.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3262 | OA
Tkačik G, Walczak A, Bialek W. 2012. Optimizing information flow in small genetic networks. III. A self-interacting gene. Physical Review E statistical nonlinear and soft matter physics . 85(4), 041903.
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3280 | OA
Pietrzak KZ. 2012. Subspace LWE. TCC: Theory of Cryptography Conference, LNCS, vol. 7194, 548–563.
View | DOI | Download Submitted Version (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3282 | OA
Dodis Y, Pietrzak KZ, Kiltz E, Wichs D. 2012. Message authentication, revisited. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 7237, 355–374.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3284 | OA
Kolmogorov V, Živný S. 2012. The complexity of conservative valued CSPs. SODA: Symposium on Discrete Algorithms, 750–759.
View | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 3289 | OA
Pereira A, Leite F, Brasil B, Soares Martins J, Torres A, Pimenta P, Souto Padrón T, Tranktman P, Ferreira P, Kroon E, Bonjardim C. 2012. A vaccinia virus-driven interplay between the MKK4/7-JNK1/2 pathway and cytoskeleton reorganization. Journal of Virology. 86(1), 172–184.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3310 | OA
Bendich P, Cabello S, Edelsbrunner H. 2012. A point calculus for interlevel set homology. Pattern Recognition Letters. 33(11), 1436–1444.
View | Files available | DOI
 

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: 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
 

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 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: 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: 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
 

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.)
 

Filters and Search Terms

oa=1

Search

Filter Publications