Scholarly Index

Miroslav N. Velev

Aries Design Automation (United States); 1,302 total citations; 77 total publications; best world rank #499

Aries Design Automation (United States)

1,302Total citations
77Total publications
20H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime499US 19395.55
Embedded Systems Design TechniquesLifetime974US 41994.60
Model-Driven Software Engineering TechniquesLifetime692US 13590.53