'Homology groups of types in model theory and the computation of H2 (p)' (with J. Goodrick and A. Kolesnikov), J. of Symbolic Logic, 78 (2013) 1086-1114.
'Notions around tree propery 1' (with H.-J. Kim), Annals of Pure and Applied Logic, 162 (2011) 698-709. Erratum - The independence relation suggested for Example 0.1(1) does not satisfy the extension axiom.
'Tree indiscernibilities, revisited' (with H.-J. Kim and L. Scow), Archive for Math. Logic, 53 (2014) 211-232.
'The Lascar group, and the strong types of hyperimaginaries', Notre Dame Journal of Formal Logic, 54 (2013) 497-507.
'A classification of 2-chains having 1-shell boundaries in rosy theories' (with SunYoung Kim and Junguk Lee), J. of Symbolic Logic, 80 (2015) 322-340. Erratum - The fixed strong type p should be atype of an algebraically closed tuple (over its parameter), since each vertex of simplices in p are defined to be an algebraically closed set.
'Type-amalgamation properties and polygroupoids in stable theories' (with J. Goodrick and A. Kolesnikov), J. of Math. Logic, 15 (2015) 45 pp.
'Homology groups of types in stable theories and the Hurewicz correspondence' (with J. Goodrick and A. Kolesnikov), Annals of Pure and Applied Logic, 168 (2017) 1710-1728.
'On the n-uniqueness of types in rosy theories', Archive for Math. Logic, 55 (2016) 677-686.