Didier Verna
Didier Verna publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Mathematics, Computing, and Information Processing, Model-Driven Software Engineering Techniques and DNA and Biological Computing.
- World rank
- #1,134,551 of 1,633,909 ranked researchers
- Rank in France
- #69,776 of 96,116
- Works
- 19
- Citations
- 0
What does Didier Verna 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
- 2Computational Theory and Mathematics20% of their works
- 3Software13% of their works
- 4Computer Networks and Communications7% of their works
- 5History and Philosophy of Science7% of their works
- 6Molecular Biology7% of their works
Research topics
- Mathematics, Computing, and Information Processing
- Model-Driven Software Engineering Techniques
- DNA and Biological Computing
- Computational Physics and Python Applications
- Logic, programming, and type systems
- Advanced Software Engineering Methodologies
- Authorship Attribution and Profiling
- Formal Methods in Verification
Which keywords describe Didier Verna's research?
The keywords of their largest research topics: Domain-Specific Languages, Machine Learning, Math Search, Mathematical Information Retrieval, Model Checking, Model-Driven Engineering, Authorship Attribution and Autonomic Computing.
- Symbolic Model Checker
- Static Analysis
- Scientific Computing
- Python
- Formal Verification
- Autonomic Computing
- Model-Driven Engineering
- Mathematical Information Retrieval
- Machine Learning
- Domain-Specific Languages
- Math Search
- Model Checking
- Authorship Attribution
- DNA Computing
- Molecular Computation
- Satisfiability Modulo Theories
- Self-Adaptive Systems
- Stylometry
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 18 words, with their numbers
- Domain-Specific Languages21 topic
- Machine Learning22 topics
- Math Search21 topic
- Mathematical Information Retrieval21 topic
- Model Checking22 topics
- Model-Driven Engineering21 topic
- Authorship Attribution11 topic
- Autonomic Computing11 topic
- DNA Computing11 topic
- Formal Verification11 topic
- Molecular Computation11 topic
- Python11 topic
- Satisfiability Modulo Theories11 topic
- Scientific Computing11 topic
- Self-Adaptive Systems11 topic
- Static Analysis11 topic
- Stylometry11 topic
- Symbolic Model Checker11 topic
Where does Didier Verna work?
Didier Verna's main affiliation in the publication record is Systèmes d'Elevage Méditerranéens et Tropicaux - Laboratoire de Recherche sur le Développement de l'Elevage, France.
How many publications and citations does Didier Verna have?
Science Explorer counts 19 works and 0 citations for Didier Verna, ranking #1,134,551 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.