Alexandru-Ioan Lungu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2021–2022
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ICTAC | A Matching Logic Foundation for Alk. | Alexandru-Ioan Lungu, Dorel Lucanu |
| 2022 | TASE | Supporting Algorithm Analysis with Symbolic Execution in Alk. | Alexandru-Ioan Lungu, Dorel Lucanu |
| 2021 | SYNASC | Extended Z3 Array. | Alexandru-Ioan Lungu |