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.
- 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
Discussion
Ask a question or share a note about Raphaël Berthon. Posts are plain text and can be reported.