Franco Mazzanti
Franco Mazzanti publishes mostly in Artificial Intelligence, Software and Computational Theory and Mathematics, on topics such as Advanced Software Engineering Methodologies, Formal Methods in Verification and Model-Driven Software Engineering Techniques.
- World rank
- #462,310 of 1,633,909 ranked researchers
- Rank in Italy
- #16,184 of 65,712
- Works
- 18
- Citations
- 65
- Citations per work
- 3.6
What does Franco Mazzanti 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
- 2Software20% of their works
- 3Computational Theory and Mathematics20% of their works
- 4Industrial and Manufacturing Engineering13% of their works
- 5Information Systems7% of their works
- 6Hardware and Architecture7% of their works
Research topics
- Advanced Software Engineering Methodologies
- Formal Methods in Verification
- Model-Driven Software Engineering Techniques
- Logic, programming, and type systems
- Parallel Computing and Optimization Techniques
- Software Engineering Research
- Transportation and Mobility Innovations
- Advanced Manufacturing and Logistics Optimization
Which keywords describe Franco Mazzanti's research?
The keywords of their largest research topics: Model Checking, Autonomic Computing, Domain-Specific Languages, Model-Driven Engineering, Satisfiability Modulo Theories, Self-Adaptive Systems, Symbolic Model Checker and Code Clone Detection.
- Static Analysis
- Ridesharing
- Performance Optimization
- Order Picking
- Code Clone Detection
- Self-Adaptive Systems
- Model-Driven Engineering
- Autonomic Computing
- Model Checking
- Domain-Specific Languages
- Satisfiability Modulo Theories
- Symbolic Model Checker
- Formal Verification
- Parallel Computing
- Refactoring
- Shared Autonomous Vehicles
- Warehouse Design
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 Checking42 topics
- Autonomic Computing31 topic
- Domain-Specific Languages31 topic
- Model-Driven Engineering31 topic
- Satisfiability Modulo Theories31 topic
- Self-Adaptive Systems31 topic
- Symbolic Model Checker31 topic
- Code Clone Detection11 topic
- Formal Verification11 topic
- Order Picking11 topic
- Parallel Computing11 topic
- Performance Optimization11 topic
- Refactoring11 topic
- Ridesharing11 topic
- Shared Autonomous Vehicles11 topic
- Static Analysis11 topic
- Warehouse Design11 topic
Where does Franco Mazzanti work?
Franco Mazzanti's main affiliation in the publication record is Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo", Italy.
How many publications and citations does Franco Mazzanti have?
Science Explorer counts 18 works and 65 citations for Franco Mazzanti, ranking #462,310 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.