Marta Kwiatkowska
About
Marta Kwiatkowska has authored 179 papers that have received a total of 3.4k indexed citations.
This includes 92 papers in Computational Theory and Mathematics, 64 papers in Artificial Intelligence and 44 papers in Software. The topics of these papers are Formal Methods in Verification (89 papers), Software Reliability and Analysis Research (30 papers) and Advanced Software Engineering Methodologies (22 papers). Marta Kwiatkowska is often cited by papers focused on Formal Methods in Verification (89 papers), Software Reliability and Analysis Research (30 papers) and Advanced Software Engineering Methodologies (22 papers) and collaborates with scholars based in United Kingdom, Italy and United States. Marta Kwiatkowska's co-authors include Gethin Norman, David Parker, Luca Cardelli, Luca Laurenti and Radu Călinescu and has published in prestigious journals such as Nature, The Journal of Chemical Physics and PLoS ONE.
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by G. Breitenecker are published in Top authors papers by Mark King are co-authored with Top journals papers by Xuefei Li are published in Top authors papers by Angel Chao are co-authored with Top fields papers by Daniel M Fatovich are about Top authors papers by Siegfried Geyer are co-authored with Top countries impacted by papers by Dongming Li Top fields papers by Christopher Gan are about