Science Explorer Back to mapMap
Discussion
Researcher · University of Pisa · Italy

Laura Semini

Laura Semini publishes mostly in Artificial Intelligence, Information Systems and Computational Theory and Mathematics, on topics such as Advanced Software Engineering Methodologies, Formal Methods in Verification and Software Engineering Research.

ORCID 0000-0001-8774-2346 OpenAlex
World rank
#2,696,644
of 7,710,434 ranked researchers
Rank in Italy
#90,832
of 242,206
Works
74
Citations
466
Citations per work
6.3
h-index
12
i10-index 18Top 32% in Artificial Intelligence
Laura Semini

What does Laura Semini research?

Laura Semini's work is mostly in Computer Science (83%), Business, Management and Accounting (4%).

Physical Sciences: 61 works · 82.6% of their workComputer Science: 61 works · 82.6% of their workArtificial Intelligence: 24 works · 32.1% of their workInformation Systems: 15 works · 20.9% of their workComputational Theory and Mathematics: 8 works · 11.2% of their workComputer Networks and Communications: 8 works · 10.2% of their workSoftware: 6 works · 8.2% of their workEverything else: 10 works · 13.8% of their workSocial Sciences: 3 works · 3.6% of their workBusiness, Management and Accounting: 3 works · 3.6% of their workManagement Information Systems: 3 works · 3.6% of their workTHEIR WORKLaura Semini74works
Physical Sciences83%Social Sciences4%

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 Science6182.6%
  2. Everything else1013.8%
    1. Business, Management and Accounting33.6%
  1. 1Artificial Intelligence32% of their works
  2. 2Information Systems21% of their works
  3. 3Computational Theory and Mathematics11% of their works
  4. 4Computer Networks and Communications10% of their works
  5. 5Software8% of their works
  6. 6Management Information Systems4% of their works

Research topics

Which keywords describe Laura Semini's research?

The keywords of their largest research topics: Model Checking, Requirements Engineering, Temporal Logic, Autonomic Computing, Satisfiability Modulo Theories, Self-Adaptive Systems, Symbolic Model Checker and Code Clone Detection.

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.

All 19 words, with their numbers
  1. Model Checking423 topics
  2. Requirements Engineering302 topics
  3. Temporal Logic302 topics
  4. Autonomic Computing191 topic
  5. Satisfiability Modulo Theories191 topic
  6. Self-Adaptive Systems191 topic
  7. Symbolic Model Checker191 topic
  8. Code Clone Detection171 topic
  9. Refactoring171 topic
  10. Formal Verification121 topic
  11. Static Analysis121 topic
  12. Agile Software Development111 topic
  13. Answer Set Programming111 topic
  14. Empirical Studies111 topic
  15. Modal Logic111 topic
  16. QoS-Aware Middleware111 topic
  17. Semantic Web Services111 topic
  18. Domain-Specific Languages81 topic
  19. Model-Driven Engineering81 topic

Where does Laura Semini work?

Laura Semini's main affiliation in the publication record is University of Pisa, Italy.

How many publications and citations does Laura Semini have?

OpenAlex counts 74 works and 466 citations for Laura Semini, an h-index of 12, ranking #2,696,644 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised 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 Laura Semini. Posts are plain text and can be reported.