Lorenzo Bettini
Lorenzo Bettini publishes mostly in Artificial Intelligence, Computer Networks and Communications and Software, on topics such as Logic, programming, and type systems, Model-Driven Software Engineering Techniques and Advanced Software Engineering Methodologies.
- World rank
- #101,742 of 1,633,909 ranked researchers
- Rank in Italy
- #2,828 of 65,712
- Works
- 37
- Citations
- 217
- Citations per work
- 5.9
What does Lorenzo Bettini research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence27% of their works
- 2Computer Networks and Communications17% of their works
- 3Software15% of their works
- 4Information Systems12% of their works
- 5Computational Theory and Mathematics6% of their works
- 6Information Systems and Management4% of their works
Research topics
- Logic, programming, and type systems
- Model-Driven Software Engineering Techniques
- Advanced Software Engineering Methodologies
- Service-Oriented Architecture and Web Services
- Formal Methods in Verification
- Distributed systems and fault tolerance
- Advanced Database Systems and Queries
- Mobile Agent-Based Network Management
Which keywords describe Lorenzo Bettini's research?
The keywords of their largest research topics: Model Checking, Domain-Specific Languages, Formal Verification, Model-Driven Engineering, Static Analysis, Autonomic Computing, Distributed Systems and Fault Tolerance.
- Mobile Agents
- Continuous Queries
- Symbolic Model Checker
- Consistency
- QoS-Aware Middleware
- Fault Tolerance
- Autonomic Computing
- Model-Driven Engineering
- Domain-Specific Languages
- Model Checking
- Formal Verification
- Static Analysis
- Distributed Systems
- Self-Adaptive Systems
- Semantic Web Services
- Satisfiability Modulo Theories
- Transactional Memory
- Data Stream Management
- Network Management
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
- Model Checking92 topics
- Domain-Specific Languages61 topic
- Formal Verification61 topic
- Model-Driven Engineering61 topic
- Static Analysis61 topic
- Autonomic Computing51 topic
- Distributed Systems52 topics
- Fault Tolerance52 topics
- Self-Adaptive Systems51 topic
- QoS-Aware Middleware41 topic
- Semantic Web Services41 topic
- Consistency31 topic
- Satisfiability Modulo Theories31 topic
- Symbolic Model Checker31 topic
- Transactional Memory31 topic
- Continuous Queries21 topic
- Data Stream Management21 topic
- Mobile Agents21 topic
- Network Management21 topic
Where does Lorenzo Bettini work?
Lorenzo Bettini's main affiliation in the publication record is University of Turin, Italy.
How many publications and citations does Lorenzo Bettini have?
Science Explorer counts 37 works and 217 citations for Lorenzo Bettini, ranking #101,742 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.
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.