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.
2010 | Conference Paper | IST-REx-ID: 4390 |
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and R. Alur, “Model checking of linearizability of concurrent list implementations,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 465–479.View | Files available | DOI
2010 | Conference Paper | IST-REx-ID: 10908 |
R. Blanc, T. A. Henzinger, T. Hottelier, and L. Kovács, “ABC: Algebraic Bound Computation for loops,” in Logic for Programming, Artificial Intelligence, and Reasoning, Dakar, Senegal, 2010, vol. 6355, pp. 103–118.View | DOI | Download Submitted Version (ext.)
2009 | Journal Article | IST-REx-ID: 2796
A. De Lózar and B. Hof, “An experimental study of the decay of turbulent puffs in pipe flow,” Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, vol. 367, no. 1888. Royal Society of London, pp. 589–599, 2009.View | DOI