Edit Profile (opens in new tab) Trinh, Cong Quy Co-Author Distance Author ID: trinh.cong-quy Published as: Trinh, Cong Quy Documents Indexed: 3 Publications since 2013 Co-Authors: 5 Co-Authors with 3 Joint Publications 183 Co-Co-Authors Co-Authors 0 single-authored 3 Abdulla, Parosh Aziz 3 Jonsson, Bengt 2 Holík, Lukáš 2 Lengál, Ondřej 2 Vojnar, Tomáš Serials 1 Acta Informatica Fields 3 Computer science (68-XX) Publications by Year Citations contained in zbMATH Open 2 Publications have been cited 3 times in 3 Documents Cited by ▼ Year ▼ Verification of heap manipulating programs with ordered data by extended forest automata. Zbl 1344.68135 Abdulla, Parosh Aziz; Holík, Lukáš; Jonsson, Bengt; Lengál, Ondřej; Trinh, Cong Quy; Vojnar, Tomáš 2 2013 Verification of heap manipulating programs with ordered data by extended forest automata. Zbl 1344.68136 Abdulla, Parosh Aziz; Holík, Lukáš; Jonsson, Bengt; Lengál, Ondřej; Trinh, Cong Quy; Vojnar, Tomáš 1 2016 Verification of heap manipulating programs with ordered data by extended forest automata. Zbl 1344.68136 Abdulla, Parosh Aziz; Holík, Lukáš; Jonsson, Bengt; Lengál, Ondřej; Trinh, Cong Quy; Vojnar, Tomáš 1 2016 Verification of heap manipulating programs with ordered data by extended forest automata. Zbl 1344.68135 Abdulla, Parosh Aziz; Holík, Lukáš; Jonsson, Bengt; Lengál, Ondřej; Trinh, Cong Quy; Vojnar, Tomáš 2 2013 all top 5 Cited by 11 Authors 2 Holík, Lukáš 2 Lengál, Ondřej 2 Vojnar, Tomáš 1 Abdulla, Parosh Aziz 1 Corradini, Andrea 1 Hruška, Martin 1 Jonsson, Bengt 1 König, Barbara 1 Nolte, Dennis 1 Rogalewicz, Adam 1 Trinh, Cong Quy Cited in 2 Serials 1 Acta Informatica 1 Journal of Logical and Algebraic Methods in Programming Cited in 3 Fields 3 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Category theory; homological algebra (18-XX) Citations by Year