Denis Gopan
Denis Gopan publishes mostly in Software, Artificial Intelligence and Computational Theory and Mathematics, on topics such as Software Testing and Debugging Techniques, Logic, programming, and type systems and Formal Methods in Verification.
- World rank
- #1,327,185 of 7,710,434 ranked researchers
- Rank in United States
- #421,289 of 1,627,098
- Works
- 17
- Citations
- 790
- Citations per work
- 46.5
What does Denis Gopan research?
Denis Gopan's work is mostly in Computer Science (84%).
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
- Physical Sciences1484.3%
- Computer Science1484.3%
- Everything else315.7%
- 1Software26% of their works
- 2Artificial Intelligence22% of their works
- 3Computational Theory and Mathematics16% of their works
- 4Information Systems10% of their works
- 5Signal Processing8% of their works
- 6Hardware and Architecture4% of their works
Research topics
Which keywords describe Denis Gopan's research?
The keywords of their largest research topics: Model Checking, Automated Testing, Software Fault Localization, Formal Verification, Machine Learning, Satisfiability Modulo Theories, Static Analysis and Symbolic Model Checker.
- Performance Optimization
- Internet of Things
- Refactoring
- Side-Channel Attacks
- Detection
- Symbolic Model Checker
- Satisfiability Modulo Theories
- Formal Verification
- Automated Testing
- Model Checking
- Software Fault Localization
- Machine Learning
- Static Analysis
- Android Malware
- Security Policies
- Code Clone Detection
- Digital Forensics
- Parallel 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 18 words, with their numbers
- Model Checking142 topics
- Automated Testing91 topic
- Software Fault Localization91 topic
- Formal Verification71 topic
- Machine Learning72 topics
- Satisfiability Modulo Theories71 topic
- Static Analysis71 topic
- Symbolic Model Checker71 topic
- Android Malware41 topic
- Detection41 topic
- Security Policies41 topic
- Side-Channel Attacks41 topic
- Code Clone Detection31 topic
- Refactoring31 topic
- Digital Forensics21 topic
- Internet of Things21 topic
- Parallel Computing21 topic
- Performance Optimization21 topic
Where does Denis Gopan work?
Denis Gopan's main affiliation in the publication record is GrammaTech (United States), United States.
How many publications and citations does Denis Gopan have?
OpenAlex counts 17 works and 790 citations for Denis Gopan, an h-index of 10, ranking #1,327,185 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 Denis Gopan. Posts are plain text and can be reported.