Please note that ISTA 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.
7478 Publications
2010 | Published | Conference Paper | IST-REx-ID: 3838 | 
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.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3839 |
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.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3847 |
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.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3849 |
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.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 385 |
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 None (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 3852 |
Chatterjee K, Majumdar R. 2010. Discounting in games across time scales. GandALF: Games, Automata, Logic, and Formal Verification, EPTCS, vol. 25, 22–29.
[Published Version]
View
| Files available
| DOI
| arXiv
2010 | Published | Journal Article | IST-REx-ID: 3904 |
Ugelvig LV, Kronauer D, Schrempf A, Heinze J, Cremer S. 2010. Rapid anti-pathogen response in ant societies relies on high genetic diversity. Proceedings of the Royal Society of London Series B Biological Sciences. 277(1695), 2821–2828.
View
| DOI
| Download None (ext.)
2010 | Published | Journal Article | IST-REx-ID: 3960 |
Weber M, Sixt MK. 2010. MEK signalling tunes actin treadmilling for interstitial lymphocyte migration. EMBO Journal. 29(17), 2861–2863.
View
| DOI
| Download (ext.)
2010 | Published | Journal Article | IST-REx-ID: 18024 |
Dell’Angela M, Kladnik G, Cossaro A, Verdini A, Kamenetska M, Tamblyn I, Quek SY, Neaton JB, Cvetko D, Morgante A, Venkataraman L. 2010. Relating energy level alignment and amine-linked single molecule junction conductance. Nano Letters. 10(7), 2470–2474.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Published | Journal Article | IST-REx-ID: 10127 |
Šarić A, Cacciuto A. 2010. Particle self-assembly on soft elastic shells. Soft Matter. 7(5), 1874–1878.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Published | Journal Article | IST-REx-ID: 10390 |
Šarić A, Bozorgui B, Cacciuto A. 2010. Packing of soft asymmetric dumbbells. The Journal of Physical Chemistry B. 115(22), 7182–7189.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2010 | Published | Journal Article | IST-REx-ID: 10391 |
Šarić A, Pàmies JC, Cacciuto A. 2010. Effective elasticity of a flexible filament bound to a deformable cylindrical surface. Physical Review Letters. 104(22), 226101.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2010 | Published | Journal Article | IST-REx-ID: 1044 |
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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Published | Journal Article | IST-REx-ID: 1045 |
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).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Published | Journal Article | IST-REx-ID: 1047 |
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).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Published | Journal Article | IST-REx-ID: 1049 |
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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Published | Journal Article | IST-REx-ID: 9485 |
Zemach A, Kim MY, Silva P, Rodrigues JA, Dotson B, Brooks MD, Zilberman D. 2010. Local DNA hypomethylation activates genes in rice endosperm. Proceedings of the National Academy of Sciences. 107(43), 18729–18734.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 9489 |
Zemach A, Zilberman D. 2010. Evolution of eukaryotic DNA methylation and the pursuit of safer sex. Current Biology. 20(17), R780–R785.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 9012 |
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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2010 | Published | Journal Article | IST-REx-ID: 9013 |
Palacci JA, Cottin-Bizonne C, Ybert C, Bocquet L. 2010. Sedimentation and effective temperature of active colloidal suspensions. Physical Review Letters. 105(8), 088304.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv