Science Explorer Back to mapMap
Discussion
Researcher · IBM (United States) · United States

György E. Révész

György E. Révész publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Molecular Biology, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Formal Methods in Verification.

OpenAlex
World rank
#5,538,338
of 7,710,434 ranked researchers
Rank in United States
#1,392,130
of 1,627,098
Works
17
Citations
208
Citations per work
12.2
h-index
5
i10-index 3Top 82% in Artificial Intelligence
György E. Révész

What does György E. Révész research?

György E. Révész's work is mostly in Computer Science (81%), Biochemistry, Genetics and Molecular Biology (6%), Mathematics (2%).

Physical Sciences: 14 works · 83.0% of their workComputer Science: 14 works · 80.9% of their workArtificial Intelligence: 9 works · 55.3% of their workComputational Theory and Mathematics: 3 works · 17.0% of their workComputer Networks and Communications: 1 works · 4.3% of their workHardware and Architecture: 1 works · 4.3% of their workMathematics: 0 works · 2.1% of their workGeometry and Topology: 0 works · 2.1% of their workEverything else: 2 works · 10.6% of their workLife Sciences: 1 works · 6.4% of their workBiochemistry, Genetics and Molecular Biology: 1 works · 6.4% of their workMolecular Biology: 1 works · 6.4% of their workTHEIR WORKGyörgy E. Révész17works
Life Sciences6%Physical Sciences83%

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 Science1480.9%
    2. Mathematics02.1%
  2. Everything else210.6%
    1. Biochemistry, Genetics and Molecular Biology16.4%
  1. 1Artificial Intelligence55% of their works
  2. 2Computational Theory and Mathematics17% of their works
  3. 3Molecular Biology6% of their works
  4. 4Hardware and Architecture4% of their works
  5. 5Computer Networks and Communications4% of their works
  6. 6Geometry and Topology2% of their works

Research topics

Which keywords describe György E. Révész's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Formal Verification, Static Analysis, Answer Set Programming, Modal Logic, Automata 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 19 words, with their numbers
  1. Model Checking203 topics
  2. Temporal Logic112 topics
  3. Formal Verification91 topic
  4. Static Analysis91 topic
  5. Answer Set Programming71 topic
  6. Modal Logic71 topic
  7. Automata62 topics
  8. Satisfiability Modulo Theories41 topic
  9. Symbolic Model Checker41 topic
  10. DNA Computing31 topic
  11. Molecular Computation31 topic
  12. Neural Machine Translation31 topic
  13. Statistical Machine Translation31 topic
  14. Formal Languages21 topic
  15. Parallel Computing21 topic
  16. Performance Optimization21 topic
  17. Regular Expressions21 topic
  18. Quantum Computation11 topic
  19. Quantum Information11 topic

Where does György E. Révész work?

György E. Révész's main affiliation in the publication record is IBM (United States), United States.

How many publications and citations does György E. Révész have?

OpenAlex counts 17 works and 208 citations for György E. Révész, an h-index of 5, ranking #5,538,338 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 György E. Révész. Posts are plain text and can be reported.