Edit Profile Sezgin, Ali Compute Distance To: Compute Author ID: sezgin.ali Published as: Sezgin, Ali Documents Indexed: 7 Publications since 2005 all top 5 Co-Authors 0 single-authored 5 Henzinger, Thomas A. 2 Kirsch, Christoph M. 2 Payer, Hannes 2 Sokolova, Ana 2 Vafeiadis, Viktor 1 Chakraborty, Soham 1 Elmas, Tayfun 1 Gopalakrishnan, Ganesh Lalitha 1 Guet, Călin C. 1 Haas, Andreas 1 Holzer, Andreas 1 Igler, Claudia 1 Lippautz, Michael 1 Petrov, Tatjana 1 Qadeer, Shaz 1 Subasi, Omer 1 Tasiran, Serdar 1 Veith, Helmut Serials 1 Information Processing Letters 1 Logical Methods in Computer Science Fields 6 Computer science (68-XX) 1 Biology and other natural sciences (92-XX) Publications by Year Citations contained in zbMATH 3 Publications have been cited 14 times in 12 Documents Cited by ▼ Year ▼ Quantitative relaxation of concurrent data structures. Zbl 1301.68176Henzinger, Thomas A.; Kirsch, Christoph M.; Payer, Hannes; Sezgin, Ali; Sokolova, Ana 6 2013 Aspect-oriented linearizability proofs. Zbl 1390.68213Henzinger, Thomas A.; Sezgin, Ali; Vafeiadis, Viktor 6 2013 Simplifying linearizability proofs with reduction and abstraction. Zbl 1284.68181Elmas, Tayfun; Qadeer, Shaz; Sezgin, Ali; Subasi, Omer; Tasiran, Serdar 2 2010 Quantitative relaxation of concurrent data structures. Zbl 1301.68176Henzinger, Thomas A.; Kirsch, Christoph M.; Payer, Hannes; Sezgin, Ali; Sokolova, Ana 6 2013 Aspect-oriented linearizability proofs. Zbl 1390.68213Henzinger, Thomas A.; Sezgin, Ali; Vafeiadis, Viktor 6 2013 Simplifying linearizability proofs with reduction and abstraction. Zbl 1284.68181Elmas, Tayfun; Qadeer, Shaz; Sezgin, Ali; Subasi, Omer; Tasiran, Serdar 2 2010 all top 5 Cited by 24 Authors 3 Bouajjani, Ahmed 3 Enea, Constantin 2 Emmi, Michael 2 Hamza, Jad 2 Shavit, Nir N. 2 Talmage, Edward 2 Taubenfeld, Gadi 2 Welch, Jennifer Lundelius 1 Derrick, John 1 Dodds, Mike 1 Dongol, Brijesh 1 Gotsman, Alexey 1 Hierons, Robert Mark 1 Jonsson, Bengt 1 Khyzha, Artem 1 Lee, Hyunyoung 1 Lv, Yi 1 Parkinson, Matthew J. 1 Schellhorn, Gerhard 1 Wang, Chao 1 Wang, Chao 1 Wang, Jiaqi 1 Wehrheim, Heike 1 Wu, Peng Cited in 5 Serials 3 Information and Computation 1 Formal Aspects of Computing 1 Distributed Computing 1 ACM Transactions on Computational Logic 1 Algorithms Cited in 2 Fields 12 Computer science (68-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year