Ernie Cohen

info

Please Note

<p>This page displays the records of the person named above and is not linked to a unique person identifier. This record may need to be merged to a profile.</p>

Book chapter (1)

Conference paper (1)

2 records found

Verification Tools for Transactional Programs

Book chapter (2015) - Adrian Cristal Cristal (author) , Burcu Kulahcioglu Ozkan Kulahcioglu Ozkan (author) , Ernie Cohen Cohen (author) , Gokcen Kestor Kestor (author) , Ismail Kuru Kuru (author) , Osman Unsal Unsal (author) , Serdar Tasiran Tasiran (author) , Suha Orhun Mutluergil Mutluergil (author) , Tayfun Elmas Elmas (author)

Verifying programs under snapshot isolation and similar relaxed consistency models

Conference paper (2014) - Ismail Kuru Kuru (author) , Burcu Kulahcioglu Ozkan Kulahcioglu Ozkan (author) , Suha Orhun Mutluergil Mutluergil (author) , Serdar Tasiran Tasiran (author) , Tayfun Elmas Elmas (author) , Ernie Cohen Cohen (author)