Ismail Kuru | TU Delft Repository

IK

Ismail Kuru

Book chapter (1)

Conference paper (1)

2 records found

1

Verification Tools for Transactional Programs

Book chapter (2015) - Adrian Cristal (author), Burcu Özkan (author), Burcu Külahçıoğlu Kulahcioglu Ozkan (author), Burcu Ozkan (author), Burcu Külahçıoğlu Ozkan (author), Burcu Kulahcioglu Özkan (author), Burcu Kulahcioglu Kulahcioglu Ozkan (author), Burcu Kulahcioglu Ozkan (author), Burcu Kulahcioglu Ozkan (author), Burcu Külahçıoğlu Özkan (author), Ernie Cohen (author), Gokcen Kestor (author), Ismail Kuru (author), Osman S. Unsal (author), Serdar Tasiran (author), Suha Orhun Mutluergil (author), Tayfun Elmas (author)

Verifying programs under snapshot isolation and similar relaxed consistency models

Conference paper (2014) - Ismail Kuru (author), Burcu Ozkan (author), Burcu Kulahcioglu Özkan (author), Burcu Kulahcioglu Ozkan (author), Burcu Kulahcioglu Ozkan (author), Burcu Külahçıoğlu Kulahcioglu Ozkan (author), Burcu Kulahcioglu Kulahcioglu Ozkan (author), Burcu Özkan (author), Burcu Külahçıoğlu Ozkan (author), Burcu Külahçıoğlu Özkan (author), Suha Orhun Mutluergil (author), Serdar Tasiran (author), Tayfun Elmas (author), Ernie Cohen (author)