Science Explorer Back to mapMap
Discussion
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.

ORCID 0000-0001-8788-9276 OpenAlex
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
h-index
5
i10-index 1Top 81% in Computational Theory and Mathematics
Benjamin Lion

What does Benjamin Lion research?

Benjamin Lion's work is mostly in Computer Science (70%), Engineering (7%), Biochemistry, Genetics and Molecular Biology (3%).

Physical Sciences: 19 works · 76.6% of their workComputer Science: 17 works · 69.8% of their workComputational Theory and Mathematics: 8 works · 32.9% of their workArtificial Intelligence: 5 works · 20.5% of their workHardware and Architecture: 2 works · 8.2% of their workSoftware: 2 works · 8.2% of their workEngineering: 2 works · 6.8% of their workMechanical Engineering: 2 works · 6.8% of their workEverything else: 5 works · 20.7% of their workLife Sciences: 1 works · 2.7% of their workBiochemistry, Genetics and Molecular Biology: 1 works · 2.7% of their workMolecular Biology: 1 works · 2.7% of their workTHEIR WORKBenjamin Lion25works
Life Sciences3%Physical Sciences77%

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 Science1769.8%
    2. Engineering26.8%
  2. Everything else520.7%
    1. Biochemistry, Genetics and Molecular Biology12.7%
  1. 1Computational Theory and Mathematics33% of their works
  2. 2Artificial Intelligence20% of their works
  3. 3Hardware and Architecture8% of their works
  4. 4Software8% of their works
  5. 5Mechanical Engineering7% of their works
  6. 6Molecular Biology3% of their works

Research topics

Which keywords describe Benjamin Lion's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Deadlock Prevention, Formal Verification, Petri Nets 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 18 words, with their numbers
  1. Model Checking263 topics
  2. Temporal Logic192 topics
  3. Satisfiability Modulo Theories161 topic
  4. Symbolic Model Checker161 topic
  5. Deadlock Prevention71 topic
  6. Formal Verification71 topic
  7. Petri Nets71 topic
  8. Static Analysis71 topic
  9. Domain-Specific Languages61 topic
  10. Model-Driven Engineering61 topic
  11. Modular Robots51 topic
  12. Self-Reconfiguration51 topic
  13. High-Level Synthesis41 topic
  14. Reconfigurable Computing41 topic
  15. Answer Set Programming31 topic
  16. Modal Logic31 topic
  17. Autonomic Computing21 topic
  18. Self-Adaptive Systems21 topic

Where does Benjamin Lion work?

Benjamin Lion's main affiliation in the publication record is Centrum Wiskunde & Informatica, Netherlands.

How many publications and citations does Benjamin Lion have?

OpenAlex counts 25 works and 56 citations for Benjamin Lion, an h-index of 5, ranking #6,686,312 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 Benjamin Lion. Posts are plain text and can be reported.