Alternative proofs of the asymmetric Lovász local lemma and Shearer's lemma. - Ioannis Giotis 001; Lefteris M. Kirousis; John Livieratos; Kostas I. Psaromiligkos; Dimitrios M. Thilikos (GASCom, 2018)

A Simple Algorithmic Proof of the Symmetric Lopsided Lovász Local Lemma. - Lefteris M. Kirousis; John Livieratos (LION, 2018)

Algorithmically Efficient Syntactic Characterization of Possibility Domains. - Josep Díaz; Lefteris M. Kirousis; Sofia Kokonezi; John Livieratos (ICALP, 2019)

Algorithmic Aspects on the Construction of Separating Codes. - Marcel Fernandez; John Livieratos (SEA², 2019)

Aggregation of Votes with Multiple Positions on Each Issue. - Lefteris M. Kirousis; Phokion G. Kolaitis; John Livieratos (ACM Trans. Economics and Comput., 2019)

Directed Lovász local lemma and Shearer's lemma. - Lefteris M. Kirousis; John Livieratos; Kostas I. Psaromiligkos (Ann. Math. Artif. Intell., 2020)

Constraint satisfaction problems: probabilistic approach and applications to social choice theory - John Livieratos (2020)

Correction to: Directed Lovász Local Lemma and Shearer's Lemma. - Lefteris M. Kirousis; John Livieratos; Kostas I. Psaromiligkos (Ann. Math. Artif. Intell., 2021)

On the Computational Complexity of Non-Dictatorial Aggregation. - John Livieratos; Phokion G. Kolaitis; Lefteris M. Kirousis (J. Artif. Intell. Res., 2021)

Bounds and Constructions of Parent Identifying Schemes via the Algorithmic Version of the Lovász Local Lemma. - Marcel Fernández; John Livieratos; Sebastià Martín (IEEE Trans. Inf. Theory, 2023)

An algorithmic construction of union-intersection-bounded families. - Marcel Fernández; John Livieratos; Sebastià Martín (Theor. Comput. Sci., 2024)

Frameproof codes, separable codes and B2 codes: Bounds and constructions. - Marcel Fernandez; John Livieratos; Sebastià Martín (Cryptogr. Commun., 2024)

Combinatorial constructions of separating codes. - Marcel Fernández; John Livieratos; Sebastià Martín (J. Complex., 2025)