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
393
 
H-index
11
 
i10-index
12
 
Publications
20
 
Co-authors
33
list available
Contact
No contact links provided.
Publications
2 items
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