Lungu Alexandru-Ioan

According to our database¹, Lungu Alexandru-Ioan authored at least 3 papers between 2021 and 2022.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2022

Supporting Algorithm Analysis with Symbolic Execution in Alk.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Software Engineering, 2022

A Matching Logic Foundation for Alk.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2021

Extended Z3 Array.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2021