Mark E. Stickel
Mark E. Stickel publishes mostly in Artificial Intelligence, Computer Networks and Communications and Computer Vision and Pattern Recognition, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Natural Language Processing Techniques.
- World rank
- #137,154 of 1,633,909 ranked researchers
- Rank in United States
- #58,159 of 358,040
- Works
- 20
- Citations
- 356
- Citations per work
- 17.8
What does Mark E. Stickel research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence62% of their works
- 2Computer Networks and Communications12% of their works
- 3Computer Vision and Pattern Recognition6% of their works
- 4Geometry and Topology6% of their works
- 5Hardware and Architecture6% of their works
- 6Computational Theory and Mathematics6% of their works
Research topics
Which keywords describe Mark E. Stickel's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Description Logics, Knowledge Representation, Answer Set Programming, Modal Logic and Algorithmic Information Theory.
- Side-Channel Attacks
- Security Policies
- Ontology
- Heuristic Search
- Distributed Systems
- Algorithmic Information Theory
- Answer Set Programming
- Description Logics
- Formal Verification
- Model Checking
- Static Analysis
- Knowledge Representation
- Modal Logic
- Computability
- Fault Tolerance
- Neural Machine Translation
- Planning Systems
- Semantic Web
- Statistical Machine Translation
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
- Model Checking62 topics
- Formal Verification41 topic
- Static Analysis41 topic
- Description Logics32 topics
- Knowledge Representation32 topics
- Answer Set Programming21 topic
- Modal Logic21 topic
- Algorithmic Information Theory11 topic
- Computability11 topic
- Distributed Systems11 topic
- Fault Tolerance11 topic
- Heuristic Search11 topic
- Neural Machine Translation11 topic
- Ontology11 topic
- Planning Systems11 topic
- Security Policies11 topic
- Semantic Web11 topic
- Side-Channel Attacks11 topic
- Statistical Machine Translation11 topic
Where does Mark E. Stickel work?
Mark E. Stickel's main affiliation in the publication record is SRI International, United States.
How many publications and citations does Mark E. Stickel have?
Science Explorer counts 20 works and 356 citations for Mark E. Stickel, ranking #137,154 of 1,633,909 researchers worldwide on the composite 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 are in the interactive view on the map. Is this your page? Request a correction or removal.