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


2010 | Conference Paper | IST-REx-ID: 2979 | OA
J. Almeida, E. Bangerter, M. Barbosa, S. Krenn, A. Sadeghi, and T. Schneider, “A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols,” presented at the ESORICS: European Symposium on Research in Computer Security, 2010, vol. 6345, pp. 151–167.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1752 | OA
G. Katsaros et al., “Hybrid superconductor-semiconductor devices made from self-assembled SiGe nanocrystals on silicon,” Nature Nanotechnology, vol. 5, no. 6. Nature Publishing Group, pp. 458–464, 2010.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1753 | OA
R. Songmuang et al., “Quantum transport in GaN/AlN double-barrier heterostructure nanowires,” Nano Letters, vol. 10, no. 9. American Chemical Society, pp. 3545–3550, 2010.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1773 | OA
J. M. Fink et al., “Quantum-to-classical transition in cavity quantum electrodynamics,” Physical Review Letters, vol. 105, no. 16. American Physical Society, 2010.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 1774 | OA
R. Bianchetti et al., “Control and tomography of a three level superconducting artificial atom,” Physical Review Letters, vol. 105, no. 22. American Physical Society, 2010.
View | DOI | Download (ext.)
 

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

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

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

2010 | Journal Article | IST-REx-ID: 2195 | OA
M. Lemeshko, P. Jambrina, M. De Miranda, and B. Friedrich, “Communications: When diffraction rules the stereodynamics of rotationally inelastic collisions,” Journal of Chemical Physics, vol. 132, no. 16. American Institute of Physics, 2010.
View | DOI | Download (ext.)
 

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

2010 | Journal Article | IST-REx-ID: 2197 | OA
M. Lemeshko and B. Friedrich, “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, vol. 82, no. 2. American Physical Society, 2010.
View | DOI | Download (ext.)
 

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

2010 | Conference Paper | IST-REx-ID: 489 | OA
J. Cristau, C. David, and F. Horn, “How do we remember the past in randomised strategies? ,” in Proceedings of GandALF 2010, Minori, Amalfi Coast, Italy, 2010, vol. 25, pp. 30–39.
View | DOI | Download Published Version (ext.)
 

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

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

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

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

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

2010 | Journal Article | IST-REx-ID: 6142 | OA
K. P. Weber, S. De, I. Kozarewa, D. J. Turner, M. M. Babu, and M. de Bono, “Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans,” PLoS ONE, vol. 5, no. 11. Public Library of Science, 2010.
View | Files available | DOI | PubMed | Europe PMC
 

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

2010 | Journal Article | IST-REx-ID: 7078 | OA
E. K. H. Salje et al., “Tin telluride: A weakly co-elastic metal,” Physical Review B, vol. 82, no. 18. APS, 2010.
View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 1465 | OA
T. Hausel, “Kac’s conjecture from Nakajima quiver varieties,” Inventiones Mathematicae, vol. 181, no. 1. Springer, pp. 21–37, 2010.
View | DOI | Download (ext.)
 

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

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

2010 | Journal Article | IST-REx-ID: 1044 | OA
J. G. Danzl et al., “An ultracold high-density sample of rovibronic ground-state molecules in an optical lattice,” Nature Physics, vol. 6, no. 4. Nature Publishing Group, pp. 265–270, 2010.
View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Journal Article | IST-REx-ID: 1045 | OA
E. Haller et al., “Confinement-induced resonances in low-dimensional quantum systems,” Physical Review Letters, vol. 104, no. 15. American Physical Society, 2010.
View | DOI | Download Preprint (ext.) | arXiv
 

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

2010 | Journal Article | IST-REx-ID: 1049 | OA
E. Haller et al., “Pinning quantum phase transition for a Luttinger liquid of strongly interacting bosons,” Nature, vol. 466, no. 7306. Nature Publishing Group, pp. 597–600, 2010.
View | DOI | Download Preprint (ext.) | arXiv
 

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

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

2010 | Journal Article | IST-REx-ID: 9146 | OA
P. A. O’Gorman and C. J. MULLER, “How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations?,” Environmental Research Letters, vol. 5, no. 2. IOP Publishing, 2010.
View | DOI | Download Published Version (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3719 | OA
J. Feret, T. A. Henzinger, H. Koeppl, and T. Petrov, “Lumpability abstractions of rule-based systems,” presented at the MECBIC: Membrane Computing and Biologically Inspired Process Calculi, Jena, Germany, 2010, vol. 40, pp. 142–161.
View | Files available | arXiv
 

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

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

2010 | Journal Article | IST-REx-ID: 3749 | OA
H. Park, C. C. Guet, T. Emonet, and P. Cluzel, “Fine-tuning of chemotactic response in E. coli determined by high-throughput capillary assay,” Current Microbiology, vol. 62, no. 3. Springer, pp. 764–769, 2010.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3772 | OA
N. H. Barton, “Understanding adaptation in large populations,” PLoS Genetics, vol. 6, no. 6. Public Library of Science, 2010.
View | Files available | DOI
 

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

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

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

2010 | Journal Article | IST-REx-ID: 3787 | OA
F. Palero, S. Hall, P. Clark, D. Johnston, J. Mackenzie Dodds, and S. Thatje, “DNA extraction from formalin-fixed tissue: new light from the deep sea,” Scientia Marina, vol. 74, no. 3. Consejo Superior de Investigaciones Científicas, pp. 465–470, 2010.
View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 3790 | OA
A. Diz Muñoz et al., “Control of directed cell migration in vivo by membrane-to-cortex attachment,” PLoS Biology, vol. 8, no. 11. Public Library of Science, 2010.
View | Files available | DOI
 

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

2010 | Book Chapter | IST-REx-ID: 3795 | OA
H. Edelsbrunner, D. Morozov, and A. Patel, “The stability of the apparent contour of an orientable 2-manifold,” 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: 3831 | OA
A. Norenberg, H. Hu, I. Vida, M. Bartos, and P. M. Jonas, “Distinct nonuniform cable properties optimize rapid and efficient activation of fast-spiking GABAergic interneurons,” PNAS, vol. 107, no. 2. National Academy of Sciences, pp. 894–9, 2010.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3832 | OA
J. Guzmán and P. M. Jonas, “Beyond TARPs: The growing list of auxiliary AMPAR subunits,” Neuron, vol. 66, no. 1. Elsevier, pp. 8–10, 2010.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3834 | OA
V. Wolf, R. Goel, M. Mateescu, and T. A. Henzinger, “Solving the chemical master equation using sliding windows,” BMC Systems Biology, vol. 4, no. 42. BioMed Central, pp. 1–19, 2010.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3838 | OA
T. A. Henzinger, M. Mateescu, L. Mikeev, and V. Wolf, “Hybrid numerical solution of the chemical master equation,” presented at the CMSB: Computational Methods in Systems Biology, Trento, Italy, 2010, pp. 55–65.
View | Files available | DOI
 

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

2010 | Journal Article | IST-REx-ID: 3842 | OA
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “Fast adaptive uniformization of the chemical master equation,” IET Systems Biology, vol. 4, no. 6. Institution of Engineering and Technology, pp. 441–452, 2010.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3845 | OA
T. A. Henzinger, T. Hottelier, L. Kovács, and A. Rybalchenko, “Aligators for arrays,” presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Yogyakarta, Indonesia, 2010, vol. 6397, pp. 348–356.
View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications