Eric W. Smith
Eric W. Smith publishes mostly in Artificial Intelligence, Electrical and Electronic Engineering and Ocean Engineering, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Internet Traffic Analysis and Secure E-voting.
- World rank
- #5,160,038 of 7,710,434 ranked researchers
- Rank in United States
- #1,327,277 of 1,627,098
- Works
- 48
- Citations
- 284
- Citations per work
- 5.9
What does Eric W. Smith research?
Eric W. Smith's work is mostly in Computer Science (26%), Engineering (15%), Earth and Planetary Sciences (6%).
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
- Everything else2653.3%
- Physical Sciences2246.7%
- Computer Science1326.5%
- Engineering714.6%
- Earth and Planetary Sciences35.6%
- 1Artificial Intelligence16% of their works
- 2Electrical and Electronic Engineering8% of their works
- 3Ocean Engineering6% of their works
- 4Computational Theory and Mathematics6% of their works
- 5Geophysics6% of their works
- 6Computer Networks and Communications5% of their works
Research topics
Which keywords describe Eric W. Smith's research?
The keywords of their largest research topics: Model Checking, Deep Learning, Machine Learning, Formal Verification, Static Analysis, IoT Security, Satisfiability Modulo Theories and Symbolic Model Checker.
- Network Security
- Intrusion Detection
- Detection
- Tomography
- Mobility Support
- Handoff Decision Algorithms
- Symbolic Model Checker
- IoT Security
- Formal Verification
- Deep Learning
- Model Checking
- Machine Learning
- Static Analysis
- Satisfiability Modulo Theories
- Classification
- Internet Traffic
- Seismic Noise
- Android Malware
- Electrical Resistivity Tomography
- Magnetotelluric Imaging
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. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.
All 20 words, with their numbers
- Model Checking132 topics
- Deep Learning103 topics
- Machine Learning103 topics
- Formal Verification71 topic
- Static Analysis71 topic
- IoT Security62 topics
- Satisfiability Modulo Theories61 topic
- Symbolic Model Checker61 topic
- Classification41 topic
- Handoff Decision Algorithms41 topic
- Internet Traffic41 topic
- Mobility Support41 topic
- Seismic Noise41 topic
- Tomography41 topic
- Android Malware31 topic
- Detection31 topic
- Electrical Resistivity Tomography31 topic
- Intrusion Detection31 topic
- Magnetotelluric Imaging31 topic
- Network Security31 topic
Where does Eric W. Smith work?
Eric W. Smith's main affiliation in the publication record is Kestrel Institute, United States.
How many publications and citations does Eric W. Smith have?
OpenAlex counts 48 works and 284 citations for Eric W. Smith, an h-index of 9, ranking #5,160,038 of 7,710,434 researchers worldwide on the quality score.
Ranked on field-normalised citation 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.
Other researchers named Eric W. Smith
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 Eric W. Smith. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.