Paola Inverardi
Paola Inverardi publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Information Systems, on topics such as Advanced Software Engineering Methodologies, Formal Methods in Verification and Model-Driven Software Engineering Techniques.
- World rank
- #543,177 of 1,633,909 ranked researchers
- Rank in Italy
- #19,606 of 65,712
- Works
- 25
- Citations
- 62
- Citations per work
- 2.5
What does Paola Inverardi research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence30% of their works
- 2Computational Theory and Mathematics18% of their works
- 3Information Systems15% of their works
- 4Software11% of their works
- 5Computer Networks and Communications11% of their works
- 6Molecular Biology4% of their works
Research topics
Which keywords describe Paola Inverardi's research?
The keywords of their largest research topics: Model Checking, Autonomic Computing, Satisfiability Modulo Theories, Self-Adaptive Systems, Symbolic Model Checker, Domain-Specific Languages, Model-Driven Engineering and Code Clone Detection.
- Side-Channel Attacks
- Security Policies
- Gene Regulatory Networks
- Refactoring
- Code Clone Detection
- Domain-Specific Languages
- Self-Adaptive Systems
- Autonomic Computing
- Model Checking
- Satisfiability Modulo Theories
- Symbolic Model Checker
- Model-Driven Engineering
- Formal Verification
- Static Analysis
- Ontology
- Semantic Web
- Stochastic Gene Expression
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 17 words, with their numbers
- Model Checking62 topics
- Autonomic Computing41 topic
- Satisfiability Modulo Theories41 topic
- Self-Adaptive Systems41 topic
- Symbolic Model Checker41 topic
- Domain-Specific Languages31 topic
- Model-Driven Engineering31 topic
- Code Clone Detection21 topic
- Formal Verification21 topic
- Refactoring21 topic
- Static Analysis21 topic
- Gene Regulatory Networks11 topic
- Ontology11 topic
- Security Policies11 topic
- Semantic Web11 topic
- Side-Channel Attacks11 topic
- Stochastic Gene Expression11 topic
Where does Paola Inverardi work?
Paola Inverardi's main affiliation in the publication record is University of L'Aquila, Italy.
How many publications and citations does Paola Inverardi have?
Science Explorer counts 25 works and 62 citations for Paola Inverardi, ranking #543,177 of 1,633,909 researchers worldwide on the composite 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.
Other researchers named Paola Inverardi
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.