Richard K. Jullig
Richard K. Jullig publishes mostly in Artificial Intelligence, Information Systems and Computational Theory and Mathematics, on topics such as Logic, programming, and type systems, Advanced Software Engineering Methodologies and Software Engineering Research.
- World rank
- #3,606,639 of 7,710,434 ranked researchers
- Rank in United States
- #1,003,499 of 1,627,098
- Works
- 15
- Citations
- 282
- Citations per work
- 18.8
What does Richard K. Jullig research?
Richard K. Jullig's work is mostly in Computer Science (90%), Business, Management and Accounting (8%).
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 Sciences1389.7%
- Computer Science1389.7%
- Social Sciences17.7%
- 1Artificial Intelligence31% of their works
- 2Information Systems20% of their works
- 3Computational Theory and Mathematics18% of their works
- 4Computer Networks and Communications13% of their works
- 5Management Information Systems8% of their works
- 6Software8% of their works
Research topics
Which keywords describe Richard K. Jullig's research?
The keywords of their largest research topics: Model Checking, Autonomic Computing, Code Clone Detection, Formal Verification, Refactoring, Self-Adaptive Systems, Static Analysis and Automata.
- Satisfiability Modulo Theories
- Regular Expressions
- Modal Logic
- Fuzzy Logic
- Answer Set Programming
- Automata
- Self-Adaptive Systems
- Formal Verification
- Autonomic Computing
- Model Checking
- Code Clone Detection
- Refactoring
- Static Analysis
- Temporal Logic
- Formal Languages
- Log Analysis
- Performance Prediction
- Residuated Lattices
- 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 Checking93 topics
- Autonomic Computing51 topic
- Code Clone Detection51 topic
- Formal Verification51 topic
- Refactoring51 topic
- Self-Adaptive Systems51 topic
- Static Analysis51 topic
- Automata42 topics
- Temporal Logic42 topics
- Answer Set Programming21 topic
- Formal Languages21 topic
- Fuzzy Logic21 topic
- Log Analysis21 topic
- Modal Logic21 topic
- Performance Prediction21 topic
- Regular Expressions21 topic
- Residuated Lattices21 topic
- Satisfiability Modulo Theories21 topic
- Symbolic Model Checker21 topic
Where does Richard K. Jullig work?
Richard K. Jullig's main affiliation in the publication record is Kestrel Institute, United States.
How many publications and citations does Richard K. Jullig have?
OpenAlex counts 15 works and 282 citations for Richard K. Jullig, an h-index of 7, ranking #3,606,639 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 Richard K. Jullig. Posts are plain text and can be reported.