Dorel Lucanu
Scholar

Dorel Lucanu

Google Scholar ID: 2YOn9jkAAAAJ
Professor of Computer Science, Alexandru Ioan Cuza University, Iasi, RO
Formal MethodsSoftware EngineeringProgram SemanticsRewriting
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,412
 
H-index
19
 
i10-index
40
 
Publications
20
 
Co-authors
33
list available
Contact
No contact links provided.
Publications
4 items
Circular Induction
2026
Cited
0
Benchmarking LLM-Based Static Analysis for Secure Smart Contract Development: Reliability, Limitations, and Potential Hybrid Solutions
2026
Cited
0
Navigating the Python Type Jungle
2025
Cited
0
Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
2025
Cited
0
Resume (English only)
Co-authors
33 total
Grigore Rosu
Grigore Rosu
University of Illinois at Urbana Champaign
Andrei Arusoaie
Andrei Arusoaie
Associate Professor at Faculty of Computer Science, Alexandru Ioan Cuza University
Vlad Rusu
Vlad Rusu
Inria
Co-author 4
Co-author 4
Oana Andrei
Oana Andrei
School of Computing Science, University of Glasgow
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8