☰

Ali Sezgin, Ph.D. - Publications

Affiliations: 
2004 University of Utah, Salt Lake City, UT 
Area:
Computer Science
Tree Info Similar researchers PubMed Report error

2 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2005 Sezgin A, Gopalakrishnan G. On the decidability of shared memory consistency verification Proceedings - Third Acm and Ieee International Conference On Formal Methods and Models For Co-Design, Memocode'05. 2005: 199-206. DOI: 10.1109/MEMCOD.2005.1487915  0.381
2005 Sezgin A, Gopalakrishnan G. On the definition of sequential consistency Information Processing Letters. 96: 193-196. DOI: 10.1016/J.Ipl.2005.09.002  0.412
Show low-probability matches.