Jonathan P. Seldin
Jonathan P. Seldin publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Theoretical Computer Science, on topics such as Logic, programming, and type systems, History and Theory of Mathematics and DNA and Biological Computing.
- World rank
- #560,922 of 1,633,909 ranked researchers
- Rank in Canada
- #18,320 of 38,960
- Works
- 31
- Citations
- 19
- Citations per work
- 0.6
What does Jonathan P. Seldin research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence31% of their works
- 2Computational Theory and Mathematics12% of their works
- 3Theoretical Computer Science12% of their works
- 4Sociology and Political Science6% of their works
- 5Molecular Biology6% of their works
- 6Geometry and Topology6% of their works
Research topics
Which keywords describe Jonathan P. Seldin's research?
The keywords of their largest research topics: Model Checking, Automata, Formal Verification, Historical Sources, Mathematics Education, Static Analysis, Temporal Logic and Answer Set Programming.
- Side-Channel Attacks
- Satisfiability Modulo Theories
- Molecular Computation
- Identity-Based Encryption
- Formal Languages
- Answer Set Programming
- Static Analysis
- Historical Sources
- Automata
- Model Checking
- Formal Verification
- Mathematics Education
- Temporal Logic
- DNA Computing
- Homomorphic Encryption
- Modal Logic
- Regular Expressions
- Security Policies
- Symbolic Model Checker
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 Checking43 topics
- Automata22 topics
- Formal Verification21 topic
- Historical Sources21 topic
- Mathematics Education21 topic
- Static Analysis21 topic
- Temporal Logic22 topics
- Answer Set Programming11 topic
- DNA Computing11 topic
- Formal Languages11 topic
- Homomorphic Encryption11 topic
- Identity-Based Encryption11 topic
- Modal Logic11 topic
- Molecular Computation11 topic
- Regular Expressions11 topic
- Satisfiability Modulo Theories11 topic
- Security Policies11 topic
- Side-Channel Attacks11 topic
- Symbolic Model Checker11 topic
Where does Jonathan P. Seldin work?
Jonathan P. Seldin's main affiliation in the publication record is University of Lethbridge, Canada.
How many publications and citations does Jonathan P. Seldin have?
Science Explorer counts 31 works and 19 citations for Jonathan P. Seldin, ranking #560,922 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.