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.
2015 | Conference Paper | IST-REx-ID: 1607 |
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, “Faster algorithms for quantitative verification in constant treewidth graphs,” presented at the CAV: Computer Aided Verification, San Francisco, CA, USA, 2015, vol. 9206, pp. 140–157.View | Files available | DOI | Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 9673
H. S. Leung, P. S. S. Leung, B. Cheng, and A. H. W. Ngan, “A new dislocation-density-function dynamics scheme for computational crystal plasticity by explicit consideration of dislocation elastic interactions,” International Journal of Plasticity, vol. 67. Elsevier, pp. 1–25, 2015.View | DOI
2015 | Journal Article | IST-REx-ID: 9684
P. S. S. Leung, H. S. Leung, B. Cheng, and A. H. W. Ngan, “Size dependence of yield strength simulated by a dislocation-density function dynamics approach,” Modelling and Simulation in Materials Science and Engineering, vol. 23, no. 3. IOP Publishing, 2015.View | DOI
2015 | Journal Article | IST-REx-ID: 1855 |
D. Mcmahon, M. Fürst, J. Caspar, P. Theodorou, M. Brown, and R. Paxton, “A sting in the spit: Widespread cross-infection of multiple RNA viruses across wild and managed bees,” Journal of Animal Ecology, vol. 84, no. 3. Wiley, pp. 615–624, 2015.View | Files available | DOI | PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1830 |
F. Theis, L. V. Ugelvig, C. Marr, and S. Cremer, “Opposing effects of allogrooming on disease transmission in ant societies,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 370, no. 1669. Royal Society, The, 2015.View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1993 |
M. Konrad, A. V. Grasse, S. Tragust, and S. Cremer, “Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 282, no. 1799. Royal Society, 2015.View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC