Top1000 Scholar

Scholarly Index

Marta Kwiatkowska

University of Oxford; 8,858 total citations; 277 total publications; best world rank #21

University of Oxford

8,858Total citations
277Total publications
47H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime21GB 199.53
Software Reliability and Analysis ResearchLifetime99GB 798.91
Advanced Software Engineering MethodologiesLifetime167GB 1498.14
Petri Nets in System ModelingLifetime85GB 497.52
Model-Driven Software Engineering TechniquesLifetime176GB 1596.38
Safety Systems Engineering in AutonomyLifetime67GB 1495.26
Real-Time Systems SchedulingLifetime289GB 996.00
Distributed systems and fault toleranceLifetime772GB 3095.29
Gene Regulatory Network AnalysisLifetime537GB 5293.97
Embedded Systems Design TechniquesLifetime944GB 3894.70
Software Testing and Debugging TechniquesLifetime723GB 3894.07
Logic, Reasoning, and KnowledgeLifetime603GB 8193.29
Adversarial Robustness in Machine LearningLifetime518GB 2689.56
Logic, programming, and type systemsLifetime882GB 10591.32
Formal Methods in Verification2021-2025762GB 5758.76
Logic, Reasoning, and Knowledge2021-2025830GB 7243.98
Machine Learning and Algorithms2021-2025822GB 3633.18