Akram Idani
Akram Idani publishes mostly in Artificial Intelligence, Software and Computational Theory and Mathematics, on topics such as Model-Driven Software Engineering Techniques, Formal Methods in Verification and Advanced Software Engineering Methodologies.
- World rank
- #1,384,079 of 1,633,909 ranked researchers
- Rank in France
- #83,670 of 96,116
- Works
- 23
- Citations
- 11
- Citations per work
- 0.5
What does Akram Idani research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence20% of their works
- 2Software20% of their works
- 3Computational Theory and Mathematics17% of their works
- 4Information Systems10% of their works
- 5Management Information Systems7% of their works
- 6General Health Professions7% of their works
Research topics
- Model-Driven Software Engineering Techniques
- Formal Methods in Verification
- Advanced Software Engineering Methodologies
- Service-Oriented Architecture and Web Services
- Business Process Modeling and Analysis
- Agriculture and Rural Development Research
- Semantic Web and Ontologies
- Logic, programming, and type systems
Which keywords describe Akram Idani's research?
The keywords of their largest research topics: Domain-Specific Languages, Model Checking, Model-Driven Engineering, Satisfiability Modulo Theories, Symbolic Model Checker, Autonomic Computing, Self-Adaptive Systems and Business Process Management.
- Static Analysis
- Ontology
- Formal Verification
- Semantic Web Services
- Business Process Management
- Autonomic Computing
- Satisfiability Modulo Theories
- Model Checking
- Domain-Specific Languages
- Model-Driven Engineering
- Symbolic Model Checker
- Self-Adaptive Systems
- QoS-Aware Middleware
- Workflow Mining
- Livestock Farming
- Semantic Web
- Sustainability
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
- Domain-Specific Languages61 topic
- Model Checking62 topics
- Model-Driven Engineering61 topic
- Satisfiability Modulo Theories51 topic
- Symbolic Model Checker51 topic
- Autonomic Computing41 topic
- Self-Adaptive Systems41 topic
- Business Process Management21 topic
- QoS-Aware Middleware21 topic
- Semantic Web Services21 topic
- Workflow Mining21 topic
- Formal Verification11 topic
- Livestock Farming11 topic
- Ontology11 topic
- Semantic Web11 topic
- Static Analysis11 topic
- Sustainability11 topic
Where does Akram Idani work?
Akram Idani's main affiliation in the publication record is Laboratoire d'Informatique de Grenoble, France.
How many publications and citations does Akram Idani have?
Science Explorer counts 23 works and 11 citations for Akram Idani, ranking #1,384,079 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.