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.

3382 Publications


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: 2979 | OA
Almeida J, Bangerter E, Barbosa M, Krenn S, Sadeghi A, Schneider T. 2010. A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols. ESORICS: European Symposium on Research in Computer Security, LNCS, vol. 6345, 151–167.
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: 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: 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: 1774 | OA
Bianchetti R, Filipp S, Baur M, Fink JM, Lang C, Steffen L, Boissonneault M, Blais A, Wallraff A. 2010. Control and tomography of a three level superconducting artificial atom. Physical Review Letters. 105(22).
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2095 | OA
Beeler T, Bickel B, Beardsley P, Sumner B, Groß M. 2010. High-quality single-shot capture of facial geometry. ACM Transactions on Graphics. 29(4).
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: 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 | Journal Article | IST-REx-ID: 2195 | OA
Lemeshko M, Jambrina P, De Miranda M, Friedrich B. 2010. Communications: When diffraction rules the stereodynamics of rotationally inelastic collisions. Journal of Chemical Physics. 132(16).
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2196 | OA
Lemeshko M, Friedrich B. 2010. Fine-tuning molecular energy levels by nonresonant laser pulses. Journal of Physical Chemistry A. 114(36), 9848–9854.
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 | 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
 

2010 | Conference Paper | IST-REx-ID: 489 | OA
Cristau J, David C, Horn F. 2010. How do we remember the past in randomised strategies? . Proceedings of GandALF 2010. GandALF: Games, Automata, Logic, and Formal Verification, EPTCS, vol. 25, 30–39.
View | DOI | Download Published Version (ext.)
 

2010 | Technical Report | IST-REx-ID: 5388 | OA
Chatterjee K, Cerny P, Henzinger TA, Radhakrishna A, Singh R. 2010. Quantitative synthesis for concurrent programs, IST Austria, 17p.
View | Files available | DOI
 

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

2010 | Technical Report | IST-REx-ID: 5390 | OA
Chatterjee K, Fijalkow N. 2010. Topological, automata-theoretic and logical characterization of finitary languages, IST Austria, 21p.
View | Files available | DOI
 

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

2010 | Journal Article | IST-REx-ID: 598 | OA
Meyer K, Lin S, Bernecky C, 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 None (ext.)
 

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

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

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 Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 1465 | OA
Hausel T. 2010. Kac’s conjecture from Nakajima quiver varieties. Inventiones Mathematicae. 181(1), 21–37.
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 | Book Chapter | IST-REx-ID: 1468 | OA
Hausel T. 2010.S-Duality in HyperkäHler Hodge Theory. In: The Many Facets of Geometry: A Tribute to Nigel Hitchin. .
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1044 | OA
Danzl JG, 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 Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 1045 | OA
Haller E, Mark M, Hart R, Danzl JG, 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 Preprint (ext.) | arXiv
 

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

2010 | Journal Article | IST-REx-ID: 1049 | OA
Haller E, Hart R, Mark M, Danzl JG, 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 Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 9012 | OA
Palacci JA, Abécassis B, Cottin-Bizonne C, Ybert C, Bocquet L. 2010. Colloidal motility and pattern formation under rectified diffusiophoresis. Physical Review Letters. 104(13), 138302.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2010 | Journal Article | IST-REx-ID: 9013 | OA
Palacci JA, Cottin-Bizonne C, Ybert C, Bocquet L. 2010. Sedimentation and effective temperature of active colloidal suspensions. Physical Review Letters. 105(8), 088304.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2010 | Journal Article | IST-REx-ID: 9146 | OA
O’Gorman PA, MULLER CJ. 2010. How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations? Environmental Research Letters. 5(2), 025207.
View | DOI | Download Published Version (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3719 | OA
Feret J, Henzinger TA, Koeppl H, Petrov T. 2010. Lumpability abstractions of rule-based systems. MECBIC: Membrane Computing and Biologically Inspired Process Calculi, EPTCS, vol. 40, 142–161.
View | Files available | arXiv
 

2010 | Preprint | IST-REx-ID: 3743 | OA
Tkačik 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: 3749 | OA
Park H, Guet CC, Emonet T, Cluzel P. 2010. Fine-tuning of chemotactic response in E. coli determined by high-throughput capillary assay. Current Microbiology. 62(3), 764–769.
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: 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 Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3776 | OA
Barton NH. 2010. Genetic linkage and natural selection. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 365(1552), 2559–2569.
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 Submitted Version (ext.) | PubMed | Europe PMC
 

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

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

2010 | Conference Paper | IST-REx-ID: 3793 | OA
Nowozin S, Gehler P, Lampert C. 2010. On parameter learning in CRF-based approaches to object class image segmentation. ECCV: European Conference on Computer Vision, LNCS, vol. 6316, 98–111.
View | Files available | DOI
 

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

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: 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 Published Version (ext.) | PubMed | Europe PMC
 

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

2010 | Conference Paper | IST-REx-ID: 3838 | OA
Henzinger TA, Mateescu M, Mikeev L, Wolf V. 2010. Hybrid numerical solution of the chemical master equation. CMSB: Computational Methods in Systems Biology, 55–65.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3839 | OA
Henzinger TA, Hottelier T, Kovács L, Voronkov A. 2010. Invariant and type inference for matrices. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 5944, 163–179.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3842 | OA
Didier F, Henzinger TA, Mateescu M, Wolf V. 2010. Fast adaptive uniformization of the chemical master equation. IET Systems Biology. 4(6), 441–452.
View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications