Alexandru-Ioan Lungu

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Alk: A Formal-Methods-based Educational Platform for Enhancing Algorithmic Thinking.

[BibT_eX]

[DOI]

Sci. Ann. Comput. Sci., 2024

2022

Supporting Algorithm Analysis with Symbolic Execution in Alk.

[BibT_eX]

[DOI]

Alexandru-Ioan Lungu

Dorel Lucanu

Proceedings of the Theoretical Aspects of Software Engineering, 2022

A Matching Logic Foundation for Alk.

[BibT_eX]

[DOI]

Alexandru-Ioan Lungu

Dorel Lucanu

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

2021

Extended Z3 Array.

[BibT_eX]

[DOI]

Alexandru-Ioan Lungu

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

Alexandru-Ioan Lungu

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...