Science Explorer Back to mapMap
Discussion
Researcher · University of Naples Federico II · Italy

Raphaël Berthon

Raphaël Berthon publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Formal Methods in Verification, Logic, Reasoning, and Knowledge and Logic, programming, and type systems.

ORCID 0000-0002-2580-5193 OpenAlex
World rank
#5,214,815
of 7,710,434 ranked researchers
Rank in Italy
#175,095
of 242,206
Works
25
Citations
111
Citations per work
4.4
h-index
5
i10-index 4Top 82% in Artificial Intelligence
Raphaël Berthon

What does Raphaël Berthon research?

Raphaël Berthon's work is mostly in Computer Science (96%), Decision Sciences (3%).

Physical Sciences: 24 works · 95.9% of their workComputer Science: 24 works · 95.9% of their workArtificial Intelligence: 11 works · 45.2% of their workComputational Theory and Mathematics: 10 works · 38.4% of their workComputer Networks and Communications: 2 works · 8.2% of their workSoftware: 1 works · 2.7% of their workHardware and Architecture: 0 works · 1.4% of their workSocial Sciences: 1 works · 2.7% of their workDecision Sciences: 1 works · 2.7% of their workManagement Science and Operations Research: 1 works · 2.7% of their workTHEIR WORKRaphaël Berthon25works
Physical Sciences96%Social Sciences3%

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
    1. Computer Science2495.9%
    1. Decision Sciences12.7%
  1. 1Artificial Intelligence45% of their works
  2. 2Computational Theory and Mathematics38% of their works
  3. 3Computer Networks and Communications8% of their works
  4. 4Software3% of their works
  5. 5Management Science and Operations Research3% of their works
  6. 6Hardware and Architecture1% of their works

Research topics

Which keywords describe Raphaël Berthon's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Answer Set Programming, Modal Logic, Formal Verification and Static Analysis.

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 21 words, with their numbers
  1. Model Checking403 topics
  2. Temporal Logic322 topics
  3. Satisfiability Modulo Theories181 topic
  4. Symbolic Model Checker181 topic
  5. Answer Set Programming141 topic
  6. Modal Logic141 topic
  7. Formal Verification81 topic
  8. Static Analysis81 topic
  9. Formal Methods62 topics
  10. Deadlock Prevention41 topic
  11. Deep Learning42 topics
  12. Multi-Agent Systems42 topics
  13. Petri Nets41 topic
  14. Active Learning21 topic
  15. Agent-Based Modeling21 topic
  16. Algorithmic Information Theory21 topic
  17. Argumentation Frameworks21 topic
  18. Computability21 topic
  19. Machine Learning21 topic
  20. Neural Networks21 topic
  21. Reinforcement Learning21 topic

Where does Raphaël Berthon work?

Raphaël Berthon's main affiliation in the publication record is University of Naples Federico II, Italy.

How many publications and citations does Raphaël Berthon have?

OpenAlex counts 25 works and 111 citations for Raphaël Berthon, an h-index of 5, ranking #5,214,815 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 Raphaël Berthon. Posts are plain text and can be reported.