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.

2262 Publications


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

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

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

2010 | Journal Article | IST-REx-ID: 2197   OA
Lemeshko M, Friedrich B. 2010. Multiple scattering of matter waves: An analytic model of the refractive index for atomic and molecular gases. Physical Review A - Atomic, Molecular, and Optical Physics. 82(2).
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3772   OA
Barton NH. 2010. Understanding adaptation in large populations. PLoS Genetics. 6(6), e1000987.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3777   OA
Barton NH. 2010. Mutation and the evolution of recombination. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 365(1544), 1281–1294.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2010 | Conference Paper | IST-REx-ID: 3847   OA
Didier F, Henzinger TA, Mateescu M, Wolf V. 2010. SABRE: A tool for the stochastic analysis of biochemical reaction networks. QEST: Quantitative Evaluation of Systems 193–194.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 385   OA
Alpichshev Z, Analytis J, Chu J, Fisher I, Chen Y, Shen Z, Fang A, Kapitulnik A. 2010. STM imaging of electronic waves on the surface of Bi2Te3 Topologically protected surface states and hexagonal warping effects. Physical Review Letters. 104(1).
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3866   OA
Bloem R, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. 2010. Robustness in the presence of liveness. CAV: Computer Aided Verification, LNCS, vol. 6174. 410–424.
View | Files available | DOI
 

2010 | Other Publication | IST-REx-ID: 4340   OA
Danowski P. 2010. Open bibliographic data, Elsevier,p.
View | Files available | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4369   OA
Nickovic D, Piterman N. 2010. From MTL to deterministic timed automata. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 6246. 152–167.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4388   OA
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 2010. GIST: A solver for probabilistic games. CAV: Computer Aided Verification, LNCS, vol. 6174. 665–669.
View | Files available | DOI | arXiv
 

2010 | Journal Article | IST-REx-ID: 1044   OA
Danzl J, Mark M, Haller E, Gustavsson M, Hart R, Aldegunde J, Hutson J, Nägerl H. 2010. An ultracold high-density sample of rovibronic ground-state molecules in an optical lattice. Nature Physics. 6(4), 265–270.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1049   OA
Haller E, Hart R, Mark M, Danzl J, Reichsöllner L, Gustavsson M, Dalmonte M, Pupillo G, Nägerl H. 2010. Pinning quantum phase transition for a Luttinger liquid of strongly interacting bosons. Nature. 466(7306), 597–600.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1753   OA
Songmuang R, Katsaros G, Monroy E, Spathis P, Bougerol C, Mongillo M, De Franceschi S. 2010. Quantum transport in GaN/AlN double-barrier heterostructure nanowires. Nano Letters. 10(9), 3545–3550.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2124   OA
Maas J. 2010. Malliavin calculus and decoupling inequalities in Banach spaces. Journal of Mathematical Analysis and Applications. 363(2), 383–398.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2701   OA
Erdös L, Schlein B, Yau H. 2010. Wegner estimate and level repulsion for Wigner random matrices. International Mathematics Research Notices. (3), 436–479.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3773   OA
Barton NH. 2010. What role does natural selection play in speciation? Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 365(1547), 1825–1840.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3538   OA
Jiruska P, Csicsvari JL, Powell A, Fox J, Chang W, Vreugdenhil M, Li X, Palus M, Bujan A, Dearden R, Jefferys J. 2010. High-frequency network activity, global increase in neuronal activity, and synchrony expansion precede epileptic seizures in vitro. Journal of Neuroscience. 30(16), 5690–5701.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3831   OA
Norenberg A, Hu H, Vida I, Bartos M, Jonas PM. 2010. Distinct nonuniform cable properties optimize rapid and efficient activation of fast-spiking GABAergic interneurons. PNAS. 107(2), 894–9.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3862   OA
Chatterjee K, Doyen L, Henzinger TA. 2010. Quantitative languages. ACM Transactions on Computational Logic (TOCL). 11(4), 23.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3901   OA
Bendich P, Edelsbrunner H, Kerber M. 2010. Computing robustness and persistence for images. IEEE Transactions of Visualization and Computer Graphics. 16(6), 1251–1260.
View | Files available | DOI
 

2010 | Book | IST-REx-ID: 4346   OA
Danowski P, Bergmann J. 2010. Handbuch Bibliothek 2.0, De Gruyter,p.
View | Download (ext.)
 

2010 | Book Chapter | IST-REx-ID: 4339   OA
Bergmann J, Danowski P. 2010. Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch. Handbuch Bibliothek 2.0. Bibliotheks- und Informationspraxis 41 5–20.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4396   OA
Beyer D, Henzinger TA, Théoduloz G, Zufferey D. 2010. Shape refinement through explicit heap analysis. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 6013. 263–277.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4389   OA
Doyen L, Henzinger TA, Legay A, Nickovic D. 2010. Robustness of sequential circuits. ACSD: Application of Concurrency to System Design 77–84.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 7078   OA
Salje EKH, Safarik DJ, Modic KA, Gubernatis JE, Cooley JC, Taylor RD, Mihaila B, Saxena A, Lookman T, Smith JL, Fisher RA, Pasternak M, Opeil CP, Siegrist T, Littlewood PB, Lashley JC. 2010. Tin telluride: A weakly co-elastic metal. Physical Review B. 82(18), 184112.
View | DOI | Download (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 1045   OA
Haller E, Mark M, Hart R, Danzl J, Reichsöllner L, Melezhik V, Schmelcher P, Nägerl H. 2010. Confinement-induced resonances in low-dimensional quantum systems. Physical Review Letters. 104(15).
View | DOI | Download (ext.)
 

2010 | Book Chapter | IST-REx-ID: 1468   OA
Hausel T. 2010. S-Duality in HyperkäHler Hodge Theory. The Many Facets of Geometry: A Tribute to Nigel Hitchin.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1773   OA
Fink JM, Steffen L, Studer P, Bishop L, Baur M, Bianchetti R, Bozyigit D, Lang C, Filipp S, Leek P, Wallraff A. 2010. Quantum-to-classical transition in cavity quantum electrodynamics. Physical Review Letters. 105(16).
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2194   OA
Lemeshko M, Friedrich B. 2010. An analytic model of the stereodynamics of rotationally inelastic molecular collisions. Physical Chemistry Chemical Physics. 12(5), 1038–1041.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 2322   OA
Frank R, Lieb É, Seiringer R. 2010. Equivalence of Sobolev inequalities and Lieb-Thirring inequalities. ICMP: International Congress on Mathematical Physics 523–535.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2389   OA
Hainzl C, Seiringer R. 2010. Asymptotic behavior of eigenvalues of Schrödinger type operators with degenerate kinetic energy. Mathematische Nachrichten. 283(3), 489–499.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2409   OA
Kupczok A, Schmidt H, Von Haeseler A. 2010. Accuracy of phylogeny reconstruction methods combining overlapping gene data sets . Algorithms for Molecular Biology. 5(1), 37.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 2442   OA
Beeckman T, Friml J. 2010. Nitrate Contra Auxin: Nutrient Sensing by roots. Developmental Cell. 18(6), 877–878.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3072   OA
Grunewald W, Friml J. 2010. The march of the PINs: Developmental plasticity by dynamic polar targeting in plant cells. EMBO Journal. 29(16), 2700–2714.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2010 | Conference Paper | IST-REx-ID: 2978   OA
Bangerter E, Camenisch J, Krenn S. 2010. Efficiency Limitations for Σ-Protocols for Group Homomorphisms. TCC: Theory of Cryptography Conference, LNCS, vol. 5978. 553–571.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 2980   OA
Bangerter E, Briner T, Henecka W, Krenn S, Sadeghi A, Schneider T. 2010. Automatic Generation of Sigma-Protocols. EuroPKI: Public Key Infrastructures, Services and Applications, LNCS, vol. 6391. 67–82.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3077   OA
Friml J, Jones A. 2010. Endoplasmic reticulum: The rising compartment in auxin biology. Plant Physiology. 154(2), 458–462.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3306   OA
Evans S, Sturmfels B, Uhler C. 2010. Commuting birth and death processes. The Annals of Applied Probability. 20, 238–266.
View | DOI | Download (ext.)
 

2010 | Preprint | IST-REx-ID: 3743   OA
Tkacik G. 2010. From statistical mechanics to information theory: understanding biophysical information-processing systems. ArXiv. q-MN, 1–52.
View | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3748   OA
Park H, Pontius W, Guet CC, Marko J, Emonet T, Cluzel P. 2010. Interdependence of behavioural variability and response to small stimuli in bacteria. Nature. 468, 819–823.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3779   OA
Rosas U, Barton NH, Copsey L, Barbier De Reuille P, Coen E. 2010. Cryptic variation between species and the basis of hybrid performance. PLoS Biology. 8(7), e1000429.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3832   OA
Guzmán J, Jonas PM. 2010. Beyond TARPs: The growing list of auxiliary AMPAR subunits. Neuron. 66(1), 8–10.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2010 | Conference Paper | IST-REx-ID: 3849   OA
Bendich P, Edelsbrunner H, Kerber M, Patel A. 2010. Persistent homology under non-uniform error. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6281. 12–23.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3868   OA
Chatterjee K, De Alfaro L, Majumdar R, Raman V. 2010. Algorithms for game metrics. Logical Methods in Computer Science. 6(3), 1–27.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 4157   OA
Papusheva E, Heisenberg C-PJ. 2010. Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis. EMBO Journal. 29(16), 2753–2768.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2010 | Conference Paper | IST-REx-ID: 4378   OA
Kuncak V, Piskac R, Suter P, Wies T. 2010. Building a calculus of data structures. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 5944. 26–44.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4380   OA
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. 2010. A marketplace for cloud resources. EMSOFT: Embedded Software 1–8.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 488   OA
Alur R, Cerny P. 2010. Expressiveness of streaming string transducers. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 8. 1–12.
View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed