Researcher · Centrum Wiskunde & Informatica · Netherlands
Benjamin Lion
Benjamin Lion publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Hardware and Architecture, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Petri Nets in System Modeling.
- World rank
- #6,686,312 of 7,710,434 ranked researchers
- Rank in Netherlands
- #103,128 of 107,149
- Works
- 25
- Citations
- 56
- Citations per work
- 2.2
Discussion
Ask a question or share a note about Benjamin Lion. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.