Lungu Alexandru-Ioan

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 3

Top Topics

Relational Structures

Top Venues

Publications

Lungu Alexandru-Ioan, Dorel Lucanu
Supporting Algorithm Analysis with Symbolic Execution in Alk. TASE (2022)
Lungu Alexandru-Ioan, Dorel Lucanu
A Matching Logic Foundation for Alk. ICTAC (2022)
Lungu Alexandru-Ioan
Extended Z3 Array. SYNASC (2021)