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