Science Explorer Back to mapMap
Discussion
Researcher · KU Leuven · Belgium

Johan Lewi

Johan Lewi publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Model-Driven Software Engineering Techniques.

OpenAlex
World rank
#5,921,571
of 7,710,434 ranked researchers
Rank in Belgium
#52,421
of 67,186
Works
83
Citations
394
Citations per work
4.7
h-index
11
i10-index 15Top 37% in Artificial Intelligence
Johan Lewi

What does Johan Lewi research?

Johan Lewi's work is mostly in Computer Science (67%), Engineering (6%).

Physical Sciences: 60 works · 72.5% of their workComputer Science: 55 works · 66.7% of their workArtificial Intelligence: 23 works · 27.5% of their workComputational Theory and Mathematics: 12 works · 14.0% of their workSoftware: 10 works · 12.6% of their workHardware and Architecture: 6 works · 6.8% of their workInformation Systems: 5 works · 5.8% of their workEngineering: 5 works · 5.8% of their workIndustrial and Manufacturing Engineering: 5 works · 5.8% of their workEverything else: 23 works · 27.5% of their workTHEIR WORKJohan Lewi83works
Physical Sciences72%

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 Science5566.7%
    2. Engineering55.8%
  2. Everything else2327.5%
  1. 1Artificial Intelligence28% of their works
  2. 2Computational Theory and Mathematics14% of their works
  3. 3Software13% of their works
  4. 4Hardware and Architecture7% of their works
  5. 5Industrial and Manufacturing Engineering6% of their works
  6. 6Information Systems6% of their works

Research topics

Which keywords describe Johan Lewi's research?

The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Satisfiability Modulo Theories, Symbolic Model Checker, Domain-Specific Languages, Model-Driven Engineering and Autonomic Computing.

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 17 words, with their numbers
  1. Model Checking442 topics
  2. Formal Verification251 topic
  3. Static Analysis251 topic
  4. Satisfiability Modulo Theories191 topic
  5. Symbolic Model Checker191 topic
  6. Domain-Specific Languages171 topic
  7. Model-Driven Engineering171 topic
  8. Autonomic Computing101 topic
  9. Self-Adaptive Systems101 topic
  10. Continuous Queries81 topic
  11. Data Stream Management81 topic
  12. High-Level Synthesis71 topic
  13. Reconfigurable Computing71 topic
  14. QoS-Aware Middleware61 topic
  15. Semantic Web Services61 topic
  16. Ontology51 topic
  17. Semantic Web51 topic

Where does Johan Lewi work?

Johan Lewi's main affiliation in the publication record is KU Leuven, Belgium.

How many publications and citations does Johan Lewi have?

OpenAlex counts 83 works and 394 citations for Johan Lewi, an h-index of 11, ranking #5,921,571 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 Johan Lewi. Posts are plain text and can be reported.