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.
5851 Publications
2013 | Journal Article | IST-REx-ID: 9663 |
Cheng, Bingqing, and Alfonso H. W. Ngan. “Thermally Induced Solid-Solid Structural Transition of Copper Nanoparticles through Direct Geometrical Conversion.” The Journal of Chemical Physics, vol. 138, no. 16, 164314, AIP Publishing, 2013, doi:10.1063/1.4802025.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 970 |
Serbyn, Maksym, and Dmitry Abanin. “New Dirac Points and Multiple Landau Level Crossings in Biased Trilayer Graphene.” Physical Review B - Condensed Matter and Materials Physics, vol. 87, no. 11, American Physical Society, 2013, doi:10.1103/PhysRevB.87.115422.
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 973 |
Serbyn, Maksym, et al. “Local Conservation Laws and the Structure of the Many Body Localized States.” Physical Review Letters, vol. 111, no. 12, American Physical Society, 2013, doi:10.1103/PhysRevLett.111.127201.
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 974 |
Serbyn, Maksym, et al. “Overscreened Kondo Fixed Point in S=1 Spin Liquid.” Physical Review B - Condensed Matter and Materials Physics, vol. 88, no. 2, American Physical Society, 2013, doi:10.1103/PhysRevB.88.024419.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2284 |
Tragust, Simon, et al. “Pupal Cocoons Affect Sanitary Brood Care and Limit Fungal Infections in Ant Colonies.” BMC Evolutionary Biology, vol. 13, no. 1, 225, BioMed Central, 2013, doi:10.1186/1471-2148-13-225.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2277 |
Simmons, Kristina, et al. “Transformation of Stimulus Correlations by the Retina.” PLoS Computational Biology, vol. 9, no. 12, e1003344, Public Library of Science, 2013, doi:10.1371/journal.pcbi.1003344.
[Published Version]
View
| Files available
| DOI
2013 | Research Data Reference | IST-REx-ID: 9754 |
Hearn, Jack, et al. Data from: Likelihood-Based Inference of Population History from Low Coverage de Novo Genome Assemblies. Dryad, 2013, doi:10.5061/dryad.r3r60.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2013 | Journal Article | IST-REx-ID: 976 |
Serbyn, Maksym, and Patrick Lee. “Spinon-Phonon Interaction in Algebraic Spin Liquids.” Physical Review B - Condensed Matter and Materials Physics, vol. 87, no. 17, American Physical Society, 2013, doi:10.1103/PhysRevB.87.174424.
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 12638 |
Lutz, A. F., et al. “Comparison of Climate Change Signals in CMIP3 and CMIP5 Multi-Model Ensembles and Implications for Central Asian Glaciers.” Hydrology and Earth System Sciences, vol. 17, no. 9, Copernicus GmbH, 2013, pp. 3661–77, doi:10.5194/hess-17-3661-2013.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Journal Article | IST-REx-ID: 12639 |
Ragettli, S., et al. “Sources of Uncertainty in Modeling the Glaciohydrological Response of a Karakoram Watershed to Climate Change.” Water Resources Research, vol. 49, no. 9, American Geophysical Union, 2013, pp. 6048–66, doi:10.1002/wrcr.20450.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Journal Article | IST-REx-ID: 9520 |
Feng, Xiaoqi, et al. “A Conversation across Generations: Soma-Germ Cell Crosstalk in Plants.” Developmental Cell, vol. 24, no. 3, Elsevier, 2013, pp. 215–25, doi:10.1016/j.devcel.2013.01.014.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2914 |
Stephens, Greg, et al. “Statistical Thermodynamics of Natural Images.” Physical Review Letters, vol. 110, no. 1, 018701, American Physical Society, 2013, doi:10.1103/PhysRevLett.110.018701.
[Published Version]
View
| Files available
| DOI
| arXiv
2013 | Book Chapter | IST-REx-ID: 5747 |
Dragoi, Cezara, et al. “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.” Computer Aided Verification, vol. 8044, Springer Berlin Heidelberg, 2013, pp. 174–90, doi:10.1007/978-3-642-39799-8_11.
View
| Files available
| DOI
2013 | Thesis | IST-REx-ID: 1405 |
Zufferey, Damien. Analysis of Dynamic Message Passing Programs. Institute of Science and Technology Austria, 2013, doi:10.15479/at:ista:1405.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2013 | Conference Paper | IST-REx-ID: 2847 |
Bansal, Kshitij, et al. Structural Counter Abstraction. Edited by Nir Piterman and Scott Smolka, vol. 7795, Springer, 2013, pp. 62–77, doi:10.1007/978-3-642-36742-7_5.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2013 | Journal Article | IST-REx-ID: 2247 |
Zagorsky, Benjamin, et al. “Forgiver Triumphs in Alternating Prisoner’s Dilemma .” PLoS One, vol. 8, no. 12, e80814, Public Library of Science, 2013, doi:10.1371/journal.pone.0080814.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2858 |
Reiter, Johannes, et al. “The Effect of One Additional Driver Mutation on Tumor Progression.” Evolutionary Applications, vol. 6, no. 1, Wiley-Blackwell, 2013, pp. 34–45, doi:10.1111/eva.12020.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2816 |
Božić, Ivana, et al. “Evolutionary Dynamics of Cancer in Response to Targeted Combination Therapy.” ELife, vol. 2, e00747, eLife Sciences Publications, 2013, doi:10.7554/eLife.00747.
[Published Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2000 |
Reiter, Johannes, et al. “TTP: Tool for Tumor Progression.” Proceedings of 25th Int. Conf. on Computer Aided Verification, vol. 8044, Springer, 2013, pp. 101–06, doi:10.1007/978-3-642-39799-8_6.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 2445 |
Cerny, Pavol, et al. Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. Vol. 8044, Springer, 2013, pp. 951–67, doi:10.1007/978-3-642-39799-8_68.
[Submitted Version]
View
| Files available
| DOI