MK

Marta Kwiatkowska

University of Oxford GB

ORCID iD 0000-0001-9022-7599
540
Publications
20,121
Citations
68
H-Index
265
i10-Index
0
2yr Mean Cite
-
Cite/Paper
Data combined from OpenAlex . OA = OpenAlex S2 = Semantic Scholar
Verify on Google Scholar

Publications

540 total

No publications found.

Research Topics

Formal Methods in Verification Software Reliability and Analysis Research Advanced Software Engineering Methodologies Adversarial Robustness in Machine Learning Petri Nets in System Modeling

Affiliations

University of Oxford
GB

Share Profile

Continue on JournalsHub

Put what you just read into practice with these free tools.

Comparison Shortlist
0 journals
Est. APC Budget: $0
Compare Now
Compare 0 Open → Clear
Save your viewing history
You've browsed several journals this session. Sign in to track them in one place and get weekly impact-factor updates.
Save with Google