Science Explorer Back to mapMap
Discussion
Researcher · Synopsys (Switzerland) · Switzerland

Aart De Geus

Aart De Geus publishes mostly in Electrical and Electronic Engineering, Mechanical Engineering and Information Systems, on topics such as Formal Methods in Verification, Software Engineering Research and VLSI and FPGA Design Techniques.

OpenAlex
World rank
#2,863,325
of 7,710,434 ranked researchers
Rank in Switzerland
#42,958
of 80,918
Works
35
Citations
342
Citations per work
9.8
h-index
7
i10-index 6Top 74% in Electrical and Electronic Engineering
Aart De Geus

What does Aart De Geus research?

Aart De Geus's work is mostly in Engineering (19%), Computer Science (13%), Economics, Econometrics and Finance (7%).

Everything else: 19 works · 54.4% of their workPhysical Sciences: 11 works · 31.4% of their workEngineering: 7 works · 18.6% of their workElectrical and Electronic Engineering: 4 works · 10.0% of their workMechanical Engineering: 3 works · 8.6% of their workComputer Science: 4 works · 12.8% of their workInformation Systems: 2 works · 7.1% of their workComputational Theory and Mathematics: 2 works · 5.7% of their workSocial Sciences: 5 works · 14.2% of their workEconomics, Econometrics and Finance: 2 works · 7.1% of their workEconomics and Econometrics: 2 works · 7.1% of their workSocial Sciences: 2 works · 7.1% of their workPolitical Science and International Relations: 2 works · 7.1% of their workTHEIR WORKAart De Geus35works
Physical Sciences31%Social Sciences14%

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. Everything else1954.4%
    1. Engineering718.6%
    2. Computer Science412.8%
    1. Economics, Econometrics and Finance27.1%
    2. Social Sciences27.1%
  1. 1Electrical and Electronic Engineering10% of their works
  2. 2Mechanical Engineering9% of their works
  3. 3Information Systems7% of their works
  4. 4Political Science and International Relations7% of their works
  5. 5Economics and Econometrics7% of their works
  6. 6Computational Theory and Mathematics6% of their works

Research topics

Which keywords describe Aart De Geus's research?

The keywords of their largest research topics: Model Checking, ASIC, Assembly Planning, Code Clone Detection, Design for Manufacture, FPGA, Refactoring and Satisfiability Modulo Theories.

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 Checking52 topics
  2. ASIC31 topic
  3. Assembly Planning31 topic
  4. Code Clone Detection31 topic
  5. Design for Manufacture31 topic
  6. FPGA31 topic
  7. Refactoring31 topic
  8. Satisfiability Modulo Theories31 topic
  9. Symbolic Model Checker31 topic
  10. Adsorption Refrigeration21 topic
  11. Building Energy Consumption21 topic
  12. Formal Verification21 topic
  13. Photovoltaic/Thermal Hybrid Technology21 topic
  14. Solar Thermal Collectors21 topic
  15. Static Analysis21 topic
  16. Thermal Comfort21 topic
  17. Thermochemical Heat Storage21 topic

Where does Aart De Geus work?

Aart De Geus's main affiliation in the publication record is Synopsys (Switzerland), Switzerland.

How many publications and citations does Aart De Geus have?

OpenAlex counts 35 works and 342 citations for Aart De Geus, an h-index of 7, ranking #2,863,325 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 Aart De Geus. Posts are plain text and can be reported.