Extended Z3 Array. - Alexandru-Ioan Lungu (SYNASC, 2021)

A Matching Logic Foundation for Alk. - Alexandru-Ioan Lungu; Dorel Lucanu (ICTAC, 2022)

Supporting Algorithm Analysis with Symbolic Execution in Alk. - Alexandru-Ioan Lungu; Dorel Lucanu (TASE, 2022)

Alk: A Formal-Methods-based Educational Platform for Enhancing Algorithmic Thinking. - Alexandru-Ioan Lungu; Vlad Teodorescu; Andrei Zaborila; Oana Andrei; Dorel Lucanu (Sci. Ann. Comput. Sci., 2024)