Paola Inverardi
Paola Inverardi publishes mostly in Artificial Intelligence, Information Systems and Computer Networks and Communications, on topics such as Advanced Software Engineering Methodologies, Service-Oriented Architecture and Web Services and Logic, programming, and type systems.
- World rank
- #1,029,733 of 1,633,909 ranked researchers
- Rank in Italy
- #41,019 of 65,712
- Works
- 23
- Citations
- 37
- Citations per work
- 1.6
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 Intelligence32% of their works
- 2Information Systems18% of their works
- 3Computer Networks and Communications18% of their works
- 4Computer Vision and Pattern Recognition7% of their works
- 5Computer Science Applications4% of their works
- 6Signal Processing4% of their works
Research topics
- Advanced Software Engineering Methodologies
- Service-Oriented Architecture and Web Services
- Logic, programming, and type systems
- Software System Performance and Reliability
- Distributed systems and fault tolerance
- Context-Aware Activity Recognition Systems
- Logic, Reasoning, and Knowledge
- Formal Methods in Verification
Which keywords describe Paola Inverardi's research?
The keywords of their largest research topics: Autonomic Computing, Self-Adaptive Systems, Distributed Systems, Model Checking, QoS-Aware Middleware, Semantic Web Services, Activity Recognition and Consistency.
- Satisfiability Modulo Theories
- Answer Set Programming
- Static Analysis
- Performance Prediction
- Formal Verification
- Consistency
- Semantic Web Services
- Model Checking
- Self-Adaptive Systems
- Autonomic Computing
- Distributed Systems
- QoS-Aware Middleware
- Activity Recognition
- Fault Tolerance
- Log Analysis
- Pervasive Computing
- Temporal Logic
- Modal Logic
- Symbolic Model Checker
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
- Autonomic Computing61 topic
- Self-Adaptive Systems61 topic
- Distributed Systems42 topics
- Model Checking43 topics
- QoS-Aware Middleware31 topic
- Semantic Web Services31 topic
- Activity Recognition21 topic
- Consistency21 topic
- Fault Tolerance21 topic
- Formal Verification21 topic
- Log Analysis21 topic
- Performance Prediction21 topic
- Pervasive Computing21 topic
- Static Analysis21 topic
- Temporal Logic22 topics
- Answer Set Programming11 topic
- Modal Logic11 topic
- Satisfiability Modulo Theories11 topic
- Symbolic Model Checker11 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 23 works and 37 citations for Paola Inverardi, ranking #1,029,733 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.