Edit Profile Pun, Ka I. Compute Distance To: Compute Author ID: pun.ka-i Published as: Pun, Ka I; Pun, Ka I. Documents Indexed: 7 Publications since 2012 all top 5 Co-Authors 0 single-authored 4 Steffen, Martin 4 Stolz, Volker 2 Johnsen, Einar Broch 2 Román-Díez, Guillermo 1 Albert, Elvira 1 Correas, Jesús 1 Din, Crystal Chang 1 Hähnle, Reiner 1 Laneve, Cosimo 1 Lienhardt, Michael 1 Tapia Tarifa, Silvia Lizeth Serials 3 Journal of Logical and Algebraic Methods in Programming 1 The Journal of Logic and Algebraic Programming 1 ACM Transactions on Computational Logic Fields 7 Computer science (68-XX) Publications by Year Citations contained in zbMATH 4 Publications have been cited 7 times in 5 Documents Cited by ▼ Year ▼ Deadlock checking by a behavioral effect system for lock handling. Zbl 1246.68097Pun, Ka I.; Steffen, Martin; Stolz, Volker 3 2012 Deadlock checking by data race detection. Zbl 1371.68199Pun, Ka I; Steffen, Martin; Stolz, Volker 2 2014 Parallel cost analysis. Zbl 1407.68062Albert, Elvira; Correas, Jesús; Johnsen, Einar Broch; Pun, Ka I.; Román-Díez, Guillermo 1 2018 Deadlock checking by data race detection. Zbl 1434.68112Pun, Ka I; Steffen, Martin; Stolz, Volker 1 2013 Parallel cost analysis. Zbl 1407.68062Albert, Elvira; Correas, Jesús; Johnsen, Einar Broch; Pun, Ka I.; Román-Díez, Guillermo 1 2018 Deadlock checking by data race detection. Zbl 1371.68199Pun, Ka I; Steffen, Martin; Stolz, Volker 2 2014 Deadlock checking by data race detection. Zbl 1434.68112Pun, Ka I; Steffen, Martin; Stolz, Volker 1 2013 Deadlock checking by a behavioral effect system for lock handling. Zbl 1246.68097Pun, Ka I.; Steffen, Martin; Stolz, Volker 3 2012 all top 5 Cited by 10 Authors 3 Pun, Ka I. 3 Steffen, Martin 3 Stolz, Volker 1 Albert, Elvira 1 Bofill, Miquel 1 Borralleras, Cristina 1 Kobayashi, Naoki 1 Laneve, Cosimo 1 Martin-Martin, Enrique 1 Rubio, Albert Cited in 4 Serials 2 Journal of Logical and Algebraic Methods in Programming 1 Information and Computation 1 The Journal of Logic and Algebraic Programming 1 Theory and Practice of Logic Programming Cited in 1 Field 5 Computer science (68-XX) Citations by Year