Science Explorer Back to mapMap
Discussion
Researcher · University of Oxford · United Kingdom

Marta Kwiatkowska

Marta Kwiatkowska publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Formal Methods in Verification, Software Reliability and Analysis Research and Advanced Software Engineering Methodologies.

ORCID 0000-0001-9022-7599 OpenAlex
World rank
#132,567
of 7,710,434 ranked researchers
Rank in United Kingdom
#11,902
of 367,258
Works
539
Citations
20k
Citations per work
37.4
h-index
68
i10-index 262Top 0.3% in Artificial Intelligence
Marta Kwiatkowska

What does Marta Kwiatkowska research?

Marta Kwiatkowska's work is mostly in Computer Science (69%), Biochemistry, Genetics and Molecular Biology (6%).

Physical Sciences: 371 works · 68.8% of their workComputer Science: 371 works · 68.8% of their workArtificial Intelligence: 132 works · 24.5% of their workComputational Theory and Mathematics: 119 works · 22.0% of their workSoftware: 57 works · 10.5% of their workComputer Networks and Communications: 39 works · 7.2% of their workHardware and Architecture: 25 works · 4.6% of their workEverything else: 136 works · 25.2% of their workLife Sciences: 32 works · 6.0% of their workBiochemistry, Genetics and Molecular Biology: 32 works · 6.0% of their workMolecular Biology: 32 works · 6.0% of their workTHEIR WORKMarta Kwiatkowska539works
Life Sciences6%Physical Sciences69%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science37168.8%
  2. Everything else13625.2%
    1. Biochemistry, Genetics and Molecular Biology326.0%
  1. 1Artificial Intelligence24% of their works
  2. 2Computational Theory and Mathematics22% of their works
  3. 3Software10% of their works
  4. 4Computer Networks and Communications7% of their works
  5. 5Molecular Biology6% of their works
  6. 6Hardware and Architecture5% of their works

Research topics

Which keywords describe Marta Kwiatkowska's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Architecture-Based Approach, Software Reliability Modeling, Autonomic Computing and Self-Adaptive Systems.

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.

All 18 words, with their numbers
  1. Model Checking2902 topics
  2. Temporal Logic2902 topics
  3. Satisfiability Modulo Theories2511 topic
  4. Symbolic Model Checker2511 topic
  5. Architecture-Based Approach841 topic
  6. Software Reliability Modeling841 topic
  7. Autonomic Computing601 topic
  8. Self-Adaptive Systems601 topic
  9. Adversarial Examples591 topic
  10. Deep Learning591 topic
  11. Deadlock Prevention561 topic
  12. Petri Nets561 topic
  13. Answer Set Programming391 topic
  14. Modal Logic391 topic
  15. Domain-Specific Languages361 topic
  16. Gene Regulatory Networks361 topic
  17. Model-Driven Engineering361 topic
  18. Stochastic Gene Expression361 topic

Where does Marta Kwiatkowska work?

Marta Kwiatkowska's main affiliation in the publication record is University of Oxford, United Kingdom.

How many publications and citations does Marta Kwiatkowska have?

OpenAlex counts 539 works and 20,140 citations for Marta Kwiatkowska, an h-index of 68, ranking #132,567 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised citation excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Marta Kwiatkowska. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.