Lucas Lima
Scholar

Lucas Lima

Google Scholar ID: S6KcfFwAAAAJ
Universidade Federal Rural de Pernambuco
Formal semanticsformal verificationmodel-checkingModeling
Google Scholar↗
Citations & Impact
All-time
Citations
115
 
H-index
5
 
i10-index
3
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
2 items
Model management to support systems engineering workflows using ontology-based knowledge graphs
2025
Cited
0
Reasonable Experiments in Model-Based Systems Engineering
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)