Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 3.

Book section

Brauer, Jorg and King, Andy and Kriener, Jael (2011) Existential Quantification as Incremental SAT: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings. In: Gopalakrishnan, Ganesh and Qadeer, Shaz, eds. Computer Aided Verification. Lecture Notes in Computer Science, 6806 . Springer, pp. 191-207. ISBN 9783642221095. (doi:10.1007/978-3-642-22110-1_17) (Full text available)
[img]
Preview

Conference or workshop item

Alglave, Jade and Batty, Mark and Donaldson, Alastair F. and Gopalakrishnan, Ganesh and Ketema, Jeroen and Poetzl, Daniel and Sorensen, Tyler and Wickerson, John (2015) GPU Concurrency: Weak Behaviours and Programming Assumptions. In: Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 14-18 Mar 2015, Istanbul, Turkey. (doi:10.1145/2694344.2694391) (Full text available)
[img]
Preview

Brauer, Jorg and King, Andy and Kriener, Jael (2011) Existential Quantification as Incremental SAT. In: Twenty Third International Conference on Computer Aided Verification. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

This list was generated on Fri Aug 26 20:13:58 2016 BST.