QC-LDPC Codes From Difference Matrices and Difference Covering Arrays. - Diane M. Donovan; Asha Rao; Elif Üsküplü; Emine Sule Yazici (IEEE Access, 2023)

Formalizing two-level type theory with cofibrant exo-nat. - Elif Üsküplü (CoRR, 2023)