Dorel Lucanu
Universitatea Alexandru Ioan Cuza din Iasi
H-index: 19
Europe-Romania
Top articles of Dorel Lucanu
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Proof-carrying parameters in certified symbolic execution | Logic Journal of the IGPL | Andrei Arusoaie Dorel Lucanu | 2023/5/1 |
Capturing constrained constructor patterns in matching logic | Journal of Logical and Algebraic Methods in Programming | Xiaohong Chen Dorel Lucanu Grigore Roşu | 2023/1/1 |
Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models | arXiv preprint arXiv:2309.13798 | Dorel Lucanu | 2023/9/25 |
Full Transparency in DBI frameworks | arXiv preprint arXiv:2306.13529 | Vlad Crăciun Andrei Mogage Dorel Lucanu | 2023/6/23 |
A matching logic foundation for alk | Alexandru-Ioan Lungu Dorel Lucanu | 2022/9/27 | |
Supporting algorithm analysis with symbolic execution in ALK | Alexandru-Ioan Lungu Dorel Lucanu | 2022/7/3 | |
Matching logic explained | Journal of Logical and Algebraic Methods in Programming | Xiaohong Chen Dorel Lucanu Grigore Roşu | 2021/4/1 |
Journal of Logical and Algebraic Methods in Programming | Luca Cardelli Giuseppe Squillace Mirco Tribastone Max Tschaikowski Andrea Vandin | 2023 | |
Capturing Term Algebra Computations in Matching Logic | Logic and Applications LAP 2022 | Dorel Lucanu | 2021/9/26 |
Connecting constrained constructor patterns and matching logic | Xiaohong Chen Dorel Lucanu Grigore Roşu | 2020 | |
Initial algebra semantics in matching logic | Xiaohong Chen Dorel Lucanu Grigore Roşu | 2020 |