Scholarly Index

Margus Veanes

Microsoft (United States); 2,109 total citations; 109 total publications; best world rank #12

Microsoft (United States)

2,109Total citations
109Total publications
22H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Software Testing and Debugging TechniquesLifetime468US 18795.82
Formal Methods in VerificationLifetime539US 20595.29
semigroups and automata theoryLifetime312US 11294.21
Web Application Security VulnerabilitiesLifetime75US 3192.41
Logic, programming, and type systemsLifetime633US 22193.32
semigroups and automata theory2021-202512US 391.45
Logic, programming, and type systems2021-2025146US 2879.08
Formal Methods in Verification2021-2025496US 10468.12