Top1000 Scholar

Scholarly Index

Matthias Felleisen

Northeastern University; 10,770 total citations; 248 total publications; best world rank #6

Northeastern University

10,770Total citations
248Total publications
54H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime6US 399.71
Formal Methods in VerificationLifetime35US 2199.39
Parallel Computing and Optimization TechniquesLifetime238US 16898.92
Software Engineering ResearchLifetime154US 5298.87
Logic, Reasoning, and KnowledgeLifetime178US 5997.38
Advanced Software Engineering MethodologiesLifetime284US 7697.39
Teaching and Learning ProgrammingLifetime234US 12596.28
Software Testing and Debugging TechniquesLifetime616US 23394.74
Security and Verification in ComputingLifetime876US 41089.16
Model-Driven Software Engineering TechniquesLifetime915US 18587.95
Logic, programming, and type systems2021-2025202US 4074.71