MK
Marta Kwiatkowska
0000-0001-9022-7599541
Publications
19,881
Citations
67
h-index
261
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (274)
- Book Chapter (136)
- Preprint (114)
- Book (4)
- Review (4)
Filter by Open Access Type
- Open Access (267)
- Closed Access (272)
Filter by Authors
- Marta Kwiatkowska (539)
- Gethin Norman (136)
- David Parker (115)
- Luca Laurenti (44)
- Andrea Patanè (34)
Filter by Topics
- Formal Methods in Verification (254)
- Software Reliability and Analysis Research (86)
- Advanced Software Engineering Methodologies (61)
- Adversarial Robustness in Machine Learning (59)
- Petri Nets in System Modeling (57)