Alain Giorgetti
Alain Giorgetti publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Software Testing and Debugging Techniques.
- World rank
- #6,034,047 of 7,710,434 ranked researchers
- Rank in France
- #257,229 of 324,115
- Works
- 116
- Citations
- 557
- Citations per work
- 4.8
What does Alain Giorgetti research?
Alain Giorgetti's work is mostly in Computer Science (62%), Mathematics (10%).
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
- Physical Sciences8371.5%
- Computer Science7261.8%
- Mathematics119.7%
- Everything else3328.5%
- 1Artificial Intelligence26% of their works
- 2Computational Theory and Mathematics16% of their works
- 3Software15% of their works
- 4Geometry and Topology5% of their works
- 5Information Systems5% of their works
- 6Mathematical Physics5% of their works
Research topics
Which keywords describe Alain Giorgetti's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Automated Testing, Satisfiability Modulo Theories, Software Fault Localization, Symbolic Model Checker and Domain-Specific Languages.
- Self-Adaptive Systems
- Autonomic Computing
- Refactoring
- Architecture-Based Approach
- Domain-Specific Languages
- Software Fault Localization
- Automated Testing
- Formal Verification
- Model Checking
- Static Analysis
- Satisfiability Modulo Theories
- Symbolic Model Checker
- Model-Driven Engineering
- Code Clone Detection
- Software Reliability Modeling
- Ontology
- Semantic Web
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 Checking582 topics
- Formal Verification321 topic
- Static Analysis321 topic
- Automated Testing261 topic
- Satisfiability Modulo Theories261 topic
- Software Fault Localization261 topic
- Symbolic Model Checker261 topic
- Domain-Specific Languages121 topic
- Model-Driven Engineering121 topic
- Architecture-Based Approach91 topic
- Code Clone Detection91 topic
- Refactoring91 topic
- Software Reliability Modeling91 topic
- Autonomic Computing81 topic
- Ontology81 topic
- Self-Adaptive Systems81 topic
- Semantic Web81 topic
Where does Alain Giorgetti work?
Alain Giorgetti's main affiliation in the publication record is Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et Technologies, France.
How many publications and citations does Alain Giorgetti have?
OpenAlex counts 116 works and 557 citations for Alain Giorgetti, an h-index of 13, ranking #6,034,047 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 Alain Giorgetti. Posts are plain text and can be reported.